# HG changeset patch
# User haftmann
# Date 1282823673 -7200
# Node ID 910cedb62327b17d3eb2edad325841e1dad59f4f
# Parent  89f654951200e5e6a368cb9adaef77dd346e3e32
stub for (later) correct deresolving of class method names

diff -r 89f654951200 -r 910cedb62327 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Thu Aug 26 13:50:58 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu Aug 26 13:54:33 2010 +0200
@@ -25,7 +25,7 @@
 (** Scala serializer **)
 
 fun print_scala_stmt labelled_name syntax_tyco syntax_const reserved
-    args_num is_singleton_constr deresolve =
+    args_num is_singleton_constr (deresolve, deresolve_full) =
   let
     val deresolve_base = Long_Name.base_name o deresolve;
     fun lookup_tyvar tyvars = lookup_var tyvars o first_upper;
@@ -195,7 +195,7 @@
               (map print_clause eqs)
           end;
     val print_method = str o Library.enclose "`" "`" o space_implode "+"
-      o fst o split_last o Long_Name.explode;
+      o Long_Name.explode o deresolve_full;
     fun print_stmt (name, Code_Thingol.Fun (_, (((vs, ty), raw_eqs), _))) =
           print_def name (vs, ty) (filter (snd o snd) raw_eqs)
       | print_stmt (name, Code_Thingol.Datatype (_, (vs, cos))) =
@@ -430,7 +430,8 @@
      of Code_Thingol.Datatypecons (_, tyco) => null (lookup_constr tyco c)
       | _ => false;
     val print_stmt = print_scala_stmt labelled_name syntax_tyco syntax_const
-      (make_vars reserved) args_num is_singleton_constr deresolve;
+      (make_vars reserved) args_num is_singleton_constr
+      (deresolve, Long_Name.implode o fst o split_last o Long_Name.explode (*FIXME full*));
 
     (* print nodes *)
     fun print_implicits [] = NONE