projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7dbc62) | patch
Fix bad error in tyVarsOfType
authorsimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:03:48 +0000 (17:03 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:03:48 +0000 (17:03 +0000)
commite7d92690ebabf8b5f308e528db9e296ff24ec0bb
tree5f19d6b4ce82cd03cbc6ecea5b98baf38338e152tree | snapshot
parentf7dbc6239288ccd607ed933d6e8f24abffce60bfcommit | diff
Fix bad error in tyVarsOfType

We weren't gathering the type variables free in the kind
of a coercion binder!
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)