testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / FD1.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
2 {-# LANGUAGE FlexibleInstances, FlexibleContexts #-}
3
4 -- #1781
5 -- This one should really succeed, because 'plus' can only
6 -- be called with a = Int->Int, but the old fundep story
7 -- certainly made it fail, and so that's what we expect for now
8 -- We may become more liberal later
9
10 module ShouldCompile where
11
12 class E a b | a -> b, b -> a
13 instance E a a
14
15 plus :: (E a (Int -> Int)) => Int -> a
16 plus x y = x + y
17