X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc006.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc006.stderr;h=c04ed356376f839716e53467897ed5378524a7ac;hb=4a48f32dfe4d85e07c3b83f1a3327f7ec4220947;hp=97ba6d7cc34cbd4b7aed0208516f3f6ec3d915ef;hpb=e2656c348a1b84eaeef62df5877094aa948561ac;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc006.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc006.stderr index 97ba6d7..c04ed35 100644 --- a/ghc/compiler/tests/typecheck/should_succeed/tc006.stderr +++ b/ghc/compiler/tests/typecheck/should_succeed/tc006.stderr @@ -1,9 +1,31 @@ -Typechecked: -d.Num.t7 = dfun.Num.Integer -fromInt.t6 = fromInt tt3 d.Num.t7 -lit.t4 = fromInt.t6 (MkInt 1#) -AbsBinds [] [] [(h.t1, ShouldSucceed.h)] - {- rec -} - h.t1 :: [tt3] - h.t1 = ((:) tt3) lit.t4 h.t1 + +--================================================================================ +Typechecked: +{- nonrec -} +d.Num_aGS = + PrelBase.$d3{-rb0,p-} +fromInt_aGT = + PrelBase.fromInt{-8R,p-} + PrelBase.Int{-3g,p-} + d.Num_aGS +lit_aGU = + fromInt_aGT PrelBase.I#{-5b,p-}{i} 1# +{- rec -} +AbsBinds [] [] [([], h{-r1,x-}, h_aGC)] + h_aGC + = PrelBase.:{-55,p-}{i} + PrelBase.Int{-3g,p-} + lit_aGU h_aGC +{- nonrec -} +ghc: module version changed to 1; reason: no old .hi file +_interface_ ShouldSucceed 1 +_instance_modules_ +ArrBase IO PrelNum +_usages_ +PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1; +PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1; +_exports_ +ShouldSucceed h; +_declarations_ +1 h _:_ [PrelBase.Int] ;;