GADTs now are CPR-able
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Apr 2015 08:54:03 +0000 (09:54 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Apr 2015 08:54:03 +0000 (09:54 +0100)
Accompanies f2d1b7fcbbc55e33375a7321222a9f4ee189aa38
Support unboxing for GADT product types

testsuite/tests/deSugar/should_compile/T2431.stderr

index edc2772..607ecc1 100644 (file)
@@ -5,7 +5,7 @@ Result size of Tidy Core = {terms: 8, types: 19, coercions: 1}
 T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
 [GblId[DataConWrapper],
  Caf=NoCafRefs,
- Str=DmdType,
+ Str=DmdType m,
  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
          WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=False)