projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bd7725) | patch
[project @ 1999-01-19 15:19:23 by sof]
authorsof <unknown>
Tue, 19 Jan 1999 15:19:24 +0000 (15:19 +0000)
committersof <unknown>
Tue, 19 Jan 1999 15:19:24 +0000 (15:19 +0000)
commitbfd50cd8881723ad87c83a758c898784fa61b7c3
tree42594179019dd48de3b1710c799411f98b2adf63tree | snapshot
parent9bd77250f456c5fdf12d20a6b38d588b1e0f354fcommit | diff
[project @ 1999-01-19 15:19:23 by sof]
Types of foreign imports weren't being zonked, with the lethal conseq.
that any unbound kind variables weren't being defaulted to something
sensible.

Showed up when trying to compile a 'foreign import' with type

  StablePtr a -> IO ()
ghc/compiler/typecheck/TcForeign.lhs diff | blob | history
ghc/compiler/typecheck/TcModule.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)