diff options
| author | simonpj@microsoft.com <unknown> | 2008-08-27 15:19:26 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-08-27 15:19:26 +0000 |
| commit | c0f542271da944d540faf91678c48ff856174b57 (patch) | |
| tree | 09bd2e6b5564e2a70febda649d06d3790bd95251 /compiler/parser/Lexer.x | |
| parent | 3d73e45b0909b9669d4679cbda29fa2b17b98d2e (diff) | |
| download | haskell-c0f542271da944d540faf91678c48ff856174b57.tar.gz | |
Better documentation for -XLiberalTypeSynonyms, and steal forall keyword
In my travels through the front end I discoverd that -XLiberalTypeSynonyms is
rather thinly described. Furthermore, it alleges that you can write a
forall on the RHS of a type synonym decl, so that means it should enable
the forall keyword.
Diffstat (limited to 'compiler/parser/Lexer.x')
| -rw-r--r-- | compiler/parser/Lexer.x | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index f06624e77e..66f4fe5136 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -1665,6 +1665,7 @@ mkPState buf loc flags = .|. qqBit `setBitIf` dopt Opt_QuasiQuotes flags .|. ipBit `setBitIf` dopt Opt_ImplicitParams flags .|. explicitForallBit `setBitIf` dopt Opt_ScopedTypeVariables flags + .|. explicitForallBit `setBitIf` dopt Opt_LiberalTypeSynonyms flags .|. explicitForallBit `setBitIf` dopt Opt_PolymorphicComponents flags .|. explicitForallBit `setBitIf` dopt Opt_ExistentialQuantification flags .|. explicitForallBit `setBitIf` dopt Opt_Rank2Types flags |