program is separate argument to serializer
authorhaftmann
Tue Dec 21 08:40:39 2010 +0100 (2010-12-21)
changeset 4134371f4f15258a5
parent 41342 3519e0dd8f75
child 41344 d990badc97a3
program is separate argument to serializer
src/Tools/Code/code_haskell.ML
src/Tools/Code/code_ml.ML
src/Tools/Code/code_runtime.ML
src/Tools/Code/code_scala.ML
     1.1 --- a/src/Tools/Code/code_haskell.ML	Tue Dec 21 07:45:04 2010 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Tue Dec 21 08:40:39 2010 +0100
     1.3 @@ -296,7 +296,7 @@
     1.4    end;
     1.5  
     1.6  fun serialize_haskell module_prefix string_classes { labelled_name, reserved_syms,
     1.7 -    includes, module_alias, class_syntax, tyco_syntax, const_syntax, program } =
     1.8 +    includes, module_alias, class_syntax, tyco_syntax, const_syntax } program =
     1.9    let
    1.10  
    1.11      (* build program *)
     2.1 --- a/src/Tools/Code/code_ml.ML	Tue Dec 21 07:45:04 2010 +0100
     2.2 +++ b/src/Tools/Code/code_ml.ML	Tue Dec 21 08:40:39 2010 +0100
     2.3 @@ -789,7 +789,7 @@
     2.4  
     2.5  fun serialize_ml target print_ml_module print_ml_stmt with_signatures
     2.6      { labelled_name, reserved_syms, includes, module_alias,
     2.7 -      class_syntax, tyco_syntax, const_syntax, program } =
     2.8 +      class_syntax, tyco_syntax, const_syntax } program =
     2.9    let
    2.10  
    2.11      (* build program *)
     3.1 --- a/src/Tools/Code/code_runtime.ML	Tue Dec 21 07:45:04 2010 +0100
     3.2 +++ b/src/Tools/Code/code_runtime.ML	Tue Dec 21 08:40:39 2010 +0100
     3.3 @@ -95,7 +95,7 @@
     3.4      val _ = if Code_Thingol.contains_dict_var t then
     3.5        error "Term to be evaluated contains free dictionaries" else ();
     3.6      val v' = Name.variant (map fst vs) "a";
     3.7 -    val vs' = (v', []) :: vs
     3.8 +    val vs' = (v', []) :: vs;
     3.9      val ty' = Code_Thingol.fun_tyco `%% [ITyVar v', ty];
    3.10      val value_name = "Value.value.value"
    3.11      val program' = program
     4.1 --- a/src/Tools/Code/code_scala.ML	Tue Dec 21 07:45:04 2010 +0100
     4.2 +++ b/src/Tools/Code/code_scala.ML	Tue Dec 21 08:40:39 2010 +0100
     4.3 @@ -329,7 +329,7 @@
     4.4    end;
     4.5  
     4.6  fun serialize_scala { labelled_name, reserved_syms, includes,
     4.7 -    module_alias, class_syntax, tyco_syntax, const_syntax, program } =
     4.8 +    module_alias, class_syntax, tyco_syntax, const_syntax } program =
     4.9    let
    4.10  
    4.11      (* build program *)