Skip to content

WIP: Synthesis of entrypoints dispatcher

Julien requested to merge julien@entrypoints into master

This work provides a syntax to automatically generate an entrypoint dispatcher. Along the way it introduces

  • a more robust typechecking of the main entrypoint, ensuring coherent types for storage, parameters, and output of the main function.
  • Quick and dirty prepocessing mechanism to have compilers filename and location in error messages.

Merge request reports