equal
deleted
inserted
replaced
87 override def is_space = true |
87 override def is_space = true |
88 } |
88 } |
89 |
89 |
90 case class Comment(val source: String) extends Token |
90 case class Comment(val source: String) extends Token |
91 { |
91 { |
|
92 override def content = Scan.Lexicon.empty.comment_content(source) |
92 override def is_delimited = true |
93 override def is_delimited = true |
93 override def is_comment = true |
94 override def is_comment = true |
94 } |
95 } |
95 |
96 |
96 case class Bad_Input(val source: String) extends Token |
97 case class Bad_Input(val source: String) extends Token |