add quotes

This commit is contained in:
Mylloon 2022-12-11 03:40:17 +01:00
parent c79a0f3a33
commit c9b0b9e64f
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -8,7 +8,7 @@ let debug_parser oc parsed =
| Syntax.Void -> "Void" | Syntax.Void -> "Void"
| Syntax.Int d -> "Int " ^ string_of_int d | Syntax.Int d -> "Int " ^ string_of_int d
| Syntax.Bool d -> "Bool " ^ string_of_bool d | Syntax.Bool d -> "Bool " ^ string_of_bool d
| Syntax.Str s -> "Str " ^ s | Syntax.Str s -> "Str \"" ^ s ^ "\""
and fmt_e = function and fmt_e = function
| Syntax.Val d -> "Val (" ^ fmt_v d.value ^ ")" | Syntax.Val d -> "Val (" ^ fmt_v d.value ^ ")"
| Syntax.Var d -> "Var \"" ^ d.name ^ "\"" | Syntax.Var d -> "Var \"" ^ d.name ^ "\""
@ -46,7 +46,7 @@ let debug_semantics oc ast =
| Void -> "Void" | Void -> "Void"
| Int n -> "Int " ^ string_of_int n | Int n -> "Int " ^ string_of_int n
| Bool b -> "Bool " ^ string_of_bool b | Bool b -> "Bool " ^ string_of_bool b
| Str s -> "String " ^ s | Str s -> "Str \"" ^ s ^ "\""
and fmt_e = function and fmt_e = function
| Val v -> "Val (" ^ fmt_v v ^ ")" | Val v -> "Val (" ^ fmt_v v ^ ")"
| Var v -> "Var \"" ^ v ^ "\"" | Var v -> "Var \"" ^ v ^ "\""