--- a/src/Tools/Code/code_scala.ML Tue Aug 29 13:05:32 2023 +0200
+++ b/src/Tools/Code/code_scala.ML Tue Aug 29 15:23:06 2023 +0200
@@ -70,7 +70,7 @@
| print_tupled_typ tyvars (tys, ty) =
concat [enum "," "(" ")" (map (print_typ tyvars NOBR) tys),
str "=>", print_typ tyvars NOBR ty];
- fun constraint p1 p2 = Pretty.block [p1, str ":", Pretty.brk 1, p2];
+ fun constraint p1 p2 = Pretty.block [p1, str " : ", p2];
fun print_var vars NONE = str "_"
| print_var vars (SOME v) = (str o lookup_var vars) v;
fun applify_dict tyvars (Dict (_, d)) = applify_plain_dict tyvars d