projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 210d594) | patch
[project @ 2001-12-28 17:20:36 by simonpj]
authorsimonpj <unknown>
Fri, 28 Dec 2001 17:20:36 +0000 (17:20 +0000)
committersimonpj <unknown>
Fri, 28 Dec 2001 17:20:36 +0000 (17:20 +0000)
commit246dab8d62eaeb3e239c49b69ab3ad95299c1b38
tree1255b916e407b2b19b272a305544a50582e1c461tree | snapshot
parent210d594cb084c373daee4812ae8f2e25ca788501commit | diff
[project @ 2001-12-28 17:20:36 by simonpj]
-----------------------------
Buglet in rank-N polymorphism
-----------------------------

Fix a bug in the way result type signatures are handled; they
hadn't been brought into the rank-N polymorphism world.
ghc/compiler/typecheck/TcMatches.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)