Implement -X=GADTs and -X=RelaxedPolyRec
authorsimonpj@microsoft.com <unknown>
Wed, 20 Jun 2007 16:33:59 +0000 (16:33 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 20 Jun 2007 16:33:59 +0000 (16:33 +0000)
commit970d5b88b1554bbdd7e459dae41aab3668ae897a
treef5c192358d370d8c0b48d8f7ee953921b93da78d
parent5e05865dffed03c40b5d15831d26f903d5d73ede
Implement -X=GADTs and -X=RelaxedPolyRec

Two new -X flags, one for GADTs and one for relaxed polymorphic recursion

This also fixes a rather confusing error message that the Darcs folk
tripped over.
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcPat.lhs
compiler/typecheck/TcTyClsDecls.lhs
docs/users_guide/flags.xml
docs/users_guide/glasgow_exts.xml