diff options
| author | Son Ho | 2021-11-29 21:53:35 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-29 21:53:35 +0100 |
| commit | a0f2e43a9bcdf3dbe129896e5d1073815eb13555 (patch) | |
| tree | 59031ad655131276eacfc37bdff1336404281c2f /src | |
| parent | 919f76f09756f7da532c1226267ece1af0532763 (diff) | |
Debug pretty-printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/Print.ml | 11 | ||||
| -rw-r--r-- | src/main.ml | 2 |
2 files changed, 7 insertions, 6 deletions
diff --git a/src/Print.ml b/src/Print.ml index 218b59ba..2e2c96e4 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -140,7 +140,7 @@ module Types = struct (List.map (fun f -> "\n " ^ field_to_string fmt f) fields) in "struct " ^ name ^ params ^ "{" ^ fields ^ "}" - else "struct" ^ name ^ params ^ "{}" + else "struct " ^ name ^ params ^ "{}" | T.Enum variants -> let variants = T.VariantId.vector_to_list variants in let variants = @@ -785,7 +785,7 @@ module CfimAst = struct | [] -> failwith "Inconsistent signature" | ret_var :: inputs -> (ret_var, inputs) in - let inputs, aux_locals = Utilities.list_split_at inputs def.arg_count in + let inputs, _aux_locals = Utilities.list_split_at inputs def.arg_count in let args = List.combine inputs (V.VarId.vector_to_list sg.inputs) in let args = List.map @@ -795,7 +795,7 @@ module CfimAst = struct let args = String.concat ", " args in (* Return type *) - let ret_ty = V.VarId.nth sg.inputs V.VarId.zero in + let ret_ty = sg.output in let ret_ty = if T.ty_is_unit ret_ty then "" else " -> " ^ rty_to_string ret_ty in @@ -804,8 +804,9 @@ module CfimAst = struct let locals = List.map (fun var -> - indent ^ PV.var_to_string var ^ " : " ^ ety_to_string var.var_ty ^ ";") - (ret_var :: aux_locals) + indent ^ indent_incr ^ PV.var_to_string var ^ " : " + ^ ety_to_string var.var_ty ^ ";") + (V.VarId.vector_to_list def.locals) in let locals = String.concat "\n" locals in diff --git a/src/main.ml b/src/main.ml index d2779657..183df8f5 100644 --- a/src/main.ml +++ b/src/main.ml @@ -14,4 +14,4 @@ let () = | Error s -> log#error "error: %s\n" s | Ok m -> (* Print the module *) - log#ldebug (lazy (Print.Module.module_to_string m)) + log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m)) |