Open jdonszelmann opened 2 months ago
Some other ideas:
Perhaps also type inference (unification variables in scope graph declarations)
We should have examples for sequenced and non-sequenced structures. For example, what is a scope graph for the program in which imports open over the subsequent scope:
mod A {
def x = v + 2 n
import B
mod B {
def w = x * 2
}
def y = w + 1
def v = 1
}
mod C {
val z = A.y * A.B.w
}
How do you do certain things in scopegraphs?