[project @ 1997-10-14 10:48:43 by simonm]

add test for locally-overloaded constructor arguments

ghc/tests/typecheck/should_compile/tc092.hs

+module ShouldSucceed where
+
+data Empty q			=  Empty (Ord a => q a)
+q				:: (Ord a) => [a]
+q				=  []
+e0, e1, e2			:: Empty []
+e0 				=  Empty []
+e1 				=  Empty ([] :: (Ord a) => [a])
+e2				=  Empty q

ghc/tests/typecheck/should_compile/tc092.stderr

+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
+PrelNum 1 :: $d17 1 $d18 1;
+_exports_
+ShouldSucceed e0 e1 e2 q Empty(Empty);
+_instances_
+instance _forall_ [q :: (* -> *)] => {PrelBase.Eval (Empty q)} = $d1;
+_declarations_
+1 $d1 _:_ _forall_ [q :: (* -> *)] => {PrelBase.Eval (Empty q)} ;;
+1 e0 _:_ Empty PrelBase.[] ;;
+1 e1 _:_ Empty PrelBase.[] ;;
+1 e2 _:_ Empty PrelBase.[] ;;
+1 q _:_ _forall_ [ta] {PrelBase.Ord ta} => [ta] ;;