src/Tools/Code/code_scala.ML
changeset 37821 3cbb22cec751
parent 37819 000049335247
child 37822 cf3588177676
     1.1 --- a/src/Tools/Code/code_scala.ML	Wed Jul 14 14:53:44 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Wed Jul 14 14:53:44 2010 +0200
     1.3 @@ -424,12 +424,13 @@
     1.4  
     1.5  (** Isar setup **)
     1.6  
     1.7 -fun isar_seri_scala module_name =
     1.8 +fun isar_serializer module_name =
     1.9    Code_Target.parse_args (Scan.succeed ())
    1.10    #> (fn () => serialize_scala module_name);
    1.11  
    1.12  val setup =
    1.13 -  Code_Target.add_target (target, (isar_seri_scala, literals))
    1.14 +  Code_Target.add_target
    1.15 +    (target, { serializer = isar_serializer, literals = literals, check = () })
    1.16    #> Code_Target.add_syntax_tyco target "fun"
    1.17       (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.18          brackify_infix (1, R) fxy (