From: simonpj@microsoft.com <unknown>
Date: Thu, 10 Jan 2008 11:31:33 +0000 (+0000)
Subject: Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=493fd9dfc6a7a60a7f5fdc126e2c4b731fbb4c3c;hp=493fd9dfc6a7a60a7f5fdc126e2c4b731fbb4c3c;p=ghc-hetmet.git

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!)
---