testsuite/tests/typecheck/should_fail/tcfail152.hs


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