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.
Make token an eqtype to assist reconstructing input
authoraspinall
Wed, 18 Aug 2004 16:03:15 +0200
changeset 15143 05b5995f214e
parent 15142 7b7109f22224
child 15144 85929e1b307d
Make token an eqtype to assist reconstructing input
src/Pure/Isar/outer_lex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_lex.ML	Wed Aug 18 16:02:11 2004 +0200
+++ b/src/Pure/Isar/outer_lex.ML	Wed Aug 18 16:03:15 2004 +0200
@@ -10,7 +10,7 @@
   datatype token_kind =
     Command | Keyword | Ident | LongIdent | SymIdent | Var | TypeIdent | TypeVar |
     Nat | String | Verbatim | Space | Comment | Sync | Malformed | EOF
-  type token
+  eqtype token
   val str_of_kind: token_kind -> string
   val stopper: token * (token -> bool)
   val not_sync: token -> bool
isabelle