Update F* parser

mtzguido · mtzguido · commit 858e76c13dc9 · 2025-08-15T14:00:01.000-07:00
Just a simple range fix
diff --git a/src/ml/FStarC_Parser_Parse.mly b/src/ml/FStarC_Parser_Parse.mly
@@ -419,8 +419,8 @@ rawDecl:
       {
         let r = rr $loc in
         let lbs = focusLetBindings lbs r in
-        if q <> Rec && List.length lbs <> 1
-        then raise_error_text r Fatal_MultipleLetBinding "Unexpected multiple let-binding (Did you forget some rec qualifier ?)";
+        if q <> Rec && FStarC_List.length lbs > Prims.parse_int "1"
+        then raise_error_text (fst (nth lbs (Prims.parse_int "1"))).prange Fatal_MultipleLetBinding "Unexpected multiple let-binding (Did you forget some rec qualifier ?)";
         TopLevelLet(q, lbs)
       }
   | VAL c=constant

Original file line number	Diff line number	Diff line change
`@@ -419,8 +419,8 @@ rawDecl:`
`419`	`419`	`{`
`420`	`420`	`let r = rr $loc in`
`421`	`421`	`let lbs = focusLetBindings lbs r in`
`422`		`- if q <> Rec && List.length lbs <> 1`
`423`		`- then raise_error_text r Fatal_MultipleLetBinding "Unexpected multiple let-binding (Did you forget some rec qualifier ?)";`
	`422`	`+ if q <> Rec && FStarC_List.length lbs > Prims.parse_int "1"`
	`423`	`+ then raise_error_text (fst (nth lbs (Prims.parse_int "1"))).prange Fatal_MultipleLetBinding "Unexpected multiple let-binding (Did you forget some rec qualifier ?)";`
`424`	`424`	`TopLevelLet(q, lbs)`
`425`	`425`	`}`
`426`	`426`	`\| VAL c=constant`