Changes between Version 2 and Version 3 of Ticket #14790


Ignore:
Timestamp:
Feb 11, 2018 10:54:59 AM (20 months ago)
Author:
dfeuer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14790 – Description

    v2 v3  
    3737        Just ds_d5CQ -> GHC.Types.True
    3838      }
     39}}}
    3940
     41For reference, `eqTypeRep` is defined like this:
     42
     43{{{#!hs
     44eqTypeRep :: forall k1 k2 (a :: k1) (b :: k2).
     45             TypeRep a -> TypeRep b -> Maybe (a :~~: b)
     46eqTypeRep a b
     47  | typeRepFingerprint a == typeRepFingerprint b = Just (unsafeCoerce HRefl)
     48  | otherwise                                    = Nothing
    4049}}}