#编译器 #kind #lot #tree #passes #derivation #definition

kind-pass

为kind编译器提供的许多编译器遍历

4个版本

0.1.3 2023年5月11日
0.1.2 2023年4月2日
0.1.1 2023年3月3日
0.1.0 2023年1月27日

#592 in 编程语言

25 个月下载量
3 个crate中使用(2个直接使用)

MIT 许可证

150KB
3.5K SLoC

可以将很多转换应用于kind树。

  • [desugar][desugar] - 将糖化树转换为不包含大量构造(如match、归纳类型等)的版本。
  • [erasure][erasure] - 删除所有标记为擦除的运行时定义。
  • [expand][expand] - 扩展每个构造的某些属性和推导。
  • [unbound][unbound] - 收集所有未绑定的定义并检查它们的线性。
  • [inline][inline] - 内联表达式

依赖项

~9–12MB
~228K SLoC