Commit 7a0a186f authored by POTTIER Francois's avatar POTTIER Francois

A use of [Positions.unknown_pos].

parent 283a6e7a
......@@ -74,7 +74,7 @@ let rules =
and return its name. *)
let var (symbol : symbol) : parameter =
ParameterVar (Positions.with_pos Positions.dummy symbol)
ParameterVar (Positions.unknown_pos symbol)
let anonymous pos (parameters : symbol list) (branches : parameterized_branch list) : parameter =
(* Compute the free symbols of [branches]. They should form a subset
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