Commit 97964f71 authored by POTTIER Francois's avatar POTTIER Francois

Cleanup.

parent 9810af7e
......@@ -201,14 +201,15 @@ let destructuretokendef name codomain bindsemv branch = {
accessing the [pos_cnum] field. *)
let extrabindings action =
Keyword.KeywordSet.fold (fun keyword bindings ->
let open Keyword in
KeywordSet.fold (fun keyword bindings ->
match keyword with
| Keyword.Position (_, _, Keyword.FlavorPosition)
| Keyword.SyntaxError ->
| Position (_, _, FlavorPosition)
| SyntaxError ->
bindings
| Keyword.Position (s, w, (Keyword.FlavorOffset as f)) ->
(PVar (Keyword.posvar s w f),
ERecordAccess (EVar (Keyword.posvar s w Keyword.FlavorPosition), "Lexing.pos_cnum")) :: bindings
| Position (s, w, (FlavorOffset as f)) ->
(PVar (posvar s w f),
ERecordAccess (EVar (posvar s w FlavorPosition), "Lexing.pos_cnum")) :: bindings
) (Action.keywords action) []
(* ------------------------------------------------------------------------ *)
......
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