Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail137.hs
1 {-# LANGUAGE DatatypeContexts #-}
2 -- Test the stupid context on newtypes
3 -- (GHC 6.4 dropped it on the floor by mistake)
4 module ShouldFail where
5
6 newtype Floating a => Test a = Test [a]
7
8 x = Test [False, True]