Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_eval.ML
changeset 35360 df2b2168e43a
parent 35299 4f4d5bf4ea08
child 36271 2ef9dbddfcb8 
--- a/src/Tools/Code/code_eval.ML	Thu Feb 25 22:05:34 2010 +0100
+++ b/src/Tools/Code/code_eval.ML	Thu Feb 25 22:06:43 2010 +0100
@@ -144,7 +144,7 @@
 
 val _ = ML_Context.add_antiq "code" (fn _ => Args.term >> ml_code_antiq);
 val _ = ML_Context.add_antiq "code_datatype" (fn _ =>
-  (Args.tyname --| Scan.lift (Args.$$$ "=")
+  (Args.type_name true --| Scan.lift (Args.$$$ "=")
     -- (Args.term ::: Scan.repeat (Scan.lift (Args.$$$ "|") |-- Args.term)))
       >> ml_code_datatype_antiq);
isabelle