src/Pure/General/comment.ML
changeset 67426 6311cf9dc943
parent 67425 7d4a088dbc0e
child 67429 95877cc6630e
     1.1 --- a/src/Pure/General/comment.ML	Sun Jan 14 14:11:02 2018 +0100
     1.2 +++ b/src/Pure/General/comment.ML	Sun Jan 14 15:06:27 2018 +0100
     1.3 @@ -7,9 +7,9 @@
     1.4  signature COMMENT =
     1.5  sig
     1.6    datatype kind = Comment | Cancel
     1.7 -  val scan_comment: Symbol_Pos.T list -> (kind * Symbol_Pos.T list) * Symbol_Pos.T list
     1.8 -  val scan_cancel: Symbol_Pos.T list -> (kind * Symbol_Pos.T list) * Symbol_Pos.T list
     1.9 -  val scan: Symbol_Pos.T list -> (kind * Symbol_Pos.T list) * Symbol_Pos.T list
    1.10 +  val scan_comment: (kind * Symbol_Pos.T list) scanner
    1.11 +  val scan_cancel: (kind * Symbol_Pos.T list) scanner
    1.12 +  val scan: (kind * Symbol_Pos.T list) scanner
    1.13    val read_body: Symbol_Pos.T list -> (kind option * Symbol_Pos.T list) list option
    1.14  end;
    1.15