blob: 5b3ec3f78940abecf595a98d8e2f5c55b4c30d08 (
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
|