From 34cd3a8aa8842673f75240a1967251d686cf3e10 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Wed, 21 Oct 1998 11:46:24 +0000
Subject: [PATCH] [project @ 1998-10-21 11:46:23 by sof] Check if tc type
 substitutions clone correctly

---
 ghc/tests/typecheck/should_compile/tc099.hs     | 8 ++++++++
 ghc/tests/typecheck/should_compile/tc099.stderr | 6 ++++++
 2 files changed, 14 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_compile/tc099.hs
 create mode 100644 ghc/tests/typecheck/should_compile/tc099.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc099.hs b/ghc/tests/typecheck/should_compile/tc099.hs
new file mode 100644
index 000000000000..367789a4c740
--- /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 000000000000..985f8e8503ca
--- /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) ;;
-- 
GitLab