--- a/src/Pure/Tools/rail.ML Sun Feb 16 21:33:28 2014 +0100
+++ b/src/Pure/Tools/rail.ML Mon Feb 17 11:14:26 2014 +0100
@@ -13,7 +13,7 @@
(* datatype token *)
datatype kind =
- Keyword | Ident | String | Antiq of Symbol_Pos.T list * Position.range | EOF;
+ Keyword | Ident | String | Antiq of Antiquote.antiq | EOF;
datatype token = Token of Position.range * (kind * string);
@@ -132,7 +132,7 @@
Newline of int |
Nonterminal of string |
Terminal of bool * string |
- Antiquote of bool * (Symbol_Pos.T list * Position.range);
+ Antiquote of bool * Antiquote.antiq;
fun reverse_cat (Cat (y, rails)) = Cat (y, rev (map reverse rails))
and reverse (Bar cats) = Bar (map reverse_cat cats)