Link dependent scope

[anderay]

In grammar I would like to re-implement in Langium I need

1. imports
2. qualified scope (package, nested named scopes)
3. inheritance (for type definitions)
4. typedefs

First two are quite easy and described in examples.
But last two seems quite challenging as it requires scope to be dependent on linking result (e.g. type with inheritance has extended scope with inherited members that might be defined in different document and hidden under typedef in another document that points to another typedef in yet another document...).
Any hints, examples welcome.

[msujew]

Hey @anderay,

Langium supports lazily resolving references during the scoping phase. That's how we build most non-trivial scoping systems. See our type system based scoping guide for some guidance. You can also take a look at the langium-lox example language to see this in action.

[anderay]

Good example, thx.
Some information for other newcomers - non-trivial scoping that uses lazy references resolving (i.e. via 'ref' property of reference) shall be performed in linking phase (not scope computation phase).