#compiler #kind #lot #tree #passes #derivation #definition

kind-pass

A lot of compiler passes for the kind compiler

4 releases

0.1.3 May 11, 2023
0.1.2 Apr 2, 2023
0.1.1 Mar 3, 2023
0.1.0 Jan 27, 2023

#879 in Programming languages

45 downloads per month
Used in 3 crates (2 directly)

MIT license

150KB
3.5K SLoC

A lot of transformations that we can apply into kind trees.

  • [desugar][desugar] - That desugars the sugared tree into a version that does not contain a lot of constructions like match, inductive types etc.
  • [erasure][erasure] - Erases all of the definitions that are marked as erased from the runtime.
  • [expand][expand] - Expand some attributes and derivations of each construction.
  • [unbound][unbound] - Collects all of the unbound definitions and check the linearity of them.
  • [inline][inline] - Inlines expressions

Dependencies

~8–12MB
~226K SLoC