projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b64c0fe) | patch
Preserve type variable names during type inference
authorsimonpj@microsoft.com <unknown>
Fri, 5 May 2006 15:37:53 +0000 (15:37 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 5 May 2006 15:37:53 +0000 (15:37 +0000)
commita9da016ad847161f8209ba116079c059c7d3406a
tree657c880754a350d3b05f3f16a4731961da72d7fatree | snapshot
parentb64c0fec513d83ea523af1c87c70eaedc0e26f9bcommit | diff
Preserve type variable names during type inference

During unification we attempt to preserve the print-names of type variables,
so that type error messages tend to mention type variables using the
programmer's vocabulary.

This had bit-rotted a bit when I added impredicative polymorphism; especially
when unBoxing a boxy type variable we should not gratuitously lose its name.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)