From: simonpj <unknown>
Date: Fri, 20 Aug 1999 13:13:03 +0000 (+0000)
Subject: [project @ 1999-08-20 13:13:03 by simonpj]
X-Git-Tag: Approximately_9120_patches~5889
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=94ad0e0c2b8a8d4e9440fd43e2ad9c01d373a7c6;p=ghc-hetmet.git

[project @ 1999-08-20 13:13:03 by simonpj]
Add tcrun005
---

diff --git a/ghc/tests/typecheck/should_run/tcrun005.hs b/ghc/tests/typecheck/should_run/tcrun005.hs
new file mode 100644
index 0000000..2c31572
--- /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 0000000..52c33a5
--- /dev/null
+++ b/ghc/tests/typecheck/should_run/tcrun005.stdout
@@ -0,0 +1 @@
+"ok"