diff options
| author | simonpj@microsoft.com <unknown> | 2008-12-31 15:25:17 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-12-31 15:25:17 +0000 |
| commit | 2d9c6a02b4bc2c2561d627eac4029ad8aa03c751 (patch) | |
| tree | 332630df5c74e83e789451bfae577b4705ecc0c3 /docs/ext-core | |
| parent | 79a6f3fa318020567566f92740ba6b9eb542f73f (diff) | |
| download | haskell-2d9c6a02b4bc2c2561d627eac4029ad8aa03c751.tar.gz | |
-XImpredicativeTypes implies -XRankNTypes, and improve error msg in TcMType
If you are going for impredicative types you almost certainly want RankN
too. The change to TcMType improves the error when you say
T (forall a. blah)
where T is a type synonym. This doesn't necessarily need impredicativity,
if you have LiberalTypeSynonyms.
Diffstat (limited to 'docs/ext-core')
0 files changed, 0 insertions, 0 deletions