equal
deleted
inserted
replaced
53 (** SML serializer **) |
53 (** SML serializer **) |
54 |
54 |
55 fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve = |
55 fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve = |
56 let |
56 let |
57 val deresolve_const = deresolve o Constant; |
57 val deresolve_const = deresolve o Constant; |
58 val deresolve_tyco = deresolve o Type_Constructor; |
|
59 val deresolve_class = deresolve o Type_Class; |
58 val deresolve_class = deresolve o Type_Class; |
60 val deresolve_classrel = deresolve o Class_Relation; |
59 val deresolve_classrel = deresolve o Class_Relation; |
61 val deresolve_inst = deresolve o Class_Instance; |
60 val deresolve_inst = deresolve o Class_Instance; |
62 fun print_tyco_expr (sym, []) = (str o deresolve) sym |
61 fun print_tyco_expr (sym, []) = (str o deresolve) sym |
63 | print_tyco_expr (sym, [ty]) = |
62 | print_tyco_expr (sym, [ty]) = |
359 (** OCaml serializer **) |
358 (** OCaml serializer **) |
360 |
359 |
361 fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve = |
360 fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve = |
362 let |
361 let |
363 val deresolve_const = deresolve o Constant; |
362 val deresolve_const = deresolve o Constant; |
364 val deresolve_tyco = deresolve o Type_Constructor; |
|
365 val deresolve_class = deresolve o Type_Class; |
363 val deresolve_class = deresolve o Type_Class; |
366 val deresolve_classrel = deresolve o Class_Relation; |
364 val deresolve_classrel = deresolve o Class_Relation; |
367 val deresolve_inst = deresolve o Class_Instance; |
365 val deresolve_inst = deresolve o Class_Instance; |
368 fun print_tyco_expr (sym, []) = (str o deresolve) sym |
366 fun print_tyco_expr (sym, []) = (str o deresolve) sym |
369 | print_tyco_expr (sym, [ty]) = |
367 | print_tyco_expr (sym, [ty]) = |