testsuite/tests/typecheck/should_fail/tcfail137.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE DatatypeContexts #-}
-- Test the stupid context on newtypes
-- (GHC 6.4 dropped it on the floor by mistake)
module ShouldFail where

newtype Floating a => Test a = Test [a] 

x = Test [False, True]