[project @ 1998-10-21 11:46:23 by sof]

Check if tc type substitutions clone correctly

diff --git a/ghc/tests/typecheck/should_compile/tc099.hs b/ghc/tests/typecheck/should_compile/tc099.hs
new file mode 100644 (file)
index 0000000..367789a
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc099.hs
@@ -0,0 +1,8 @@
+-- !! check if tc type substitutions really do
+-- !! clone (or if not, work around it by cloning
+-- !! all binders in first pass of the simplifier).
+module ShouldCompile where
+
+f,g :: Eq a => (a,b)
+f = g
+g = f

diff --git a/ghc/tests/typecheck/should_compile/tc099.stderr b/ghc/tests/typecheck/should_compile/tc099.stderr
new file mode 100644 (file)
index 0000000..985f8e8
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc099.stderr
@@ -0,0 +1,6 @@
+ghc: module version changed to 1; reason: no old .hi file
+_exports_
+ShouldCompile f g;
+_declarations_
+1 f _:_ _forall_ [a b] {PrelBase.Eq a} => (a, b) ;;
+1 g _:_ _forall_ [a b] {PrelBase.Eq a} => (a, b) ;;