[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t011.hs

--!!! Escaping existential variable II

data Appl = MkAppl (a -> Int) a (a -> a)

bad3 y              = let g (MkAppl f x i) = length [x,y] + 1
                      in  True