Kleidukos / c-compiler

A C compiler

TODO

• Include more names:

  • ParsedName from the parser
  • OccName to back the ParsedName
  • PlumeName for after the renaming pass

• Renamer

  • out-of-scope bindings
  • unused bindings
  • duplicate declarations
  • prepare the plume types map for the typechecker