projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 123e313) | patch
[project @ 1999-07-26 15:37:41 by simonpj]
authorsimonpj <unknown>
Mon, 26 Jul 1999 15:37:41 +0000 (15:37 +0000)
committersimonpj <unknown>
Mon, 26 Jul 1999 15:37:41 +0000 (15:37 +0000)
commit938f825c4c3aac524459a801816db10718dff9de
tree0fc53e527b18ea1166c9bfdef8573ad3c481d5b5tree | snapshot
parent123e3135b5f7c666f716a503e754aaf738e78ba6commit | diff
[project @ 1999-07-26 15:37:41 by simonpj]
Make Type.isUnLiftedType return True for forall'd unlifted types:
e.g. x :: forall a. Int#

I found bindings like these were getting floated to the top level.
They are pretty bogus types, mind you.  It would be better never to
construct them.

(George Russell tripped over this one.)
ghc/compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)