Arc-Script missing passes

[segeljakt]

In the following list, checked boxes represent passes/features of the arc-script compiler which have been implemented. Unchecked boxes need to be solved sooner or later.

• [x] Lowering source code to raw tokens (lexing)
• [x] Lowering raw tokens to semantic tokens
• [x] Lowering semantic tokens to AST (parsing)
  • [x] Importing files (works but needs testing)
• [x] Lowering AST to HIR
  • [x] Name resolution (of variables and items)
  • [x] Pattern compilation of irrefutable patterns
  • [x] Pattern compilation of refutable patterns in if val
  • [ ] Pattern compilation of refutable patterns in match and on
  • [x] Conversion to SSA form
  • [x] Unflatten nested blocks
  • [x] Lambda lifting (cannot capture environment)
  • [ ] Closure conversion
  • [x] Desugaring of various AST constructs
  • [ ] Conversion from tuples to structs
  • [ ] Finite State Machine compilation
• [x] Verifying HIR
  • [ ] Type inference on HIR
  • [x] Unification
  • [ ] Polymorphism
  • [x] Ownership (for now disabled)
• [x] Lowering HIR to MLIR
  • [x] Conversion of unit to void.
• [x] Lowering HIR to Rust
• [x] Pretty printing raw tokens in textual form
• [x] Pretty printing semantic tokens
• [x] Pretty printing AST
• [x] Pretty printing HIR
• [x] Pretty printing MLIR