[project @ 1997-08-14 18:27:10 by sof]

Moved to printing/ to main ghc regression test area

9 files changed, 0 insertions, 967 deletions

diff --git a/ghc/compiler/tests/printing/Makefile b/ghc/compiler/tests/printing/Makefile
deleted file mode 100644
index bc76d4598c..0000000000
--- a/ghc/compiler/tests/printing/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-TOP = ../../..
-include $(TOP)/mk/boilerplate.mk
-
-HS_SRCS = $(wildcard *.hs)
-
-SRC_RUNTEST_OPTS += -accept-output -o1 $*.stdout -o2 $*.stderr -x 0
-HC_OPTS += -noC -ddump-tc -dcore-lint -hi
-
-%.o : %.hs
-
-%.o : %.hs
-	$(RUNTEST) $(HC) $(RUNTEST_OPTS) $(HC_OPTS) -c $< -o $@ -osuf $(subst .,,$(suffix $@)) 
-
-all :: $(HS_OBJS)
-
-print002_HC_OPTS = -fno-implicit-prelude -dppr-user -ddump-rdr -ddump-tc
-
-include $(TOP)/mk/target.mk
-
diff --git a/ghc/compiler/tests/printing/Print001.hs b/ghc/compiler/tests/printing/Print001.hs
deleted file mode 100644
index 0b393849f0..0000000000
--- a/ghc/compiler/tests/printing/Print001.hs
+++ /dev/null
@@ -1,20 +0,0 @@
---!!! Print001.hs: printing of types (esp for interfaces)
-
-module Print001 where
-
-import Ix
-
-data Foo d e f = MkFoo [((d->Int)->d)->e] (d->e, e->e) ()
-data Bar a = BarNil
-	   | BarCon (Foo a a a) (Bar a)
-
-mkFoo = MkFoo
-
-f :: Eq a => (a -> b -> c) -> (a -> b -> c)
-f x = x
-
-f2 :: (Eq a, Ord a, Ix c) => (a -> b -> c) -> (a -> b -> c)
-f2 x = x
-
-g :: Foo Int (a -> b) (a -> [(a, Double, Int)]) -> Float
-g x = 2.0
diff --git a/ghc/compiler/tests/printing/Print001.stderr b/ghc/compiler/tests/printing/Print001.stderr
deleted file mode 100644
index 4df32738f9..0000000000
--- a/ghc/compiler/tests/printing/Print001.stderr
+++ /dev/null
@@ -1,97 +0,0 @@
-
-
-================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-{- nonrec -}
-BarNil{-r4r,x-}{i} =
-    _/\_ a{-r4O-} ->
-	BarNil{-r4r,x-}{i}
-	    {_@_ a{-r4O-}}
-BarCon{-r4q,x-}{i} =
-    _/\_ a{-r4O-} -> \ tpl_B1 tpl_B2 ->
-	BarCon{-r4q,x-}{i}
-	    {_@_ a{-r4O-} tpl_B1 tpl_B2}
-{- nonrec -}
-MkFoo{-r4U,x-}{i} =
-    _/\_ d{-r4Q-} e{-r4R-} f{-r4S-} -> \ tpl_B1 tpl_B2 tpl_B3 ->
-	MkFoo{-r4U,x-}{i}
-	    {_@_ d{-r4Q-} _@_ e{-r4R-} _@_ f{-r4S-} tpl_B1 tpl_B2 tpl_B3}
-{- rec -}
-AbsBinds [a{-a15E-}] [] [([a{-a15E-}], $d1{-r15L,x-}, d.Eval_a15s)]
-    d.Eval_a15s =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds
-[d{-a15F-}, e{-a15H-}, f{-a15G-}]
-[]
-[([d{-a15F-}, e{-a15H-}, f{-a15G-}], $d2{-r15P,x-}, d.Eval_a15A)]
-    d.Eval_a15A =
-	({-dict-} [] [])
-{- nonrec -}
-d.Fractional_a15D =
-    PrelNum.$d23{-rIo,p-}
-fromRational_a15N =
-    PrelNum.fromRational{-8T,p-}
-	PrelBase.Float{-3c,p-}
-	d.Fractional_a15D
-lit_a15M =
-    fromRational_a15N
-	2.0000000000000000
-{- nonrec -}
-AbsBinds
-[a{-a14B-}, b{-a14C-}]
-[]
-[([b{-a14C-}, a{-a14B-}], g{-r4F,x-}, g_a14y)]
-    g_a14y
-	x_r4M   =   lit_a15M
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-a14R-}, b{-a14S-}, c{-a14T-}]
-[d.Eq_a14V, d.Ord_a14W, d.Ix_a14X]
-[([a{-a14R-}, b{-a14S-}, c{-a14T-}], f2{-r4E,x-}, f2_a14O)]
-    f2_a14O
-	x_r4K   =   x_r4K
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-a158-}, b{-a159-}, c{-a15a-}]
-[d.Eq_a15c]
-[([a{-a158-}, b{-a159-}, c{-a15a-}], f{-r4D,x-}, f_a155)]
-    f_a155
-	x_r4I   =   x_r4I
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[d{-a15i-}, e{-a15k-}, f{-a15m-}]
-[]
-[([d{-a15i-}, e{-a15k-}, f{-a15m-}], mkFoo{-r4G,x-}, mkFoo_a15e)]
-    mkFoo_a15e
-	=   MkFoo{-r4U,x-}{i}
-		[d{-a15i-}, e{-a15k-}, f{-a15m-}]
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ Print001 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $minRange 1 $mindex 1 $mrange 1 Ix 1;
-PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d13 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d40 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d5 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 $m* 1 $m+ 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mabs 1 $mcompare 1 $menumFrom 1 $menumFromThen 1 $menumFromThenTo 1 $menumFromTo 1 $mfromEnum 1 $mfromInt 1 $mfromInteger 1 $mmax 1 $mmin 1 $mnegate 1 $mshowList 1 $mshowsPrec 1 $msignum 1 $mtoEnum 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
-PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d19 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m/ 1 $mdiv 1 $mdivMod 1 $mfromRational 1 $mmod 1 $mquot 1 $mquotRem 1 $mrecip 1 $mrem 1 $mtoInt 1 $mtoInteger 1 $mtoRational 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
-PrelTup 1 :: $d10 1 $d13 1 $d14 1 $d3 1 $d4 1 $d49 1 $d50 1 $d9 1;
-_exports_
-Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
-_instances_
-instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d1;
-instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
-_declarations_
-1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
-1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
-1 data Bar r4O = BarNil |  BarCon (Foo r4O r4O r4O) (Bar r4O) ;
-1 data Foo r4Q r4R r4S = MkFoo [((r4Q -> PrelBase.Int) -> r4Q) -> r4R] (r4Q -> r4R, r4R -> r4R) PrelBase.() ;
-1 f _:_ _forall_ [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;;
-1 f2 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;;
-1 g _:_ _forall_ [a b] => Foo PrelBase.Int (b -> a) (b -> [(b, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;;
-1 mkFoo _:_ _forall_ [a b c] => [((a -> PrelBase.Int) -> a) -> b] -> (a -> b, b -> b) -> PrelBase.() -> Foo a b c ;;
diff --git a/ghc/compiler/tests/printing/Print002.hs b/ghc/compiler/tests/printing/Print002.hs
deleted file mode 100644
index 458170a612..0000000000
--- a/ghc/compiler/tests/printing/Print002.hs
+++ /dev/null
@@ -1,40 +0,0 @@
---!!! Print002.hs: printing various entities in prefix/infix forms
---!!!	(both in various syntaxes & in interfaces)
-
-module Print002 where
-
--- type & data constructors
-
-data Foo a b c
-  = MkFoo1 a a
-  | (:##) b c
-  | b `MkFoo3` b
-  | c :*** c
-  deriving (Eq, Ord)
-
--- classes and methods
-
-class Bar a where
-    meth1, (/////) :: a -> a -> Bool
-    meth2 :: a -> b -> Bool
-
-class (Bar a) => Bar2 a	    -- no methods
-
--- regular values (and uses of the above)
-
-f1  x y	    = x `MkFoo1` y
-x `f1a` y    = MkFoo1 x y
-
-x `f2` y    = (:##) x y
-f2a x  y    = x :## y
-
-(....) x y  = MkFoo3 x y
-x .....  y  = x `MkFoo3` y
-
-x <<<< y    = x :*** y
-(<<<<) x y  = (:***) x y
-
-f3a x y = meth1 x y
-f3b x y = x `meth1` y
-f3c x y = (/////) x y
-f3d x y = x ///// y
diff --git a/ghc/compiler/tests/printing/Print002.stderr b/ghc/compiler/tests/printing/Print002.stderr
deleted file mode 100644
index f87250e6e5..0000000000
--- a/ghc/compiler/tests/printing/Print002.stderr
+++ /dev/null
@@ -1,589 +0,0 @@
-
-
-================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-MkFoo1{-rk,x-}{i} =
-    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
-	MkFoo1{-rk,x-}{i}
-	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
-:##{-rj,x-}{i} =
-    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
-	:##{-rj,x-}{i}
-	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
-MkFoo3{-rm,x-}{i} =
-    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
-	MkFoo3{-rm,x-}{i}
-	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
-:***{-ro,x-}{i} =
-    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
-	:***{-ro,x-}{i}
-	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
-{- nonrec -}
-scsel_Bar2Print002Bar{-aVQ,x-} =
-    _/\_ a{-r4n-} -> \ tpl_B1 ->
-	tpl_B1
-{- nonrec -}
-{- nonrec -}
-meth1{-r4R,x-} =
-    _/\_ a{-r4q-} -> \ tpl_B1 ->
-	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
-	tpl_B1;}
-/////{-r4Q,x-} =
-    _/\_ a{-r4q-} -> \ tpl_B1 ->
-	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
-	tpl_B2;}
-meth2{-r4P,x-} =
-    _/\_ a{-r4q-} -> \ tpl_B1 ->
-	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
-	tpl_B3;}
-{- nonrec -}
-AbsBinds
-[a{-aVq-}]
-[d.Bar_aVj]
-[([a{-aVq-}], $mmeth1{-rLc,x-}, meth1_aVl)]
-    AbsBinds [] [] [([], meth1_aVl, meth1_aVn)]
-	meth1_aVn
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
-		    "Class Bar Method meth1"
-AbsBinds
-[a{-aVq-}]
-[d.Bar_aVt]
-[([a{-aVq-}], $m/////{-rLb,x-}, /////_aVv)]
-    AbsBinds [] [] [([], /////_aVv, /////_aVx)]
-	/////_aVx
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
-		    "Class Bar Method /////"
-AbsBinds
-[a{-aVq-}]
-[d.Bar_aVC]
-[([a{-aVq-}], $mmeth2{-rLa,x-}, meth2_aVF)]
-    AbsBinds [b{-aVM-}] [] [([b{-aVM-}], meth2_aVF, meth2_aVI)]
-	meth2_aVI
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-aVq-} -> b{-aVM-} -> PrelBase.Bool{-34,p-})
-		    "Class Bar Method meth2"
-{- rec -}
-AbsBinds
-[a{-aOK-}, b{-aON-}, c{-aOQ-}]
-[d.Eq_aQB, d.Eq_aQC, d.Eq_aQD]
-[([a{-aOK-}, b{-aON-}, c{-aOQ-}], $d1{-rVR,x-}, d.Eq_aOA)]
-    d.Eq_aQH =
-	d.Eq_aQB
-    ==_aVX =
-	PrelBase.=={-8Y,p-}
-	    a{-aOK-}
-	    d.Eq_aQH
-    d.Eq_aQJ =
-	d.Eq_aQC
-    ==_aVW =
-	PrelBase.=={-8Y,p-}
-	    b{-aON-}
-	    d.Eq_aQJ
-    d.Eq_aQL =
-	d.Eq_aQD
-    ==_aVV =
-	PrelBase.=={-8Y,p-}
-	    c{-aOQ-}
-	    d.Eq_aQL
-    ==_aVU =
-	==_aVT
-    AbsBinds [] [] [([], ==_aVT, ==_aOD)]
-	==_aW2 =
-	    ==_aVX
-	==_aW1 =
-	    ==_aVW
-	==_aW0 =
-	    ==_aVW
-	==_aVZ =
-	    ==_aVV
-	==_aVY =
-	    ==_aVV
-	==_aOD
-	    (MkFoo1{-rk,x-}{i} a1_rIv a2_rIw) (MkFoo1{-rk,x-}{i} b1_rIy b2_rIz)
-		    =   (a1_rIv ==_aVX b1_rIy)
-			PrelBase.&&{-re5,p-} (a2_rIw ==_aW2 b2_rIz)
-	==_aOD
-	    (:##{-rj,x-}{i} a1_rIB a2_rIC) (:##{-rj,x-}{i} b1_rIE b2_rIF)
-		    =   (a1_rIB ==_aVW b1_rIE)
-			PrelBase.&&{-re5,p-} (a2_rIC ==_aVV b2_rIF)
-	==_aOD
-	    (MkFoo3{-rm,x-}{i} a1_rIH a2_rII) (MkFoo3{-rm,x-}{i} b1_rIK b2_rIL)
-		    =   (a1_rIH ==_aW1 b1_rIK)
-			PrelBase.&&{-re5,p-} (a2_rII ==_aW0 b2_rIL)
-	==_aOD
-	    (:***{-ro,x-}{i} a1_rIN a2_rIO) (:***{-ro,x-}{i} b1_rIQ b2_rIR)
-		    =   (a1_rIN ==_aVZ b1_rIQ)
-			PrelBase.&&{-re5,p-} (a2_rIO ==_aVY b2_rIR)
-	==_aOD
-	    a_rIT b_rIV
-		    =   PrelBase.False{-58,p-}{i}
-    AbsBinds [] [] [([], /=_aVS, /=_aQu)]
-	/=_aQu
-	    a_rIZ b_rJ1
-		    =   PrelBase.not{-rgK,p-}
-			    ==_aVU
-				a_rIZ b_rJ1
-    d.Eq_aOA =
-	({-dict-} [] [==_aVT, /=_aVS])
-{- rec -}
-AbsBinds
-[a{-aVN-}, b{-aVP-}, c{-aVO-}]
-[]
-[([a{-aVN-}, b{-aVP-}, c{-aVO-}], $d2{-rW3,x-}, d.Eval_aQW)]
-    d.Eval_aQW =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds
-[a{-aRa-}, b{-aRb-}, c{-aRc-}]
-[d.Ord_aV0, d.Ord_aV1, d.Ord_aV2, d.Eq_aV3]
-[([a{-aRa-}, b{-aRb-}, c{-aRc-}], $d3{-rW4,x-}, d.Ord_aR4)]
-    d.Eq_aV4 =
-	d.Eq_aV3
-    d.Ord_aTL =
-	d.Ord_aV0
-    d.Ord_aTM =
-	d.Ord_aV1
-    d.Ord_aTN =
-	d.Ord_aV2
-    compare_aWh =
-	compare_aWb
-    compare_aWg =
-	compare_aWb
-    compare_aWf =
-	compare_aWb
-    compare_aWe =
-	compare_aWb
-    compare_aWd =
-	compare_aWb
-    compare_aWc =
-	compare_aWb
-    AbsBinds [] [] [([], compare_aWb, compare_aR7)]
-	compare_aR7
-	    a_rJZ b_rK1
-		    =   case
-			    con2tag_Foo#_rIm
-				[c{-aRc-}, a{-aRa-}, b{-aRb-}]
-				a_rJZ
-			of
-			  a#_rKT  ->  case
-					  con2tag_Foo#_rIm
-					      [c{-aRc-}, a{-aRa-}, b{-aRb-}]
-					      b_rK1
-				      of
-					b#_rKV  ->  if a#_rKT GHC.==#{-79,p-}{I} b#_rKV then
-							case
-							    cmp_eq_aWi
-								a_rJZ b_rK1
-							of
-							  PrelBase.LT{-rc8,p-}{i}
-								  ->  PrelBase.LT{-rc8,p-}{i}
-							  PrelBase.EQ{-r4C,p-}{i}
-								  ->  PrelBase.EQ{-r4C,p-}{i}
-							  PrelBase.GT{-rc9,p-}{i}
-								  ->  PrelBase.GT{-rc9,p-}{i}
-						    else
-							if a#_rKT GHC.<#{-7b,p-}{I} b#_rKV then
-							    PrelBase.LT{-rc8,p-}{i}
-							else
-							    PrelBase.GT{-rc9,p-}{i}
-		    where
-			{- nonrec -}
-			AbsBinds
-			[c{-aST-}, a{-aT4-}, b{-aT5-}]
-			[d.Ord_aTe, d.Ord_aTg, d.Ord_aTi]
-			[([c{-aST-}, a{-aT4-}, b{-aT5-}], cmp_eq_rK3, cmp_eq_aRg)]
-			    compare_aWq =
-				PrelBase.compare{-rei,p-}
-				    a{-aT4-}
-				    d.Ord_aTe
-			    compare_aWp =
-				compare_aWq
-			    compare_aWo =
-				PrelBase.compare{-rei,p-}
-				    b{-aT5-}
-				    d.Ord_aTg
-			    compare_aWn =
-				PrelBase.compare{-rei,p-}
-				    c{-aST-}
-				    d.Ord_aTi
-			    compare_aWm =
-				compare_aWo
-			    compare_aWl =
-				compare_aWo
-			    compare_aWk =
-				compare_aWn
-			    compare_aWj =
-				compare_aWn
-			    cmp_eq_aRg
-				(MkFoo1{-rk,x-}{i} a1_rK5 a2_rK6) (MkFoo1{-rk,x-}{i} b1_rK8 b2_rK9)
-					=   case
-						compare_aWq
-						    a1_rK5 b1_rK8
-					    of
-					      PrelBase.LT{-rc8,p-}{i}
-						      ->  PrelBase.LT{-rc8,p-}{i}
-					      PrelBase.EQ{-r4C,p-}{i}
-						      ->  case
-							      compare_aWp
-								  a2_rK6 b2_rK9
-							  of
-							    PrelBase.LT{-rc8,p-}{i}
-								    ->  PrelBase.LT{-rc8,p-}{i}
-							    PrelBase.EQ{-r4C,p-}{i}
-								    ->  PrelBase.EQ{-r4C,p-}{i}
-							    PrelBase.GT{-rc9,p-}{i}
-								    ->  PrelBase.GT{-rc9,p-}{i}
-					      PrelBase.GT{-rc9,p-}{i}
-						      ->  PrelBase.GT{-rc9,p-}{i}
-			    cmp_eq_aRg
-				(:##{-rj,x-}{i} a1_rKh a2_rKi) (:##{-rj,x-}{i} b1_rKk b2_rKl)
-					=   case
-						compare_aWo
-						    a1_rKh b1_rKk
-					    of
-					      PrelBase.LT{-rc8,p-}{i}
-						      ->  PrelBase.LT{-rc8,p-}{i}
-					      PrelBase.EQ{-r4C,p-}{i}
-						      ->  case
-							      compare_aWn
-								  a2_rKi b2_rKl
-							  of
-							    PrelBase.LT{-rc8,p-}{i}
-								    ->  PrelBase.LT{-rc8,p-}{i}
-							    PrelBase.EQ{-r4C,p-}{i}
-								    ->  PrelBase.EQ{-r4C,p-}{i}
-							    PrelBase.GT{-rc9,p-}{i}
-								    ->  PrelBase.GT{-rc9,p-}{i}
-					      PrelBase.GT{-rc9,p-}{i}
-						      ->  PrelBase.GT{-rc9,p-}{i}
-			    cmp_eq_aRg
-				(MkFoo3{-rm,x-}{i} a1_rKt a2_rKu) (MkFoo3{-rm,x-}{i} b1_rKw b2_rKx)
-					=   case
-						compare_aWm
-						    a1_rKt b1_rKw
-					    of
-					      PrelBase.LT{-rc8,p-}{i}
-						      ->  PrelBase.LT{-rc8,p-}{i}
-					      PrelBase.EQ{-r4C,p-}{i}
-						      ->  case
-							      compare_aWl
-								  a2_rKu b2_rKx
-							  of
-							    PrelBase.LT{-rc8,p-}{i}
-								    ->  PrelBase.LT{-rc8,p-}{i}
-							    PrelBase.EQ{-r4C,p-}{i}
-								    ->  PrelBase.EQ{-r4C,p-}{i}
-							    PrelBase.GT{-rc9,p-}{i}
-								    ->  PrelBase.GT{-rc9,p-}{i}
-					      PrelBase.GT{-rc9,p-}{i}
-						      ->  PrelBase.GT{-rc9,p-}{i}
-			    cmp_eq_aRg
-				(:***{-ro,x-}{i} a1_rKF a2_rKG) (:***{-ro,x-}{i} b1_rKI b2_rKJ)
-					=   case
-						compare_aWk
-						    a1_rKF b1_rKI
-					    of
-					      PrelBase.LT{-rc8,p-}{i}
-						      ->  PrelBase.LT{-rc8,p-}{i}
-					      PrelBase.EQ{-r4C,p-}{i}
-						      ->  case
-							      compare_aWj
-								  a2_rKG b2_rKJ
-							  of
-							    PrelBase.LT{-rc8,p-}{i}
-								    ->  PrelBase.LT{-rc8,p-}{i}
-							    PrelBase.EQ{-r4C,p-}{i}
-								    ->  PrelBase.EQ{-r4C,p-}{i}
-							    PrelBase.GT{-rc9,p-}{i}
-								    ->  PrelBase.GT{-rc9,p-}{i}
-					      PrelBase.GT{-rc9,p-}{i}
-						      ->  PrelBase.GT{-rc9,p-}{i}
-			    cmp_eq_aRg
-				_ _     =   IOBase.error{-87,p-}
-						PrelBase.Ordering{-3o,p-}
-						"Urk! in TcGenDeriv"
-			{- nonrec -}
-			cmp_eq_aWi =
-			    cmp_eq_rK3
-				[c{-aRc-}, a{-aRa-}, b{-aRb-}]
-				[d.Ord_aTL, d.Ord_aTM, d.Ord_aTN]
-    AbsBinds [] [] [([], <_aWa, <_aTR)]
-	<_aTR
-	    a_rJ7 b_rJ9
-		    =   case
-			    compare_aWh
-				a_rJ7 b_rJ9
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-    AbsBinds [] [] [([], <=_aW9, <=_aU3)]
-	<=_aU3
-	    a_rJg b_rJi
-		    =   case
-			    compare_aWg
-				a_rJg b_rJi
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-    AbsBinds [] [] [([], >=_aW8, >=_aUf)]
-	>=_aUf
-	    a_rJp b_rJr
-		    =   case
-			    compare_aWf
-				a_rJp b_rJr
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-    AbsBinds [] [] [([], >_aW7, >_aUr)]
-	>_aUr
-	    a_rJy b_rJA
-		    =   case
-			    compare_aWe
-				a_rJy b_rJA
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  PrelBase.False{-58,p-}{i}
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  PrelBase.True{-5E,p-}{i}
-    AbsBinds [] [] [([], max_aW6, max_aUD)]
-	max_aUD
-	    a_rJH b_rJJ
-		    =   case
-			    compare_aWd
-				a_rJH b_rJJ
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  b_rJJ
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  a_rJH
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  a_rJH
-    AbsBinds [] [] [([], min_aW5, min_aUQ)]
-	min_aUQ
-	    a_rJQ b_rJS
-		    =   case
-			    compare_aWc
-				a_rJQ b_rJS
-			of
-			  PrelBase.LT{-rc8,p-}{i}
-				  ->  a_rJQ
-			  PrelBase.EQ{-r4C,p-}{i}
-				  ->  b_rJS
-			  PrelBase.GT{-rc9,p-}{i}
-				  ->  b_rJS
-    d.Ord_aR4 =
-	({-dict-}
-	 [d.Eq_aV4]
-	 [compare_aWb, <_aWa, <=_aW9, >=_aW8, >_aW7, max_aW6, min_aW5])
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aLh-}]
-[d.Bar_aLn]
-[([a{-aLh-}], f3d{-r4D,x-}, f3d_aL9)]
-    /////_aWr =
-	/////{-r4Q,x-}
-	    a{-aLh-}
-	    d.Bar_aLn
-    f3d_aL9
-	x_r4j y_r4l
-		=   x_r4j /////_aWr y_r4l
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aLu-}]
-[d.Bar_aLA]
-[([a{-aLu-}], f3c{-r4E,x-}, f3c_aLp)]
-    /////_aWs =
-	/////{-r4Q,x-}
-	    a{-aLu-}
-	    d.Bar_aLA
-    f3c_aLp
-	x_r4f y_r4h
-		=   /////_aWs
-			x_r4f y_r4h
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aLH-}]
-[d.Bar_aLN]
-[([a{-aLH-}], f3b{-r4F,x-}, f3b_aLC)]
-    meth1_aWt =
-	meth1{-r4R,x-}
-	    a{-aLH-}
-	    d.Bar_aLN
-    f3b_aLC
-	x_r4b y_r4d
-		=   x_r4b meth1_aWt y_r4d
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aLU-}]
-[d.Bar_aM0]
-[([a{-aLU-}], f3a{-r4G,x-}, f3a_aLP)]
-    meth1_aWu =
-	meth1{-r4R,x-}
-	    a{-aLU-}
-	    d.Bar_aM0
-    f3a_aLP
-	x_r47 y_r49
-		=   meth1_aWu
-			x_r47 y_r49
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[c{-aMk-}, a{-aMn-}, b{-aMo-}]
-[]
-[([c{-aMk-}, a{-aMn-}, b{-aMo-}], <<<<{-r4H,x-}, <<<<_aM2)]
-    <<<<_aM2
-	x_r3Z y_r41
-		=   :***{-ro,x-}{i}
-			[a{-aMn-}, b{-aMo-}, c{-aMk-}]
-			x_r3Z y_r41
-    <<<<_aM2
-	x_r43 y_r45
-		=   :***{-ro,x-}{i}
-			[a{-aMn-}, b{-aMo-}, c{-aMk-}]
-			x_r43 y_r45
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[b{-aMw-}, a{-aMA-}, c{-aMC-}]
-[]
-[([b{-aMw-}, a{-aMA-}, c{-aMC-}], .....{-r4I,x-}, ....._aMq)]
-    ....._aMq
-	x_r3V y_r3X
-		=   MkFoo3{-rm,x-}{i}
-			[a{-aMA-}, b{-aMw-}, c{-aMC-}]
-			x_r3V y_r3X
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[b{-aMK-}, a{-aMO-}, c{-aMQ-}]
-[]
-[([b{-aMK-}, a{-aMO-}, c{-aMQ-}], ....{-r4J,x-}, ...._aME)]
-    ...._aME
-	x_r3R y_r3T
-		=   MkFoo3{-rm,x-}{i}
-			[a{-aMO-}, b{-aMK-}, c{-aMQ-}]
-			x_r3R y_r3T
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[b{-aMY-}, c{-aN1-}, a{-aN4-}]
-[]
-[([b{-aMY-}, c{-aN1-}, a{-aN4-}], f2a{-r4K,x-}, f2a_aMS)]
-    f2a_aMS
-	x_r3N y_r3P
-		=   :##{-rj,x-}{i}
-			[a{-aN4-}, b{-aMY-}, c{-aN1-}]
-			x_r3N y_r3P
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[b{-aNc-}, c{-aNf-}, a{-aNi-}]
-[]
-[([b{-aNc-}, c{-aNf-}, a{-aNi-}], f2{-r4L,x-}, f2_aN6)]
-    f2_aN6
-	x_r3J y_r3L
-		=   :##{-rj,x-}{i}
-			[a{-aNi-}, b{-aNc-}, c{-aNf-}]
-			x_r3J y_r3L
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aNp-}, b{-aNu-}, c{-aNw-}]
-[]
-[([a{-aNp-}, b{-aNu-}, c{-aNw-}], f1a{-r4M,x-}, f1a_aNk)]
-    f1a_aNk
-	x_r3F y_r3H
-		=   MkFoo1{-rk,x-}{i}
-			[a{-aNp-}, b{-aNu-}, c{-aNw-}]
-			x_r3F y_r3H
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[a{-aND-}, b{-aNI-}, c{-aNK-}]
-[]
-[([a{-aND-}, b{-aNI-}, c{-aNK-}], f1{-r4N,x-}, f1_aNy)]
-    f1_aNy
-	x_r3B y_r3D
-		=   MkFoo1{-rk,x-}{i}
-			[a{-aND-}, b{-aNI-}, c{-aNK-}]
-			x_r3B y_r3D
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[c{-aOo-}, a{-aOr-}, b{-aOs-}]
-[]
-[([c{-aOo-}, a{-aOr-}, b{-aOs-}],
-  con2tag_Foo#_rIm,
-  con2tag_Foo#_aNM)]
-    con2tag_Foo#_aNM
-	(MkFoo1{-rk,x-}{i} _ _)
-		=   0#
-    con2tag_Foo#_aNM
-	(:##{-rj,x-}{i} _ _)
-		=   1#
-    con2tag_Foo#_aNM
-	(MkFoo3{-rm,x-}{i} _ _)
-		=   2#
-    con2tag_Foo#_aNM
-	(:***{-ro,x-}{i} _ _)
-		=   3#
-{- nonrec -}
-Print002.hs:35: 
-    Warning: Pattern match(es) completely overlapped
-	in the definition of function `<<<<'
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ Print002 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d14 1 $d15 1 $d32 1 $d34 1 $d37 1 $d39 1 $d41 1 $d45 1 $d46 1 $d49 1 $d51 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1;
-PrelNum 1 :: $d17 1 $d18 1;
-_exports_
-Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(meth1 ///// meth2) Bar2 Foo(MkFoo1 :## MkFoo3 :***);
-_instances_
-instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
-instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
-instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
-_declarations_
-1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
-1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
-1 $d3 _:_ _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;;
-1 $m///// _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
-1 $mmeth1 _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
-1 $mmeth2 _:_ _forall_ [a] {Bar a} => _forall_ [b] => a -> b -> PrelBase.Bool ;;
-1 .... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
-1 ..... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
-1 <<<< _:_ _forall_ [a b c] => a -> a -> Foo b c a ;;
-1 class Bar r4q where {meth1 :: r4q -> r4q -> PrelBase.Bool; ///// :: r4q -> r4q -> PrelBase.Bool; meth2 :: _forall_ [r4w] => r4q -> r4w -> PrelBase.Bool} ;
-class {Bar r4n} => Bar2 r4n ;
-1 data Foo r4z r4A r4B = MkFoo1 r4z r4z |  :## r4A r4B |  MkFoo3 r4A r4A |  :*** r4B r4B ;
-1 f1 _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
-1 f1a _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
-1 f2 _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
-1 f2a _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
-1 f3a _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
-1 f3b _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
-1 f3c _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
-1 f3d _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
diff --git a/ghc/compiler/tests/printing/Print003.hs b/ghc/compiler/tests/printing/Print003.hs
deleted file mode 100644
index e95bd0c78b..0000000000
--- a/ghc/compiler/tests/printing/Print003.hs
+++ /dev/null
@@ -1,6 +0,0 @@
-module Word where
-
-infixl 8 `bitLsh`, `bitRsh`
-
-class Bits a where
-	bitRsh, bitLsh :: a -> Int -> a
diff --git a/ghc/compiler/tests/printing/Print003.stderr b/ghc/compiler/tests/printing/Print003.stderr
deleted file mode 100644
index 7ad6eeab03..0000000000
--- a/ghc/compiler/tests/printing/Print003.stderr
+++ /dev/null
@@ -1,44 +0,0 @@
-
-
-================================================================================
-Typechecked:
-{- nonrec -}
-bitRsh{-r3h,x-} =
-    _/\_ a{-r3f-} -> \ tpl_B1 ->
-	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-bitLsh{-r3g,x-} =
-    _/\_ a{-r3f-} -> \ tpl_B1 ->
-	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-{- nonrec -}
-AbsBinds
-[a{-anm-}]
-[d.Bits_anf]
-[([a{-anm-}], $mbitRsh{-rnw,x-}, bitRsh_anh)]
-    AbsBinds [] [] [([], bitRsh_anh, bitRsh_anj)]
-	bitRsh_anj
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-anm-} -> PrelBase.Int{-3g,p-} -> a{-anm-})
-		    "Class Bits Method bitRsh"
-AbsBinds
-[a{-anm-}]
-[d.Bits_anp]
-[([a{-anm-}], $mbitLsh{-rnx,x-}, bitLsh_anr)]
-    AbsBinds [] [] [([], bitLsh_anr, bitLsh_ant)]
-	bitLsh_ant
-	    =   GHCerr.noDefaultMethodError{-8k,p-}
-		    (a{-anm-} -> PrelBase.Int{-3g,p-} -> a{-anm-})
-		    "Class Bits Method bitLsh"
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ Word 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-Word Bits(bitRsh bitLsh);
-_fixities_
-infixl 8 bitLsh;
-infixl 8 bitRsh;
-_declarations_
-1 $mbitLsh _:_ _forall_ [a] {Bits a} => a -> PrelBase.Int -> a ;;
-1 $mbitRsh _:_ _forall_ [a] {Bits a} => a -> PrelBase.Int -> a ;;
-1 class Bits r3f where {bitRsh :: r3f -> PrelBase.Int -> r3f; bitLsh :: r3f -> PrelBase.Int -> r3f} ;
diff --git a/ghc/compiler/tests/printing/Print004.hs b/ghc/compiler/tests/printing/Print004.hs
deleted file mode 100644
index a496159726..0000000000
--- a/ghc/compiler/tests/printing/Print004.hs
+++ /dev/null
@@ -1,18 +0,0 @@
---!!! export a derived thingy which mentions an internal type
---
-{- from simonpj; who adds:
-
-   It is NOT ENOUGH to put
-
-	   data OpaqueType deriving(Text)
-
-   in the interface
--}
-
-module ExportOpaque( OpaqueType ) where
-
-data OpaqueType a = Con (FunnyInternalType a) deriving(Show)
-
-data FunnyInternalType a = Junk11 | Junk2
-
-instance Ord a => Show (FunnyInternalType a)
diff --git a/ghc/compiler/tests/printing/Print004.stderr b/ghc/compiler/tests/printing/Print004.stderr
deleted file mode 100644
index be79adbe6c..0000000000
--- a/ghc/compiler/tests/printing/Print004.stderr
+++ /dev/null
@@ -1,134 +0,0 @@
-
-
-================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-Con{-r6v,l-}{i} =
-    _/\_ a{-r6C-} -> \ tpl_B1 ->
-	Con{-r6v,l-}{i}
-	    {_@_ a{-r6C-} tpl_B1}
-{- nonrec -}
-Junk11{-r4,l-}{i} =
-    _/\_ a{-r6A-} ->
-	Junk11{-r4,l-}{i}
-	    {_@_ a{-r6A-}}
-Junk2{-r3,l-}{i} =
-    _/\_ a{-r6A-} ->
-	Junk2{-r3,l-}{i}
-	    {_@_ a{-r6A-}}
-{- rec -}
-AbsBinds [a{-aLt-}] [] [([a{-aLt-}], $d2{-rLv,x-}, d.Eval_aJU)]
-    d.Eval_aJU =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds [a{-aLu-}] [] [([a{-aLu-}], $d3{-rLD,x-}, d.Eval_aK0)]
-    d.Eval_aK0 =
-	({-dict-} [] [])
-{- rec -}
-AbsBinds
-[a{-aKf-}]
-[d.Ord_aKF]
-[([a{-aKf-}], $d4{-rLE,x-}, d.Show_aK6)]
-    d.Ord_aKR =
-	d.Ord_aKF
-    d.Show_aKP =
-	$d1{-rLJ,x-}
-	    a{-aKf-}
-	    d.Ord_aKR
-    showsPrec_aLI =
-	PrelBase.showsPrec{-r5t,p-}
-	    (FunnyInternalType{-r6u,l-} a{-aKf-})
-	    d.Show_aKP
-    showsPrec_aLH =
-	showsPrec_aLG
-    AbsBinds [] [] [([], showsPrec_aLG, showsPrec_aK9)]
-	lit_aLK =
-	    lit_aLA
-	showsPrec_aK9
-	    a_rJ8 (Con{-r6v,l-}{i} b1_rJa)
-		    =   PrelBase.showParen{-r61,p-}
-			    a_rJ8 >=_aLC lit_aLA
-			    PrelBase..{-r6d,p-}
-				[PrelBase.String{-r5q,p-}, PrelBase.String{-r5q,p-}, PrelBase.String{-r5q,p-}]
-				PrelBase.showString{-r60,p-}
-				    "Con "
-				showsPrec_aLI
-				    lit_aLK b1_rJa
-    AbsBinds [] [] [([], showList_aLF, showList_aKA)]
-	showList_aKA
-		    =   PrelBase.showList__{-r6F,p-}
-			    (OpaqueType{-r6,x-} a{-aKf-})
-			    showsPrec_aLH
-				lit_aLw
-    d.Show_aK6 =
-	({-dict-} [] [showsPrec_aLG, showList_aLF])
-{- rec -}
-AbsBinds
-[a{-aL6-}]
-[d.Ord_aLf]
-[([a{-aL6-}], $d1{-rLJ,x-}, d.Show_aKZ)]
-    d.Show_aLj =
-	d.Show_aKZ
-    $mshowsPrec_aLM =
-	PrelBase.$mshowsPrec{-rfh,p-}
-	    (FunnyInternalType{-r6u,l-} a{-aL6-})
-	    d.Show_aLj
-    d.Show_aLl =
-	d.Show_aKZ
-    $mshowList_aLL =
-	PrelBase.$mshowList{-rfg,p-}
-	    (FunnyInternalType{-r6u,l-} a{-aL6-})
-	    d.Show_aLl
-    AbsBinds [] [] [([], showsPrec_aL1, showsPrec_aL3)]
-	showsPrec_aL3
-	    =   $mshowsPrec_aLM
-    AbsBinds [] [] [([], showList_aLa, showList_aLc)]
-	showList_aLc
-	    =   $mshowList_aLL
-    d.Show_aKZ =
-	({-dict-} [] [showsPrec_aL1, showList_aLa])
-{- nonrec -}
-d.Ord_aLo =
-    PrelBase.$d6{-reK,p-}
->=_aLC =
-    PrelBase.>={-8Z,p-}
-	PrelBase.Int{-3g,p-}
-	d.Ord_aLo
-d.Num_aLs =
-    PrelBase.$d3{-ref,p-}
-fromInt_aLB =
-    PrelBase.fromInt{-8R,p-}
-	PrelBase.Int{-3g,p-}
-	d.Num_aLs
-lit_aLA =
-    fromInt_aLB
-	PrelBase.I#{-5b,p-}{i}
-	    10#
-fromInt_aLz =
-    fromInt_aLB
-lit_aLw =
-    fromInt_aLz
-	PrelBase.I#{-5b,p-}{i}
-	    0#
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ExportOpaque 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d1 1 $d11 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 $m* 1 $m+ 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mabs 1 $mcompare 1 $mfromInt 1 $mfromInteger 1 $mmax 1 $mmin 1 $mnegate 1 $mshowList 1 $mshowsPrec 1 $msignum 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
-PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
-_exports_
-ExportOpaque OpaqueType;
-_instances_
-instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $d1;
-instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $d2;
-instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $d3;
-instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $d4;
-_declarations_
-1 $d1 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
-1 $d2 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
-1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
-1 $d4 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
-1 data FunnyInternalType r6A = Junk11 |  Junk2 ;
-1 data OpaqueType r6C = Con (FunnyInternalType r6C) ;