projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2550ef) | patch
[project @ 2001-10-17 10:35:34 by simonpj]
authorsimonpj <unknown>
Wed, 17 Oct 2001 10:35:34 +0000 (10:35 +0000)
committersimonpj <unknown>
Wed, 17 Oct 2001 10:35:34 +0000 (10:35 +0000)
commit5afd840ff381e3743602330d6384df08fc7c47a8
treebc8de009a8bbc4d6d09b76c63f47244e53345196tree | snapshot
parentb2550efb738d0b2184a682520413d0247281324ecommit | diff
[project @ 2001-10-17 10:35:34 by simonpj]
-------------------------------
Fix type-synonym arity checking
-------------------------------

*** MERGE TO STABLE BRANCH ***

The newish stuff on checking types (checkValidType etc)
didn't detect an un-saturated, but *kind-correct* type
synonym occurrence.  Example:

type A i = i
type B = A

Result: crash.  Fix is rather easy.

Thanks to Thomas Hallgren.
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
ghc/compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)