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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc060.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc060.stderr
deleted file mode 100644
index 42a7567..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc060.stderr
+++ /dev/null
@@ -1,68 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-deq{-r3z,x-} =
-    _/\_ a{-r3y-} -> \ tpl_B1 ->
-	tpl_B1
-{- nonrec -}
-AbsBinds
-[a{-aol-}]
-[d.Eq2_aoe]
-[([a{-aol-}], $mdeq{-ro0,x-}, deq_aog)]
-    AbsBinds [] [] [([], deq_aog, deq_aoi)]
-	deq_aoi
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-aol-}
-		     -> a{-aol-}
-		     -> PrelBase.Bool{-34,p-}) "Class Eq2 Method deq"
-{- rec -}
-AbsBinds [] [] [([], $d1{-rom,x-}, d.Eq2_anx)]
-    AbsBinds [] [] [([], deq_aon, deq_anA)]
-	deq_anA
-	    x_r3h y_r3j
-		    =   PrelBase.True{-5E,p-}{i}
-    d.Eq2_anx =
-	({-dict-} [] [deq_aon])
-{- rec -}
-AbsBinds
-[a{-anT-}]
-[d.Eq2_ao6]
-[([a{-anT-}], $d2{-roo,x-}, d.Eq2_anJ)]
-    d.Eq2_aoa =
-	d.Eq2_ao6
-    deq_aor =
-	deq{-r3z,x-}
-	    a{-anT-}
-	    d.Eq2_aoa
-    deq_aoq =
-	deq_aop
-    AbsBinds [] [] [([], deq_aop, deq_anM)]
-	deq_anM
-	    (a_r3r PrelBase.:{-55,p-}{i} as_r3s)
-	    (b_r3u PrelBase.:{-55,p-}{i} bs_r3v)
-		    =   if deq_aor a_r3r b_r3u then
-			    deq_aoq as_r3s bs_r3v
-			else
-			    PrelBase.False{-58,p-}{i}
-    d.Eq2_anJ =
-	({-dict-} [] [deq_aop])
-{- nonrec -}
-tc060.hs:7: 
-    Warning: Possibly incomplete patterns
-	in the definition of function `deq'
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed Eq2(deq);
-_instances_
-instance {Eq2 PrelBase.Int} = $d1;
-instance _forall_ [a] {Eq2 a} => {Eq2 [a]} = $d2;
-_declarations_
-1 $d1 _:_ {Eq2 PrelBase.Int} ;;
-1 $d2 _:_ _forall_ [a] {Eq2 a} => {Eq2 [a]} ;;
-1 $mdeq _:_ _forall_ [a] {Eq2 a} => a -> a -> PrelBase.Bool ;;
-1 class Eq2 r3y where {deq :: r3y -> r3y -> PrelBase.Bool} ;