Skip to content

Ydebug-pos shows wrong file #8973

Open
Open
@bishabosha

Description

@bishabosha

Minimized code

import scala.compiletime._

object Test {
  def main(args: Array[String]): Unit = {
    assert(code"" == "")
  }
}

Output

compile with -Xprint:typer -Yprint-pos -Ydebug-pos

package <empty>@sandbox/semanticdb/example2.scala<0..0> {
  import 
    scala@sandbox/semanticdb/example2.scala<7..12>.compiletime@
      sandbox/semanticdb/example2.scala<7..24>
  ._@sandbox/semanticdb/example2.scala<25..26>@
    sandbox/semanticdb/example2.scala<0..26>
  final lazy module val Test: Test$@sandbox/semanticdb/example2.scala<28..28> = 
    new Test$@sandbox/semanticdb/example2.scala<28..28>@
      sandbox/semanticdb/example2.scala<28..28>
    @sandbox/semanticdb/example2.scala<28..28>()@
      sandbox/semanticdb/example2.scala<28..28>
  @sandbox/semanticdb/example2.scala<28..28>
  final module class Test$() extends Object@
    sandbox/semanticdb/example2.scala<35..35>
  @sandbox/semanticdb/example2.scala<35..35>()@
    sandbox/semanticdb/example2.scala<35..35>
  , _root_@sandbox/semanticdb/example2.scala<45..45>.scala@
    sandbox/semanticdb/example2.scala<45..45>
  .Serializable@sandbox/semanticdb/example2.scala<45..45> { 
    this: 
      Test@sandbox/semanticdb/example2.scala<45..45>.type@
        sandbox/semanticdb/example2.scala<45..45>
     =>
    def main(
      args: 
        Array@sandbox/semanticdb/example2.scala<60..65>[
          String@sandbox/semanticdb/example2.scala<66..72>
        ]@sandbox/semanticdb/example2.scala<60..73>
      @sandbox/semanticdb/example2.scala[54..73]
    ): Unit@sandbox/semanticdb/example2.scala<76..80> = 
      {
        {
          if 
            {
              {
                ""@sandbox/semanticdb/example2.scala<1112..1172>
              }@sandbox/semanticdb/example2.scala<96..102>.==@
                sandbox/semanticdb/example2.scala<96..105>
              (""@sandbox/semanticdb/example2.scala<106..108>)@
                sandbox/semanticdb/example2.scala<96..108>
            }@
              /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<291..300>
            .unary_!@
              /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<290..300>
           then 
            assertFail@
              /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<308..318>
            ()@
              /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<308..320>
           else 
            ()@
              /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<320..320>
            @
          /Users/jamie/Workspace/dotty/library/src/dotty/DottyPredef.scala<286..320>
        }@sandbox/semanticdb/example2.scala<89..109>
      }@sandbox/semanticdb/example2.scala<83..113>
    @sandbox/semanticdb/example2.scala[45..49..113]
  }@sandbox/semanticdb/example2.scala[28..35..116]
}@sandbox/semanticdb/example2.scala<0..116>

Expectation

""@sandbox/semanticdb/example2.scala<1112..1172> should say
""@/Users/jamie/Workspace/dotty/library/src/scala/compiletime/package.scala<1112..1172>

at least the tree.source where the span is <1112..1172> is /Users/jamie/Workspace/dotty/library/src/scala/compiletime/package.scala

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions