# HG changeset patch
# User wenzelm
# Date 1590438021 -7200
# Node ID 1b023a4498c3b31e6fdbd53059a0581449d6e739
# Parent  3b35b0fd7fe844109c09cb99151f74472f57b57b
check free-form Scala source;

diff -r 3b35b0fd7fe8 -r 1b023a4498c3 src/Pure/System/scala_compiler.ML
--- a/src/Pure/System/scala_compiler.ML	Mon May 25 20:52:55 2020 +0200
+++ b/src/Pure/System/scala_compiler.ML	Mon May 25 22:20:21 2020 +0200
@@ -57,7 +57,10 @@
 
 val _ =
   Theory.setup
-    (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>scala_type\<close>
+    (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>scala\<close>
+      (Scan.lift Parse.embedded) (fn _ => tap static_check) #>
+
+    Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>scala_type\<close>
       (Scan.lift (Parse.embedded -- (types >> print_types)))
       (fn _ => fn (t, type_args) =>
         (static_check ("type _Test_" ^ type_args ^ " = " ^ t ^ type_args); t ^ type_args)) #>