projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 1999-11-12 12:51:20 by simonpj]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail086.hs
1 {-# OPTIONS -fglasgow-exts #-}
2
3 -- !!! Check that we can't derive instances of existential types
4 module ShouldFail where
5
6 data Ex = forall a. Ex [a] deriving( Eq )
7
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)