fix(compiler): Correct location of parmatch mismatch type error (#2259)

spotandjake · web-flow · commit eb85692c0a9f · 2025-04-02T10:03:04.000Z
diff --git a/compiler/src/typed/typepat.re b/compiler/src/typed/typepat.re
@@ -45,13 +45,13 @@ type error =
   | UnrefutedPattern(pattern)
   | InlineRecordPatternMisuse(Identifier.t, string, string);
 
-let ident_empty = {
+let ident_empty = loc => {
   txt: Identifier.IdentName(Location.mknoloc("[]")),
-  loc: Location.dummy_loc,
+  loc,
 };
-let ident_cons = {
+let ident_cons = loc => {
   txt: Identifier.IdentName(Location.mknoloc("[...]")),
-  loc: Location.dummy_loc,
+  loc,
 };
 
 exception Error(Location.t, Env.t, error);
@@ -687,22 +687,22 @@ and type_pat_aux =
   | PPatList(spl) =>
     let convert_list = (~loc, a) => {
       open Ast_helper;
-      let empty = Pattern.tuple_construct(~loc, ident_empty, []);
+      let empty = Pattern.tuple_construct(~loc, ident_empty(loc), []);
       let a = List.rev(a);
       switch (a) {
       | [] => empty
       | [base, ...rest] =>
         let base =
           switch (base) {
           | ListItem(pat) =>
-            Pattern.tuple_construct(~loc, ident_cons, [pat, empty])
+            Pattern.tuple_construct(~loc, ident_cons(loc), [pat, empty])
           | ListSpread(pat, _) => pat
           };
         List.fold_left(
           (acc, pat) => {
             switch (pat) {
             | ListItem(pat) =>
-              Pattern.tuple_construct(~loc, ident_cons, [pat, acc])
+              Pattern.tuple_construct(~loc, ident_cons(loc), [pat, acc])
             | ListSpread(_, loc) =>
               raise(
                 SyntaxError(
