Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail063.hs
1 -- !!! no type variable on a context
2 -- !!! reported by Sigbjorn Finne
3
4 module ShouldFail where
5
6 moby :: Num => Int -> a -> Int
7 moby x y = x+y