diff options
| author | Escherichia | 2024-04-03 17:52:10 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-03 17:52:10 +0200 |
| commit | 78cc58e3076ffd61add6d78b64371b6eb36d6ab2 (patch) | |
| tree | 5028b81de17c7d700ee64381e5b80fbf7e54c415 /compiler/PrintPure.ml | |
| parent | a2a219145587deb0ade9fa7d60171765cd722162 (diff) | |
resolved requested changes
Diffstat (limited to '')
| -rw-r--r-- | compiler/PrintPure.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml index 12d554f2..97ea6048 100644 --- a/compiler/PrintPure.ml +++ b/compiler/PrintPure.ml @@ -616,9 +616,7 @@ let rec texpression_to_string ?(metadata : Meta.meta option = None) let e = meta_s ^ "\n" ^ indent ^ e in if inside then "(" ^ e ^ ")" else e | MPlace _ -> "(" ^ meta_s ^ " " ^ e ^ ")") - | EError (meta, msg) -> - if Option.is_none meta then msg - else meta_to_string (Option.get meta) ^ " " ^ msg (* TODO formatting *) + | EError (_, _) -> "@Error" and app_to_string ?(meta : Meta.meta option = None) (env : fmt_env) (inside : bool) (indent : string) (indent_incr : string) (app : texpression) |