Module pomelo_parse::passes

Validation passes to run after the AST is constructed.

Or maybe this is better done on the HIR?

This doesn’t do anything yet…

TODO: add some passes for several things

• Checking record type labels to be numeric (+ positive), etc.
• Checking infix precedence is a single digit
• Checking unterminated strs, etc.
• Checking val rec always binds an fn expr
• No repetition of record labels in the same record
• No repetition of vids in a binding
• No repetition of tyvars in a binding

Functions

apply_passes

Apply validation passes, etc.