projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f80ddc) | patch
[project @ 2000-10-05 16:04:36 by simonpj]
authorsimonpj <unknown>
Thu, 5 Oct 2000 16:04:36 +0000 (16:04 +0000)
committersimonpj <unknown>
Thu, 5 Oct 2000 16:04:36 +0000 (16:04 +0000)
commit2d1987b1042ecc265bf67fdd0666cbfb2e38e8c0
tree2d2fb612b4e9274fe23d373d2fb12fa66638c1e5tree | snapshot
parent6f80ddc8452fa0cd407d56a7088aea2e3f3e577ecommit | diff
[project @ 2000-10-05 16:04:36 by simonpj]
Add a test to reject things like:

instance Ord a => Ord (forall s. T s a)

g :: T s (forall b.b)

The for-alls are illegal in type arguments!
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
ghc/compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)