Activation phase in a __R pragma must be in square brackets.
activation :: { Activation }
activation : {- empty -} { AlwaysActive }
activation :: { Activation }
activation : {- empty -} { AlwaysActive }
- | INTEGER { ActiveAfter (fromInteger $1) }
+ | '[' INTEGER ']' { ActiveAfter (fromInteger $2) }
rule_forall :: { [UfBinder RdrName] }
rule_forall : '__forall' '{' core_bndrs '}' { $3 }
rule_forall :: { [UfBinder RdrName] }
rule_forall : '__forall' '{' core_bndrs '}' { $3 }