[project @ 2001-01-03 11:50:23 by simonpj]

Add tc111

diff --git a/ghc/tests/typecheck/should_compile/tc111.hs b/ghc/tests/typecheck/should_compile/tc111.hs
new file mode 100644 (file)
index 0000000..83fffd1
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc111.hs
@@ -0,0 +1,20 @@
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Test monomorphism + RULES
+
+module ShouldCompile where
+
+-- This example crashed GHC 4.08.1.
+-- The reason was that foobar is monomorphic, so the RULE 
+-- should not generalise over it.
+
+foo 1 = 2
+bar 0 = 1
+
+foobar = 2
+
+{-# RULES
+  "foo/bar" foo bar = foobar
+ #-}
+
+

diff --git a/ghc/tests/typecheck/should_compile/tc111.stderr b/ghc/tests/typecheck/should_compile/tc111.stderr
new file mode 100644 (file)
index 0000000..e69de29