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.
scan: prefer command over keyword, allowing lexicons to overlap;
authorwenzelm
Wed, 25 Jun 2008 17:38:38 +0200
changeset 27358 d6679949a869
parent 27357 5b3a087ff292
child 27359 54b5367a827a
scan: prefer command over keyword, allowing lexicons to overlap;
src/Pure/Isar/outer_lex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_lex.ML	Wed Jun 25 17:38:37 2008 +0200
+++ b/src/Pure/Isar/outer_lex.ML	Wed Jun 25 17:38:38 2008 +0200
@@ -312,8 +312,8 @@
         Scan.lift (Scan.one Symbol.is_sync >> sync) ||
         (Scan.max token_leq
           (Scan.max token_leq
-            (counted (Scan.literal lex1) >> token Keyword)
-            (counted (Scan.literal lex2) >> token Command))
+            (counted (Scan.literal lex2) >> token Command)
+            (counted (Scan.literal lex1) >> token Keyword))
           (counted Syntax.scan_longid >> token LongIdent ||
             counted Syntax.scan_id >> token Ident ||
             counted Syntax.scan_var >> token Var ||
isabelle