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.
fixed arity;
authorwenzelm
Wed, 25 Aug 1999 20:39:18 +0200
changeset 7352 d98001b492b3
parent 7351 1e485129fbc1
child 7353 b5a5abea1559
fixed arity;
src/Pure/Isar/outer_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_parse.ML	Wed Aug 25 20:38:56 1999 +0200
+++ b/src/Pure/Isar/outer_parse.ML	Wed Aug 25 20:39:18 1999 +0200
@@ -173,7 +173,7 @@
   xname >> single || $$$ "{" |-- !!! (list xname --| $$$ "}");
 
 fun gen_arity cod =
-  Scan.optional ($$$ "(" |-- !!! (Scan.repeat1 sort --| $$$ ")")) [] -- cod;
+  Scan.optional ($$$ "(" |-- !!! (list1 sort --| $$$ ")")) [] -- cod;
 
 val arity = gen_arity sort;
 val simple_arity = gen_arity name;
isabelle