[project @ 2000-10-02 10:09:58 by simonpj]

Add tc107

diff --git a/ghc/tests/typecheck/should_compile/tc107.hs b/ghc/tests/typecheck/should_compile/tc107.hs
new file mode 100644 (file)
index 0000000..75211bc
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc107.hs
@@ -0,0 +1,8 @@
+-- !!! Kind checking in a recursive situation
+-- Exposes a bug in proto-4.09 (black hole)
+
+module ShouldCompile where
+
+data ChItem = ChItemX Stream
+type Stream = ChItem 
+

diff --git a/ghc/tests/typecheck/should_compile/tc107.stderr b/ghc/tests/typecheck/should_compile/tc107.stderr
new file mode 100644 (file)
index 0000000..8d1c8b6
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc107.stderr
@@ -0,0 +1 @@
+