[project @ 1999-02-18 16:37:55 by sof]

Added test that caused 3.03 and 4.01 to enter a blackhole

ghc/tests/typecheck/should_compile/Makefile

@@ -8,6 +8,7 @@ tc019_HC_OPTS = -fglasgow-exts
 tc065_HC_OPTS = -syslib misc
 tc089_HC_OPTS = -H12m
 tc097_HC_OPTS = -fglasgow-exts
+tc100_HC_OPTS = -O
 
 # mkdependHS doesn't understand OPTIONS pragmas...
 SRC_MKDEPENDHS_OPTS += -fglasgow-exts -syslib misc

ghc/tests/typecheck/should_compile/tc100.hs

+-- !!! Caused ghc-3.03 and 4.01 tc to enter a 
+-- !!! a blackhole (as reported by P. Callaghan.)
+module ShouldCompile where
+
+type C a = D a -> a
+newtype D a = DD (D_ a)
+type D_ a = C (Maybe a)

ghc/tests/typecheck/should_compile/tc100.stderr

+ghc: module version changed to 1; reason: no old .hi file
+__export ShouldCompile C D{DD} D_;
+1 newtype D a = DD (D_ a) ;
+1 type C a = D a -> a ;
+1 type D_ a = C (PrelMaybe.Maybe a) ;