| IDENT "normalize" -> `Normalize
| IDENT "reduce" -> `Reduce
| IDENT "simplify" -> `Simpl
- | IDENT "unfold"; t = OPT term -> `Unfold t
+ | IDENT "unfold"; t = OPT tactic_term -> `Unfold t
| IDENT "whd" -> `Whd ]
];
sequent_pattern_spec: [
[
[ SYMBOL "[" -> GrafiteAst.Branch loc
| SYMBOL "|" -> GrafiteAst.Shift loc
- | i = int; SYMBOL ":" -> GrafiteAst.Pos (loc, i)
+ | i = LIST1 int SEP SYMBOL ","; SYMBOL ":" -> GrafiteAst.Pos (loc, i)
+ | SYMBOL "*"; SYMBOL ":" -> GrafiteAst.Wildcard loc
| SYMBOL "]" -> GrafiteAst.Merge loc
| SYMBOL ";" -> GrafiteAst.Semicolon loc
| SYMBOL "." -> GrafiteAst.Dot loc