fix(parser): embrace the latest asai

RedPRL · Sep 27, 2023 · 4d2ffb3 · 4d2ffb3
1 parent 070f842
commit 4d2ffb3
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/parser/Locate.ml b/src/parser/Locate.ml
@@ -1,7 +1,6 @@
 open Earley_core
 
 let lexing_position i c =
-  Asai.Span.of_lex_position @@
   Lexing.{
     pos_fname = Input.filename i;
     pos_lnum = Input.line_num i;
@@ -10,12 +9,6 @@ let lexing_position i c =
     (* This should be BYTE-oriented! *)
   }
 
-let locate i1 c1 i2 c2 =
-  Asai.Span.make (lexing_position i1 c1) (lexing_position i2 c2)
-
 let located p =
   p |> Earley.apply_position @@ fun i1 c1 i2 c2 x ->
-  Asai.Span.{
-    value = x;
-    loc = Some (locate i1 c1 i2 c2);
-  }
+  Asai.Span.locate_lex (lexing_position i1 c1, lexing_position i2 c2) x