X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc048.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc048.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=52223ea2879704d798f21e6797e6153d68cb0020;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc048.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc048.stderr
deleted file mode 100644
index 52223ea..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc048.stderr
+++ /dev/null
@@ -1,108 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-MkAFE{-r3U,x-}{i} =
-    _/\_ n{-r3M-} a{-r3N-} b{-r3O-} -> \ tpl_B1 ->
-	MkAFE{-r3U,x-}{i}
-	    {_@_ n{-r3M-} _@_ a{-r3N-} _@_ b{-r3O-} tpl_B1}
-{- nonrec -}
-MkFG{-r3W,x-}{i} =
-    _/\_ a{-r3Q-} b{-r3R-} -> \ tpl_B1 ->
-	MkFG{-r3W,x-}{i}
-	    {_@_ a{-r3Q-} _@_ b{-r3R-} tpl_B1}
-{- nonrec -}
-MkOL{-r3Y,x-}{i} =
-    _/\_ a{-r3T-} -> \ tpl_B1 ->
-	MkOL{-r3Y,x-}{i}
-	    {_@_ a{-r3T-} tpl_B1}
-{- rec -}
-AbsBinds
-[n{-aXN-}, a{-aXP-}, b{-aXO-}]
-[]
-[([n{-aXN-}, a{-aXP-}, b{-aXO-}], $d1{-rXV,x-}, d.Eval_aXz)]
-    d.Eval_aXz =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds
-[a{-aXQ-}, b{-aXR-}]
-[]
-[([a{-aXQ-}, b{-aXR-}], $d2{-rXX,x-}, d.Eval_aXG)]
-    d.Eval_aXG =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds [a{-aXS-}] [] [([a{-aXS-}], $d3{-rXZ,x-}, d.Eval_aXM)]
-    d.Eval_aXM =
-	({-dict-} [] [])
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[t{-aWc-}, t{-aWf-}]
-[]
-[([t{-aWc-}, t{-aWf-}], sNd{-r3u,x-}, sNd_aW7)]
-    sNd_aW7
-	(f_r3H, s_r3I)
-		=   s_r3I
-{- nonrec -}
-{- rec -}
-AbsBinds
-[t{-aWp-}, t{-aWr-}]
-[]
-[([t{-aWp-}, t{-aWr-}], mAp{-r3v,x-}, mAp_aWj)]
-    mAp_aWj
-	f_r3z PrelBase.[]{-5i,p-}{i}
-		=   PrelBase.[]{-5i,p-}{i}
-			t{-aWr-}
-    mAp_aWj
-	f_r3C (x_r3E PrelBase.:{-55,p-}{i} xs_r3F)
-		=   PrelBase.:{-55,p-}{i}
-			t{-aWr-}
-			(f_r3C x_r3E) (mAp_aWj f_r3C xs_r3F)
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aWR-}, v{-aWS-}]
-[]
-[([a{-aWR-}, v{-aWS-}], ranOAL{-r3s,x-}, ranOAL_aWM)]
-    ranOAL_aWM
-	(MkOL{-r3Y,x-}{i} xs_r3x)
-		=   mAp{-r3v,x-}
-			[(a{-aWR-}, v{-aWS-}), v{-aWS-}] sNd{-r3u,x-}
-							     [a{-aWR-}, v{-aWS-}]
-							 xs_r3x
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[n{-aXk-}, a{-aXl-}, b{-aXm-}]
-[]
-[([n{-aXk-}, a{-aXl-}, b{-aXm-}], ranAFE{-r3t,x-}, ranAFE_aXb)]
-    ranAFE_aXb
-	(MkAFE{-r3U,x-}{i} nfs_r3K)
-		=   ranOAL{-r3s,x-}
-			[n{-aXk-}, FG{-r3X,x-} a{-aXl-} b{-aXm-}] nfs_r3K
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d44 1 $d46 1 Eval 1;
-PrelTup 1 :: $d13 1;
-_exports_
-ShouldSucceed mAp ranAFE ranOAL sNd AFE(MkAFE) FG(MkFG) OL(MkOL);
-_instances_
-instance _forall_ [a b c] => {PrelBase.Eval (AFE a b c)} = $d1;
-instance _forall_ [a b] => {PrelBase.Eval (FG a b)} = $d2;
-instance _forall_ [a] => {PrelBase.Eval (OL a)} = $d3;
-_declarations_
-1 $d1 _:_ _forall_ [a b c] => {PrelBase.Eval (AFE a b c)} ;;
-1 $d2 _:_ _forall_ [a b] => {PrelBase.Eval (FG a b)} ;;
-1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (OL a)} ;;
-1 data AFE r3M r3N r3O = MkAFE (OL (r3M, FG r3N r3O)) ;
-1 data FG r3Q r3R = MkFG (OL (r3Q, r3R)) ;
-1 data OL r3T = MkOL [r3T] ;
-1 mAp _:_ _forall_ [a b] => (a -> b) -> [a] -> [b] ;;
-1 ranAFE _:_ _forall_ [a b c] => AFE a b c -> [FG b c] ;;
-1 ranOAL _:_ _forall_ [a b] => OL (a, b) -> [b] ;;
-1 sNd _:_ _forall_ [a b] => (a, b) -> b ;;