equal
deleted
inserted
replaced
86 def unapply(pos: T): Option[(Long, Text.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) => Text.Chunk.File_Name(name) |
91 case File(name) => Text.Chunk.File(name) |
92 case _ => Text.Chunk.Default |
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 } |