- (* This could be an instruction to call a goal, or it
- * could be a tactic.
- *)
- | Ast.ECall (loc, "file", [filename]) (* XXX define tactics! *) ->
- (* All parameters of tactics must be simple expressions (strings,
- * in future booleans, numbers, etc).
- *)
- let args = [filename] in
- let args = List.map (simplify env) args in
- run_goal_for_tactic loc env "file" args
-
- | Ast.ECall (loc, "file", _) ->
- failwithf "%a: file tactic called with wrong number of parameters"
- Ast.string_loc loc
-