[commit: ghc] master: GADTs now are CPR-able (b9f20bd)

git at git.haskell.org git at git.haskell.org
Tue Apr 21 08:53:40 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/b9f20bd478306a77b27983410eeaf5d8da65eac2/ghc

>---------------------------------------------------------------

commit b9f20bd478306a77b27983410eeaf5d8da65eac2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Apr 21 09:54:03 2015 +0100

    GADTs now are CPR-able
    
    Accompanies f2d1b7fcbbc55e33375a7321222a9f4ee189aa38
    Support unboxing for GADT product types


>---------------------------------------------------------------

b9f20bd478306a77b27983410eeaf5d8da65eac2
 testsuite/tests/deSugar/should_compile/T2431.stderr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr
index edc2772..607ecc1 100644
--- a/testsuite/tests/deSugar/should_compile/T2431.stderr
+++ b/testsuite/tests/deSugar/should_compile/T2431.stderr
@@ -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)



More information about the ghc-commits mailing list