Skip to content

Formalize %-annotations and entrypoints

Raphaël Cauderlier requested to merge raphael@entrypoints into dev

This is a reboot of !30 (closed) targeting dev.

Annotations are still ignored at lexing time but the semantically meaningful ones are supported in the typed and untyped syntaxes.

Edited by Raphaël Cauderlier

Merge request reports