--- a/src/Tools/Code/code_scala.ML Wed Sep 01 17:14:42 2010 +0200
+++ b/src/Tools/Code/code_scala.ML Wed Sep 01 17:21:50 2010 +0200
@@ -317,10 +317,10 @@
val implicits = filter (is_classinst o Graph.get_node program)
(Graph.imm_succs program name);
in union (op =) implicits end;
- fun modify_stmt (Code_Thingol.Datatypecons _) = NONE
- | modify_stmt (Code_Thingol.Classrel _) = NONE
- | modify_stmt (Code_Thingol.Classparam _) = NONE
- | modify_stmt stmt = SOME stmt;
+ fun modify_stmt (_, Code_Thingol.Datatypecons _) = NONE
+ | modify_stmt (_, Code_Thingol.Classrel _) = NONE
+ | modify_stmt (_, Code_Thingol.Classparam _) = NONE
+ | modify_stmt (_, stmt) = SOME stmt;
in
Code_Namespace.hierarchical_program labelled_name { module_alias = module_alias, reserved = reserved,
empty_nsp = ((reserved, reserved), reserved), namify_module = namify_module, namify_stmt = namify_stmt,