Chandeliers-San

Candle的翻译和静态分析。

目的

此crate为Candle语言提供AST，以及

• 依赖解析
• 类型检查
• (即将推出) 正规性检查
• 代码生成

这里声明的AST不能直接解析，因此应由具有更好LL属性的翻译语言生成。

此crate在以下层面上运行

• 有足够的计算能力（与Candle中定义的macro_rules!不同），
• Span用于我们操作的一切，以便可以跟踪回源代码，并且非常重要
• 一个方便递归的AST结构，其中不再有关联性、标点符号、关键字等概念，这些在解析时是必要的，但如果丢弃则只会使静态分析更加复杂。

限制

AST的结构使其便于导航，但难以为单元测试生成。一些内部自包含算法（例如依赖关系的不相交性）有自己的单元测试，但除此之外，只要通过端到端测试，此crate应该主要在没有单元测试的情况下信任。

这并不是说这里的代码完全没有经过测试，因为我们仍然在验证它是否在正确的位置产生正确的错误消息，只是测试此代码不可能不同时测试解析器和翻译器。