Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hocc #233

Merged
merged 6 commits into from
Jul 13, 2024
Merged

Hocc #233

merged 6 commits into from
Jul 13, 2024

Commits on Jun 28, 2024

  1. Fix a typo

    Jason Evans committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    551b17b View commit details
    Browse the repository at this point in the history

  2. Fix editing error in MapIntf documentation

    Jason Evans committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    8f9b52a View commit details
    Browse the repository at this point in the history

  3. Fix fold_right documentation

    Jason Evans committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    31e2243 View commit details
    Browse the repository at this point in the history

  4. Add length check to Ordmap.equal 

    Just as with Map.equal, it's cheap and easy to check map length before
performing an element-wise comparison. This heuristic costs little, but can save
much computation.
    Jason Evans committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    65c4405 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Fix fmt docstrings

    Jason Evans committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    9363b79 View commit details
    Browse the repository at this point in the history

  2. Begin implementing hocc 

    All features are implemented excepting the following:

- Hemlock code generation
- OCaml code generation
- Automated syntax error recovery
    Jason Evans committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    a65dbbe View commit details
    Browse the repository at this point in the history