equal
deleted
inserted
replaced
81 } |
81 } |
82 } |
82 } |
83 |
83 |
84 object Reported |
84 object Reported |
85 { |
85 { |
86 def unapply(pos: T): Option[(Long, Command.Chunk.Name, Symbol.Range)] = |
86 def unapply(pos: T): Option[(Long, Text.Chunk.Name, Symbol.Range)] = |
87 (pos, pos) match { |
87 (pos, pos) match { |
88 case (Id(id), Range(range)) => |
88 case (Id(id), Range(range)) => |
89 val chunk_name = |
89 val chunk_name = |
90 pos match { |
90 pos match { |
91 case File(name) => Command.Chunk.File_Name(name) |
91 case File(name) => Text.Chunk.File_Name(name) |
92 case _ => Command.Chunk.Self |
92 case _ => Text.Chunk.Default |
93 } |
93 } |
94 Some((id, chunk_name, range)) |
94 Some((id, chunk_name, range)) |
95 case _ => None |
95 case _ => None |
96 } |
96 } |
97 } |
97 } |