src/Tools/Code/code_scala.ML
changeset 39024 30d5dd2f30b6
parent 39023 3f70c03e8282
child 39030 2bb34f36db80
     1.1 --- a/src/Tools/Code/code_scala.ML	Wed Sep 01 17:14:42 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Wed Sep 01 17:21:50 2010 +0200
     1.3 @@ -317,10 +317,10 @@
     1.4          val implicits = filter (is_classinst o Graph.get_node program)
     1.5            (Graph.imm_succs program name);
     1.6        in union (op =) implicits end;
     1.7 -    fun modify_stmt (Code_Thingol.Datatypecons _) = NONE
     1.8 -      | modify_stmt (Code_Thingol.Classrel _) = NONE
     1.9 -      | modify_stmt (Code_Thingol.Classparam _) = NONE
    1.10 -      | modify_stmt stmt = SOME stmt;
    1.11 +    fun modify_stmt (_, Code_Thingol.Datatypecons _) = NONE
    1.12 +      | modify_stmt (_, Code_Thingol.Classrel _) = NONE
    1.13 +      | modify_stmt (_, Code_Thingol.Classparam _) = NONE
    1.14 +      | modify_stmt (_, stmt) = SOME stmt;
    1.15    in
    1.16      Code_Namespace.hierarchical_program labelled_name { module_alias = module_alias, reserved = reserved,
    1.17        empty_nsp = ((reserved, reserved), reserved), namify_module = namify_module, namify_stmt = namify_stmt,