From: sof <unknown>
Date: Thu, 18 Feb 1999 16:37:56 +0000 (+0000)
Subject: [project @ 1999-02-18 16:37:55 by sof]
X-Git-Tag: Approximately_9120_patches~6532
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ac9a538680b0b647d891f7409f6267d2b762d19d;p=ghc-hetmet.git

[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
--- 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
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
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) ;