From 94ad0e0c2b8a8d4e9440fd43e2ad9c01d373a7c6 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 20 Aug 1999 13:13:03 +0000
Subject: [PATCH] [project @ 1999-08-20 13:13:03 by simonpj] Add tcrun005

---
 ghc/tests/typecheck/should_run/tcrun005.hs    | 25 +++++++++++++++++++
 .../typecheck/should_run/tcrun005.stdout      |  1 +
 2 files changed, 26 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_run/tcrun005.hs
 create mode 100644 ghc/tests/typecheck/should_run/tcrun005.stdout

diff --git a/ghc/tests/typecheck/should_run/tcrun005.hs b/ghc/tests/typecheck/should_run/tcrun005.hs
new file mode 100644
index 000000000000..2c315725ef73
--- /dev/null
+++ b/ghc/tests/typecheck/should_run/tcrun005.hs
@@ -0,0 +1,25 @@
+-- !!! Dfun naming bug
+
+module Main where
+
+
+  data TT  = TT
+  data TTT = TTT
+
+  class CC  a where
+	op_cc :: a -> a
+	
+  class CCT a where
+	op_cct :: a -> a
+
+  -- These two instances should get different dfun names!
+  -- In GHC 4.04 they both got $fCCTTT
+
+  instance CC TTT where
+	op_cc = id
+
+  instance CCT TT where
+	op_cct = id
+
+  main = case op_cc TTT of
+	   TTT -> print "ok"
diff --git a/ghc/tests/typecheck/should_run/tcrun005.stdout b/ghc/tests/typecheck/should_run/tcrun005.stdout
new file mode 100644
index 000000000000..52c33a57c76f
--- /dev/null
+++ b/ghc/tests/typecheck/should_run/tcrun005.stdout
@@ -0,0 +1 @@
+"ok"
-- 
GitLab