Hotfix Al printer for InvCallE

Wasm-DSL · Jul 19, 2024 · d606b95 · d606b95
1 parent 6deaf57
commit d606b95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spectec/src/al/print.ml b/spectec/src/al/print.ml
@@ -145,7 +145,7 @@ and string_of_expr expr =
   | CallE (id, el) -> sprintf "$%s(%s)" id (string_of_exprs ", " el)
   | InvCallE (id, nl, el) ->
     let id' =
-      if List.length nl = 0 then id
+      if List.for_all Option.is_some nl then id
       else
         nl
         |> List.filter_map (fun x -> x)