--- a/src/Tools/Code/code_ml.ML Fri May 25 17:14:14 2012 +0200
+++ b/src/Tools/Code/code_ml.ML Mon May 28 13:38:07 2012 +0200
@@ -36,7 +36,7 @@
ML_Exc of string * (typscheme * int)
| ML_Val of ml_binding
| ML_Funs of ml_binding list * string list
- | ML_Datas of (string * ((vname * sort) list * ((string * vname list) * itype list) list)) list
+ | ML_Datas of (string * (vname list * ((string * vname list) * itype list) list)) list
| ML_Class of string * (vname * ((class * string) list * (string * itype) list));
fun print_product _ [] = NONE
@@ -167,7 +167,7 @@
in
concat (
str definer
- :: print_tyco_expr (tyco, map (ITyVar o fst) vs)
+ :: print_tyco_expr (tyco, map ITyVar vs)
:: str "="
:: separate (str "|") (map print_co cos)
)
@@ -273,7 +273,7 @@
end
| print_stmt (ML_Datas [(tyco, (vs, []))]) =
let
- val ty_p = print_tyco_expr (tyco, map (ITyVar o fst) vs);
+ val ty_p = print_tyco_expr (tyco, map ITyVar vs);
in
pair
[concat [str "type", ty_p]]
@@ -462,7 +462,7 @@
in
concat (
str definer
- :: print_tyco_expr (tyco, map (ITyVar o fst) vs)
+ :: print_tyco_expr (tyco, map ITyVar vs)
:: str "="
:: separate (str "|") (map print_co cos)
)
@@ -613,7 +613,7 @@
end
| print_stmt (ML_Datas [(tyco, (vs, []))]) =
let
- val ty_p = print_tyco_expr (tyco, map (ITyVar o fst) vs);
+ val ty_p = print_tyco_expr (tyco, map ITyVar vs);
in
pair
[concat [str "type", ty_p]]