From e568888a284321b929c07e36b22cd88f7202f91c Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Fri, 15 Nov 2024 22:40:08 +0100
Subject: [PATCH] don't use Loc_None in typed_parse_in_context

---
 src/parse/Parse.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/parse/Parse.sml b/src/parse/Parse.sml
index 4b7357d03b..a324f935a8 100644
--- a/src/parse/Parse.sml
+++ b/src/parse/Parse.sml
@@ -483,7 +483,9 @@ fun grammar_typed_parse_in_context gs ty ctxt q =
 
 fun typed_parse_in_context ty ctxt q =
   let
-    fun mkA q = Absyn.TYPED(locn.Loc_None, Absyn q, Pretype.fromType ty)
+    fun mkA q = let
+      val a = Absyn q
+      in Absyn.TYPED(Absyn.locn_of_absyn a, a, Pretype.fromType ty) end
   in
     case seq.cases (TermParse.prim_ctxt_termS mkA (term_grammar()) ctxt q) of
         SOME (tm, _) => tm