author | wenzelm |
Thu, 07 Aug 2008 23:32:49 +0200 | |
changeset 27787 | 3bff97077d26 |
parent 27786 | 4525c6f5d753 |
child 27788 | 5def98c2646b |
--- a/src/Pure/Isar/outer_parse.ML Thu Aug 07 22:32:03 2008 +0200 +++ b/src/Pure/Isar/outer_parse.ML Thu Aug 07 23:32:49 2008 +0200 @@ -141,7 +141,8 @@ fun position scan = (Scan.ahead not_eof >> T.position_of) -- scan >> Library.swap; -fun inner_syntax token = Scan.ahead token |-- not_eof >> T.source_of; +(*fun inner_syntax token = Scan.ahead token |-- not_eof >> T.source_of; FIXME tmp *) +fun inner_syntax token = token; fun kind k = group (T.str_of_kind k) (Scan.one (T.is_kind k) >> T.val_of);