src/Tools/Code/code_ml.ML
changeset 50625 e3d25e751d05
parent 50113 6c857312c9f5
child 51091 c007c6bf4a35
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Dec 27 16:49:12 2012 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Dec 27 21:01:08 2012 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4  
     1.5  (** SML serializer **)
     1.6  
     1.7 -fun print_sml_stmt tyco_syntax const_syntax reserved is_cons deresolve =
     1.8 +fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
     1.9    let
    1.10      fun print_tyco_expr (tyco, []) = (str o deresolve) tyco
    1.11        | print_tyco_expr (tyco, [ty]) =
    1.12 @@ -110,7 +110,7 @@
    1.13                  else print_app is_pseudo_fun some_thm vars fxy app
    1.14              | NONE => print_case is_pseudo_fun some_thm vars fxy case_expr)
    1.15      and print_app_expr is_pseudo_fun some_thm vars (app as ({ name = c, dicts = dss, dom = dom, ... }, ts)) =
    1.16 -      if is_cons c then
    1.17 +      if is_constr c then
    1.18          let val k = length dom in
    1.19            if k < 2 orelse length ts = k
    1.20            then (str o deresolve) c
    1.21 @@ -355,7 +355,7 @@
    1.22  
    1.23  (** OCaml serializer **)
    1.24  
    1.25 -fun print_ocaml_stmt tyco_syntax const_syntax reserved is_cons deresolve =
    1.26 +fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
    1.27    let
    1.28      fun print_tyco_expr (tyco, []) = (str o deresolve) tyco
    1.29        | print_tyco_expr (tyco, [ty]) =
    1.30 @@ -410,7 +410,7 @@
    1.31                  else print_app is_pseudo_fun some_thm vars fxy app
    1.32              | NONE => print_case is_pseudo_fun some_thm vars fxy case_expr)
    1.33      and print_app_expr is_pseudo_fun some_thm vars (app as ({ name = c, dicts = dss, dom = dom, ... }, ts)) =
    1.34 -      if is_cons c then
    1.35 +      if is_constr c then
    1.36          let val k = length dom in
    1.37            if length ts = k
    1.38            then (str o deresolve) c
    1.39 @@ -794,7 +794,7 @@
    1.40      (* print statements *)
    1.41      fun print_stmt prefix_fragments (_, stmt) = print_ml_stmt
    1.42        tyco_syntax const_syntax (make_vars reserved_syms)
    1.43 -      (Code_Thingol.is_cons program) (deresolver prefix_fragments) stmt
    1.44 +      (Code_Thingol.is_constr program) (deresolver prefix_fragments) stmt
    1.45        |> apfst SOME;
    1.46  
    1.47      (* print modules *)