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]