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

Refactor/blockexpr #274

Merged
merged 5 commits into from
Oct 8, 2024
Merged

Refactor/blockexpr #274

merged 5 commits into from
Oct 8, 2024

Commits on Apr 29, 2024

  1. remove BlockExpr 

    * porting from BlockExpr away
* Bug fix in parser when dealing with erroneous patterns
    @leissa
    leissa committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    e6c4d63 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. {ptrn} for implcits and put ::id to the end of a TuplePtrn

    @leissa
    leissa committed May 1, 2024
    Configuration menu
    Copy the full SHA
    7d3ad28 View commit details
    Browse the repository at this point in the history

  2. simplify parsing of ptrns and remove {implicit} again

    @leissa
    leissa committed May 1, 2024
    Configuration menu
    Copy the full SHA
    238930c View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. adjust output to new syntax

    @leissa
    leissa committed May 8, 2024
    Configuration menu
    Copy the full SHA
    d66ac66 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Merge branch 'master' into refactor/blockexpr

    @leissa
    leissa committed May 16, 2024
    Configuration menu
    Copy the full SHA
    0aabf80 View commit details
    Browse the repository at this point in the history