diff options
Diffstat (limited to 'backend/JsonAST.ml')
-rw-r--r-- | backend/JsonAST.ml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/backend/JsonAST.ml b/backend/JsonAST.ml index 8ab874b1..c79fbde8 100644 --- a/backend/JsonAST.ml +++ b/backend/JsonAST.ml @@ -35,6 +35,11 @@ let pp_section pp sec = pp_jobject_start pp; pp_jmember ~first:true pp "Section Name" pp_jstring name; pp_jmember pp "Init" pp_init init; + pp_jobject_end pp + and pp_complex_int name sz = + pp_jobject_start pp; + pp_jmember ~first:true pp "Section Name" pp_jstring name; + pp_jmember pp "Size" pp_jint sz; pp_jobject_end pp in match sec with @@ -43,8 +48,8 @@ let pp_section pp sec = | Section_small_data init -> pp_complex "Small Data" init | Section_const init -> pp_complex "Const" init | Section_small_const init -> pp_complex "Small Const" init - | Section_string -> pp_simple "String" - | Section_literal -> pp_simple "Literal" + | Section_string sz -> pp_complex_int "String" sz + | Section_literal sz -> pp_complex_int "Literal" sz | Section_jumptable -> pp_simple "Jumptable" | Section_user (s,w,e) -> pp_jobject_start pp; |