blob: 3ebb6fe0f66363afa3c14ba298223969e5ea3e80 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE ExistentialQuantification #-}
-- This test made Hugs fail (Oct 05) because the constraint
-- from the 'toInteger' call escaped from the pattern match
module ShouldFail where
data T = forall a. C a
test (C x) = toInteger x
|