Commit 3cb42c36 authored by chak's avatar chak
Browse files

[project @ 2001-11-05 14:08:28 by chak]

Activation phase in a __R pragma must be in square brackets.
parent 70d0bbbc
......@@ -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 }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment