Commit 779f10fd authored by afarmer's avatar afarmer Committed by ian@well-typed.com
Browse files

Extend parser to allow specification of RULES that never fire. #7162

parent e9f38cb9
...@@ -882,6 +882,7 @@ activation :: { Maybe Activation } ...@@ -882,6 +882,7 @@ activation :: { Maybe Activation }
explicit_activation :: { Activation } -- In brackets explicit_activation :: { Activation } -- In brackets
: '[' INTEGER ']' { ActiveAfter (fromInteger (getINTEGER $2)) } : '[' INTEGER ']' { ActiveAfter (fromInteger (getINTEGER $2)) }
| '[' '~' INTEGER ']' { ActiveBefore (fromInteger (getINTEGER $3)) } | '[' '~' INTEGER ']' { ActiveBefore (fromInteger (getINTEGER $3)) }
| '[' '~' ']' { NeverActive }
rule_forall :: { [RuleBndr RdrName] } rule_forall :: { [RuleBndr RdrName] }
: 'forall' rule_var_list '.' { $2 } : 'forall' rule_var_list '.' { $2 }
......
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