From: sof <unknown>
Date: Wed, 21 Oct 1998 11:46:24 +0000 (+0000)
Subject: [project @ 1998-10-21 11:46:23 by sof]
X-Git-Tag: Approx_2487_patches~226
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=34cd3a8aa8842673f75240a1967251d686cf3e10;p=ghc-hetmet.git

[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
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
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) ;;