From 6517f499c5b7a7b9dd217e5394a159ba9df5dd8c Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 10 Jul 2007 20:21:09 +0000 Subject: [PATCH] Rank 2 and rank n types enable explicit forall syntax --- compiler/parser/Lexer.x | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index f9ffaa3..0a8c410 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -1600,6 +1600,8 @@ mkPState buf loc flags = .|. explicitForallBit `setBitIf` dopt Opt_ScopedTypeVariables flags .|. explicitForallBit `setBitIf` dopt Opt_PolymorphicComponents flags .|. explicitForallBit `setBitIf` dopt Opt_ExistentialQuantification flags + .|. explicitForallBit `setBitIf` dopt Opt_Rank2Types flags + .|. explicitForallBit `setBitIf` dopt Opt_RankNTypes flags .|. bangPatBit `setBitIf` dopt Opt_BangPatterns flags .|. tyFamBit `setBitIf` dopt Opt_TypeFamilies flags .|. haddockBit `setBitIf` dopt Opt_Haddock flags -- 1.7.10.4