projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 766ee83) | patch
[project @ 1999-03-22 10:39:59 by simonpj]
authorsimonpj <unknown>
Mon, 22 Mar 1999 10:39:59 +0000 (10:39 +0000)
committersimonpj <unknown>
Mon, 22 Mar 1999 10:39:59 +0000 (10:39 +0000)
commit375c33b1a5085313b91329d396fa7d9c703bee46
treec031478184c4c123bab775360d80aeec3ddaebddtree | snapshot
parent766ee8324b91bbaa83b4d104ef3f1f5676edb7aecommit | diff
[project @ 1999-03-22 10:39:59 by simonpj]
Fix the HsForAll case in TcMonoType.tc_type_kind so that it
permits types like

f :: forall a. Num a => (# a->a, a->a #)

Previously it insisted that the body of a for-all was a boxed
type, but 'f' makes perfect sense, and indeed occurs in interface
files as a result of CPR analysis.
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)