datatype classes are abstract
authorhaftmann
Tue Jul 20 08:54:21 2010 +0200 (2010-07-20)
changeset 378930dbbc4c5a67e
parent 37892 3d8857f42a64
child 37894 b22db9ecf416
datatype classes are abstract
src/Tools/Code/code_scala.ML
     1.1 --- a/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Tue Jul 20 08:54:21 2010 +0200
     1.3 @@ -214,7 +214,7 @@
     1.4                    ];
     1.5            in
     1.6              Pretty.chunks (applify "[" "]" (str o prefix "+" o lookup_tyvar tyvars o fst)
     1.7 -              NOBR ((concat o map str) ["sealed", "class", deresolve_base name]) vs
     1.8 +              NOBR ((concat o map str) ["abstract", "sealed", "class", deresolve_base name]) vs
     1.9                  :: map print_co cos)
    1.10            end
    1.11        | print_stmt (name, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =