[project @ 1997-12-17 11:08:16 by simonm]

add typechecker bug which we currently don't have a fix for

diff --git a/ghc/tests/typecheck/should_compile/tc094.hs b/ghc/tests/typecheck/should_compile/tc094.hs
new file mode 100644 (file)
index 0000000..334c34c
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc094.hs
@@ -0,0 +1,7 @@
+module ShouldSucceed where
+
+-- From a bug report by Sven Panne.
+
+foo = bar
+   where bar = \_ -> (truncate boing, truncate boing)
+         boing = 0