Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail139.hs
1 -- Should be rejected by Haskell 98
2
3 module Foo where
4
5 type Foo = Double
6 instance Bounded Foo