projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3c8ae4) | patch
[project @ 1999-11-30 08:46:25 by simonpj]
authorsimonpj <unknown>
Tue, 30 Nov 1999 08:46:25 +0000 (08:46 +0000)
committersimonpj <unknown>
Tue, 30 Nov 1999 08:46:25 +0000 (08:46 +0000)
commita18aa9d7055561810945b810584b02f685c01089
treedbd7f84f42bc114ff5fe7ca750915c41d4f84922tree | snapshot
parentb3c8ae4e104c93354738d3992fcf0e60e9646490commit | diff
[project @ 1999-11-30 08:46:25 by simonpj]
Allow a for-all type inside a usage annotation:

__u - (forall a. type)

[This actually simply inolved making rnHsType a bit more permissive.]

The particular way this shows up right now is a bug that Keith is working
on, but in general it should be legal.
ghc/compiler/rename/RnSource.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)