Bump `base` version to 4.9.0.0 (closes #11026)
[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]