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

Added test that caused 3.03 and 4.01 to enter a blackhole

diff --git a/ghc/tests/typecheck/should_compile/Makefile b/ghc/tests/typecheck/should_compile/Makefile
index 40612f9..db4a798 100644 (file)
--- a/ghc/tests/typecheck/should_compile/Makefile
+++ b/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

diff --git a/ghc/tests/typecheck/should_compile/tc100.hs b/ghc/tests/typecheck/should_compile/tc100.hs
new file mode 100644 (file)
index 0000000..06f3475
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc100.hs
@@ -0,0 +1,7 @@
+-- !!! 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)

diff --git a/ghc/tests/typecheck/should_compile/tc100.stderr b/ghc/tests/typecheck/should_compile/tc100.stderr
new file mode 100644 (file)
index 0000000..38fcf81
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc100.stderr
@@ -0,0 +1,5 @@
+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) ;