diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/GivenOverlapping.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/GivenOverlapping.hs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/GivenOverlapping.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/GivenOverlapping.hs deleted file mode 100644 index 35f4b07962..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/GivenOverlapping.hs +++ /dev/null @@ -1,21 +0,0 @@ -{-# LANGUAGE FunctionalDependencies, FlexibleContexts #-}
-
-class C a where
-
-class D a where
- dop :: a -> a
-
-instance C a => D [a] where
- dop = undefined
-
-class J a b | a -> b
- where j :: a -> b -> ()
-
-instance J Bool Int where
- j = undefined
-
-foo :: D [Int] => ()
-foo = j True (head (dop [undefined]))
-
-main = return ()
-
|