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

Require record fields to be simple identifiers #1086

Merged
merged 8 commits into from
Aug 2, 2023
Merged

Require record fields to be simple identifiers #1086

merged 8 commits into from
Aug 2, 2023

Commits on Aug 1, 2023

  1. Ensure record IDs aren't qualified 

    I.e., prevent records like `{a::b::c : 1}`.

This includes refactoring the grammar so that qualified ids are now a
grammar rule rather than a lexical rule.
    Shon Feder committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    23ee28b View commit details
    Browse the repository at this point in the history

  2. Adapt quint parser for optional refs in error type 

    The previous commit made the `reference` field in quint errors optional,
this adapts the printer to handle that correctly.
    Shon Feder committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    f501415 View commit details
    Browse the repository at this point in the history

  3. fixup! Ensure record IDs aren't qualified

    Shon Feder committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    bf1b4b7 View commit details
    Browse the repository at this point in the history

  4. Add generated parser

    Shon Feder committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    9a629ec View commit details
    Browse the repository at this point in the history

  5. Fix indentation

    Shon Feder committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    096df1c View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Add uncommitted test fixtures 

    Add the generated but uncommitted test fixtures.
    Shon Feder committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    d3c1a87 View commit details
    Browse the repository at this point in the history

  2. Update changelog 

    Move some notes to correct section, and add an entry for the stricter
rule for record labels.
    Shon Feder committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    9d18e89 View commit details
    Browse the repository at this point in the history

  3. Unindent header

    Shon Feder committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    def3f05 View commit details
    Browse the repository at this point in the history