hocc code generation #246

The original source directive documentation used an implausible parser generator example to demonstrate nuances that are irrelevant to e.g. `hocc` code generation. Add a practical `hocc`-based example, and replace the original contrived example with another that focuses on the edge case nuances.

A cursor computation double-counted characters preceding the beginning of the slice being searched. Remove the double counting and add a test on non-maximal slices.

…lternatives

This is the last version based on the hand-written recursive descent parser.

Replace the hand-written recursive descent hocc parser with a hocc-generated parser. The parsers have equivalent behavior with the inconsequential exception of how leading/trailing comments are associated with reduction callback code and the postlude.

This data structure simplification removes unnecessary complexity dating to before the finalization of hocc's generated parser API.

Add hocc bootstrapping instructions in a comment at the top of `Parse.hmh`. Dune refuses to allow writes outside the build directory, so this is a more manual process than ideal. Enhance symbol type syntax in the hocc grammar, which previously supported types of the form `M.t` to support unqualified types (e.g. `t`), as well as general qualified types (e.g. `M.N.t`). Mangle `tl` as `tl__hocc__` in generated code. Fix callback generation for prods sharing a callback block. Implement richer binding pattern syntax. Remove syntax support for embedded code within the hocc block, and make keywords contextual rather than global. Incidentally, codegen failed to emit such embedded code.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

hocc code generation #246

hocc code generation #246

Commits on Aug 25, 2024