blob: 3d3b4e0369fcb7e9e9308bf3953d46345451c6cd (
plain)
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]
|