Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
check free-form Scala source;
authorwenzelm
Mon, 25 May 2020 22:20:21 +0200
changeset 71891 1b023a4498c3
parent 71890 3b35b0fd7fe8
child 71892 dff81ce866d4
check free-form Scala source;
src/Pure/System/scala_compiler.ML file | annotate | diff | comparison | revisions 
--- 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)) #>
isabelle