Stale symbol for top-level alias type in suspended compilation unit #19351
Assignees
Labels
Milestone
Comments
warjort
added
itype:bug
itype:crash
stat:needs triage
|
hamzaremmal
added
area:metaprogramming:quotes
|
Moving This is an issue with suspension of the compilation unit. |
MinimizationCompiling the following two files at the same time type Alias = Int
inline def myMacro(): Alias = ${myMacroExpr}
def test = myMacro()import scala.quoted.*
def myMacroExpr(using Quotes): Expr[Alias] = '{???} |
nicolasstucki
changed the title
|
Same issue for other definitions that move into the package object. val x: Int = 1
inline def myMacro(): x.type = ${myMacroExpr}
def test = myMacro()import scala.quoted.*
def myMacroExpr(using Quotes): Expr[x.type] = '{???} |
|
I can confirm that just moving the alias to a different scope even in the same file fixes the problem. object BoolType:
type Bool = [R] => (R, R) => R
val True: Bool = [R] => (t: R, _: R) => t
val False: Bool = [R] => (_: R, f: R) => f
import BoolType.*
inline def not(b: Bool): Bool = ${notMacro('b)}
inline def show(b: Bool): String = ${showMacro('b)}I would be ok if the compiler produced an error that explained what was wrong instead of crashing. Definition 'not' used macro 'notMacro' which attempted to access 'Bool' in a suspended compilation unit. But I guess this might be difficult to diagnose when the error involves a lot of transitive references? |
|
This is probably crashing due to a stale symbol, maybe similar to #18077. This should be fixed. |
|
In all the examples there is an illegal cyclic dependency between the two units. In the minimization it is the |
odersky
added a commit
that referenced
this issue
Jan 30, 2024
…ies (#19549) If a suspended macro refers back to a symbol in a previously compiled package object, report this as an error instead of crashing with a StaleSymbol exception. There's unfortunately not a lot of info available at the point where the error is raised, so the error message is a bit vague. But it's better than crashing. Fixes #19351
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Compiler version
3.3.1 (same with 3.4.0-RC1)
Minimized code
If you swap the not/show wilth the fold versions then it doesn't crash.
I guess its some issue with inferring the [R] ?
The text was updated successfully, but these errors were encountered: