src/Pure/Isar/token.ML
changeset 55745 b865c3035d5c
parent 55744 4a4e5686e091
child 55750 baa7a1e57f4a
     1.1 --- a/src/Pure/Isar/token.ML	Tue Feb 25 17:03:55 2014 +0100
     1.2 +++ b/src/Pure/Isar/token.ML	Tue Feb 25 17:23:20 2014 +0100
     1.3 @@ -44,6 +44,7 @@
     1.4    val content_of: T -> string
     1.5    val markup: T -> Markup.T * string
     1.6    val unparse: T -> string
     1.7 +  val print: T -> string
     1.8    val text_of: T -> string * string
     1.9    val get_files: T -> file Exn.result list
    1.10    val put_files: file Exn.result list -> T -> T
    1.11 @@ -263,6 +264,8 @@
    1.12    | EOF => ""
    1.13    | _ => x);
    1.14  
    1.15 +fun print tok = Markup.markup (#1 (markup tok)) (unparse tok);
    1.16 +
    1.17  fun text_of tok =
    1.18    if is_semicolon tok then ("terminator", "")
    1.19    else