[project @ 1997-07-31 00:05:10 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc034.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc034.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc034.stderr
deleted file mode 100644 (file)
index 6c18bd9..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc034.stderr
+++ /dev/null
@@ -1,63 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-ANull{-r6,x-}{i} =
-    _/\_ a{-r3p-} ->
-       ANull{-r6,x-}{i}
-           {_@_ a{-r3p-}}
-ANode{-r5,x-}{i} =
-    _/\_ a{-r3p-} -> \ tpl_B1 tpl_B2 ->
-       ANode{-r5,x-}{i}
-           {_@_ a{-r3p-} tpl_B1 tpl_B2}
-{- rec -}
-AbsBinds [a{-aHA-}] [] [([a{-aHA-}], $d1{-rHD,x-}, d.Eval_aHz)]
-    d.Eval_aHz =
-       ({-dict-} [] [])
-{- nonrec -}
-{- nonrec -}
-AbsBinds [t{-aHn-}] [d.Num_aHr] [([t{-aHn-}], g{-r3q,x-}, g_aH1)]
-    fromInt_aHJ =
-       PrelBase.fromInt{-8R,p-}
-           t{-aHn-}
-           d.Num_aHr
-    lit_aHI =
-       fromInt_aHJ PrelBase.I#{-5b,p-}{i} 2#
-    fromInt_aHH =
-       fromInt_aHJ
-    lit_aHG =
-       fromInt_aHH PrelBase.I#{-5b,p-}{i} 3#
-    fromInt_aHF =
-       fromInt_aHJ
-    lit_aHE =
-       fromInt_aHF PrelBase.I#{-5b,p-}{i} 4#
-    g_aH1
-       ANull{-r6,x-}{i}
-               =   lit_aHI
-    g_aH1
-       (ANode{-r5,x-}{i} b_r3k (ANode{-r5,x-}{i} c_r3l d_r3m))
-               | [b_r3k] =
-                   lit_aHG
-               | [PrelBase.True{-5E,p-}{i}] =
-                   lit_aHE
-{- nonrec -}
-tc034.hs:7: 
-    Warning: Possibly incomplete patterns
-       in the definition of function `g'
-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 g AList(ANull ANode) IntList;
-_instances_
-instance _forall_ [a] => {PrelBase.Eval (AList a)} = $d1;
-_declarations_
-1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (AList a)} ;;
-1 data AList r3p = ANull |  ANode r3p (AList r3p) ;
-1 type IntList = AList PrelBase.Int ;
-1 g _:_ _forall_ [a] {PrelBase.Num a} => AList PrelBase.Bool -> a ;;