projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46379cb) | patch
Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
authorsimonpj@microsoft.com <unknown>
Thu, 10 Jan 2008 11:31:33 +0000 (11:31 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 10 Jan 2008 11:31:33 +0000 (11:31 +0000)
commit493fd9dfc6a7a60a7f5fdc126e2c4b731fbb4c3c
tree9411d4937ea2cd558c999de7d1d66f25033d3d04tree | snapshot
parent46379cbbbbcf9ad40fe81e0b29b8d12c8d765baacommit | diff
Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec

The type checker doesn't support lexically scoped type variables
unless we are using the RelaxedPolyRec option.  Reasons: see
Note [Scoped tyvars] in TcBinds.

So I've changed DynFlags to add this implication, improved the
documentation, and simplified the code in TcBinds somewhat.
(It's longer but only because of comments!)
compiler/main/DynFlags.hs diff | blob | history
compiler/typecheck/TcBinds.lhs diff | blob | history
docs/users_guide/glasgow_exts.xml diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)