何度目だという評価環境の実装。
モジュールも考慮して、名前空間のOpenとかも含めた評価環境を実装したい。
名前の側で正規化するのがいいのか?
//Environment全体をSlotMapで管理する
struct Environment<V>{
namespace:Option<Symbol>
parent: Option<EnvKey>
children: Vec<EnvKey>,
span:Range<u64>,
binds: Vec<(Symbol,V)>
}letでスコープを広げたときはnamespaceなしで辿ることにする
最終的にはLanguage ServerでSpanからEnvironmentの位置を補足したいということになる。
基本的に、子環境のEnvironmentは常に親のEncより狭い範囲のSpanを持つはず。そして子要素同士のSpanは交差しないはず。
親から子要素を二分探索で辿って行って(Spanは交差しないからPartialOrdにできるはず)
fn get_completions(arena:SlotMap<_>,root_env:EnvKey,span:Span){
}