From c0f542271da944d540faf91678c48ff856174b57 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 27 Aug 2008 15:19:26 +0000 Subject: 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. --- compiler/parser/Lexer.x | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/parser/Lexer.x') 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 -- cgit v1.2.1