diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-03-01 11:29:10 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-02 11:31:20 -0500 |
| commit | 537ce41c5373a2e6fa8961f0bdca75e887ac45b7 (patch) | |
| tree | a8baab00e040cdd576cafb0c48748ac29d5087a7 /testsuite/tests/deSugar | |
| parent | fb06bee1c5a0b4d5dfd8e0381ea2a999ca47b84c (diff) | |
| download | haskell-537ce41c5373a2e6fa8961f0bdca75e887ac45b7.tar.gz | |
Typeable: Rename KindRep bindings to $krep...
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index 722a5e4698..2993e15d95 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -48,29 +48,29 @@ T2431.$trModule :: GHC.Types.Module T2431.$trModule = GHC.Types.Module $trModule2 $trModule4 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} -krep :: GHC.Types.KindRep +$krep :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep +$krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} -krep1 :: GHC.Types.KindRep +$krep1 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep +$krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} -krep2 :: GHC.Types.KindRep +$krep2 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep2 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep +$krep2 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} -krep3 :: GHC.Types.KindRep +$krep3 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep3 = GHC.Types.KindRepFun krep1 krep2 +$krep3 = GHC.Types.KindRepFun $krep1 $krep2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} -krep4 :: GHC.Types.KindRep +$krep4 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep4 = GHC.Types.KindRepFun krep krep3 +$krep4 = GHC.Types.KindRepFun $krep $krep3 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} $tc:~:1 :: GHC.Prim.Addr# @@ -92,34 +92,34 @@ T2431.$tc:~: T2431.$trModule $tc:~:2 0# - krep4 + $krep4 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} -krep5 :: GHC.Types.KindRep +$krep5 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep5 = GHC.Types.KindRepVar 0# +$krep5 = GHC.Types.KindRepVar 0# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} -krep6 :: GHC.Types.KindRep +$krep6 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep6 = GHC.Types.KindRepVar 0# +$krep6 = GHC.Types.KindRepVar 0# -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0} -krep7 :: [GHC.Types.KindRep] +$krep7 :: [GHC.Types.KindRep] [GblId, Caf=NoCafRefs] -krep7 +$krep7 = GHC.Types.: - @ GHC.Types.KindRep krep6 (GHC.Types.[] @ GHC.Types.KindRep) + @ GHC.Types.KindRep $krep6 (GHC.Types.[] @ GHC.Types.KindRep) -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0} -krep8 :: [GHC.Types.KindRep] +$krep8 :: [GHC.Types.KindRep] [GblId, Caf=NoCafRefs] -krep8 = GHC.Types.: @ GHC.Types.KindRep krep5 krep7 +$krep8 = GHC.Types.: @ GHC.Types.KindRep $krep5 $krep7 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} -krep9 :: GHC.Types.KindRep +$krep9 :: GHC.Types.KindRep [GblId, Caf=NoCafRefs] -krep9 = GHC.Types.KindRepTyConApp T2431.$tc:~: krep8 +$krep9 = GHC.Types.KindRepTyConApp T2431.$tc:~: $krep8 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} $tc'Refl1 :: GHC.Prim.Addr# @@ -141,7 +141,7 @@ T2431.$tc'Refl T2431.$trModule $tc'Refl2 1# - krep9 + $krep9 |