summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs20
1 files changed, 0 insertions, 20 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs
deleted file mode 100644
index 9b90fd61a6..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/T4418.hs
+++ /dev/null
@@ -1,20 +0,0 @@
-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
-
-module Ambiguity where
-
-class C1 a b | b -> a
-class (C1 a b) => C2 a b where
- foo :: b -> b
-
-data A = A
-data B = B
-instance C1 A B
-instance C2 A B where foo = error "urk"
-
--- this is accepted by both 6.12.3 and 7
-runFoo1 :: C2 a b => b -> b
-runFoo1 = foo
-
--- this is accepted by 6.12.3, but not by 7
-runFoo2 :: B -> B
-runFoo2 = foo