summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonpj <unknown>2000-10-02 10:09:58 +0000
committersimonpj <unknown>2000-10-02 10:09:58 +0000
commit334e3c04376a84c977c2d5f29d384daa38a76913 (patch)
treeae70edab4761f5342205df33fa6aab3faef1d723
parentfa869cdd81d44d9167c1a54b3adae485996a1991 (diff)
downloadhaskell-334e3c04376a84c977c2d5f29d384daa38a76913.tar.gz
[project @ 2000-10-02 10:09:58 by simonpj]
Add tc107
-rw-r--r--ghc/tests/typecheck/should_compile/tc107.hs8
-rw-r--r--ghc/tests/typecheck/should_compile/tc107.stderr1
2 files changed, 9 insertions, 0 deletions
diff --git a/ghc/tests/typecheck/should_compile/tc107.hs b/ghc/tests/typecheck/should_compile/tc107.hs
new file mode 100644
index 0000000000..75211bc584
--- /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
index 0000000000..8d1c8b69c3
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc107.stderr
@@ -0,0 +1 @@
+