src/Tools/Code/code_scala.ML
changeset 39023 3f70c03e8282
parent 39022 ac7774a35bcf
child 39024 30d5dd2f30b6
     1.1 --- a/src/Tools/Code/code_scala.ML	Wed Sep 01 16:08:31 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Wed Sep 01 17:14:42 2010 +0200
     1.3 @@ -193,8 +193,7 @@
     1.4                  str "match", str "{"], str "}")
     1.5                (map print_clause eqs)
     1.6            end;
     1.7 -    val print_method = str o Library.enclose "`" "`" o space_implode "+"
     1.8 -      o Long_Name.explode o deresolve_full;
     1.9 +    val print_method = str o Library.enclose "`" "`" o deresolve_full;
    1.10      fun print_stmt (name, Code_Thingol.Fun (_, (((vs, ty), raw_eqs), _))) =
    1.11            print_def name (vs, ty) (filter (snd o snd) raw_eqs)
    1.12        | print_stmt (name, Code_Thingol.Datatype (_, (vs, cos))) =
    1.13 @@ -325,7 +324,7 @@
    1.14    in
    1.15      Code_Namespace.hierarchical_program labelled_name { module_alias = module_alias, reserved = reserved,
    1.16        empty_nsp = ((reserved, reserved), reserved), namify_module = namify_module, namify_stmt = namify_stmt,
    1.17 -      cyclic_modules = true, empty_data = [], memorize_data = memorize_implicits, modify_stmt = modify_stmt } program
    1.18 +      cyclic_modules = true, empty_data = [], memorize_data = memorize_implicits, modify_stmts = map modify_stmt } program
    1.19    end;
    1.20  
    1.21  fun serialize_scala { labelled_name, reserved_syms, includes,
    1.22 @@ -368,7 +367,7 @@
    1.23        let
    1.24          val s = deresolver prefix_fragments implicit;
    1.25        in if length (Long_Name.explode s) = 1 then NONE else SOME (str s) end;
    1.26 -    fun print_node _ (_, Dummy) = NONE
    1.27 +    fun print_node _ (_, Code_Namespace.Dummy) = NONE
    1.28        | print_node prefix_fragments (name, Code_Namespace.Stmt stmt) =
    1.29            if null presentation_names
    1.30            orelse member (op =) presentation_names name