src/Pure/Tools/rail.ML
changeset 55526 39708e59f4b0
parent 55112 b1a5d603fd12
child 55613 ad446b45efff
     1.1 --- a/src/Pure/Tools/rail.ML	Sun Feb 16 21:33:28 2014 +0100
     1.2 +++ b/src/Pure/Tools/rail.ML	Mon Feb 17 11:14:26 2014 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  (* datatype token *)
     1.5  
     1.6  datatype kind =
     1.7 -  Keyword | Ident | String | Antiq of Symbol_Pos.T list * Position.range | EOF;
     1.8 +  Keyword | Ident | String | Antiq of Antiquote.antiq | EOF;
     1.9  
    1.10  datatype token = Token of Position.range * (kind * string);
    1.11  
    1.12 @@ -132,7 +132,7 @@
    1.13    Newline of int |
    1.14    Nonterminal of string |
    1.15    Terminal of bool * string |
    1.16 -  Antiquote of bool * (Symbol_Pos.T list * Position.range);
    1.17 +  Antiquote of bool * Antiquote.antiq;
    1.18  
    1.19  fun reverse_cat (Cat (y, rails)) = Cat (y, rev (map reverse rails))
    1.20  and reverse (Bar cats) = Bar (map reverse_cat cats)