projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: beab356) | patch
Make type-tidying work for coercion variables
authorsimonpj@microsoft.com <unknown>
Mon, 2 Apr 2007 07:38:35 +0000 (07:38 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 2 Apr 2007 07:38:35 +0000 (07:38 +0000)
commitf2b02ce821f793bd1ccc23f2bcbef8efc82dd38e
tree8e89d7e4222976a3abef895214a7ebb25bf60d58tree | snapshot
parentbeab356b7fbda6281351d7edd556d2e77a351cbfcommit | diff
Make type-tidying work for coercion variables

When tidying a TyVar binder, we must tidy its kind if it's a coercion
variable!  I had forgotten to do this, which is a serious bug.  As a
result some more complicated programs were getting a Lint error when
reading in interface files.  Score one for Core Lint!
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)