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

SuccessorML optional bar syntax #66

Merged
merged 9 commits into from
Jan 3, 2023
Merged

SuccessorML optional bar syntax #66

merged 9 commits into from
Jan 3, 2023

Commits on Jan 3, 2023

  1. -allow-opt-bar command-line argument, and support for optional bar in… 

    … 'case' expressions
    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    fc24987 View commit details
    Browse the repository at this point in the history

  2. optional bar in anonymous functions

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    4156e2f View commit details
    Browse the repository at this point in the history

  3. optional bar in 'handle' expressions

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    8f09b18 View commit details
    Browse the repository at this point in the history

  4. optional bar in 'fun' declarations

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    85ed82f View commit details
    Browse the repository at this point in the history

  5. optional bar in datatype declarations

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    766c787 View commit details
    Browse the repository at this point in the history

  6. optional bar in datatype specs

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    5a56824 View commit details
    Browse the repository at this point in the history

  7. update usage strings

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    1fde70e View commit details
    Browse the repository at this point in the history

  8. update license headers

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    c9409c3 View commit details
    Browse the repository at this point in the history

  9. fix fn formatting

    @shwestrick
    shwestrick committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    2cb01b1 View commit details
    Browse the repository at this point in the history