From 3cb42c36d549fa3e1861240f996c5813e41c6a70 Mon Sep 17 00:00:00 2001 From: chak Date: Mon, 5 Nov 2001 14:08:28 +0000 Subject: [PATCH] [project @ 2001-11-05 14:08:28 by chak] Activation phase in a __R pragma must be in square brackets. --- ghc/compiler/rename/ParseIface.y | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/rename/ParseIface.y b/ghc/compiler/rename/ParseIface.y index 629afee..976d3b0 100644 --- a/ghc/compiler/rename/ParseIface.y +++ b/ghc/compiler/rename/ParseIface.y @@ -427,7 +427,7 @@ rule : src_loc STRING activation rule_forall qvar_name activation :: { Activation } activation : {- empty -} { AlwaysActive } - | INTEGER { ActiveAfter (fromInteger $1) } + | '[' INTEGER ']' { ActiveAfter (fromInteger $2) } rule_forall :: { [UfBinder RdrName] } rule_forall : '__forall' '{' core_bndrs '}' { $3 } -- 1.7.10.4