fix(grainfmt): Fix printing of qualified infix operators (#2071)

grain-lang · Mar 16, 2024 · c22932d · c22932d
1 parent 1f8a20d
commit c22932d
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/compiler/src/formatting/fmt.re b/compiler/src/formatting/fmt.re
@@ -875,7 +875,13 @@ let print_ident_string = (fmt, ident) =>
   };
 
 let print_identifier = (fmt, ident) => {
-  fmt.print_ident_string(fmt, Identifier.string_of_ident(ident));
+  switch (ident) {
+  | Identifier.IdentName({txt: ident}) => fmt.print_ident_string(fmt, ident)
+  | IdentExternal(mod_, {txt: ident}) =>
+    fmt.print_identifier(fmt, mod_)
+    ++ string(".")
+    ++ fmt.print_ident_string(fmt, ident)
+  };
 };
 
 let print_punnable_expression = (fmt, ({txt: ident, loc: ident_loc}, expr)) => {

diff --git a/compiler/test/grainfmt/application.expected.gr b/compiler/test/grainfmt/application.expected.gr
@@ -83,3 +83,5 @@ let preExistingObjectsWithRefCountMismatch2 = Map.make():
       Number
     )
   >
+
+Int32.(-)(1l, 2l)
diff --git a/compiler/test/grainfmt/application.input.gr b/compiler/test/grainfmt/application.input.gr
@@ -50,3 +50,5 @@ let preEmatch = Map.make(): (Map.Map<Number, (Number,Number,Number,Number)>)
 let preExistingObjectsch2 = Map.make(): (Map.Map<Number, (Number,Number)>)
 
 let preExistingObjectsWithRefCountMismatch2 = Map.make(): (Map.Map<Number, (Number,Number,Number,Number,Number,Number,Number,Number,Number,Number,Number)>)
+
+Int32.(-)(1l, 2l)