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

Type annotated binders #150

Merged
merged 38 commits into from
Apr 18, 2023
Merged

Type annotated binders #150

merged 38 commits into from
Apr 18, 2023

Commits on Mar 1, 2023

  1. Add types to binders

    @j-hui
    j-hui committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    f546863 View commit details
    Browse the repository at this point in the history

  2. Fix segmentLets

    @j-hui
    j-hui committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    7c18019 View commit details
    Browse the repository at this point in the history

  3. Fix desugarPattern

    @j-hui
    j-hui committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    10c550d View commit details
    Browse the repository at this point in the history

  4. Get rid of unification typechecking

    @j-hui
    j-hui committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    a5b1587 View commit details
    Browse the repository at this point in the history

  5. Add some view patterns

    @j-hui
    j-hui committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    05641f1 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. Add notion of carriers

    @j-hui
    j-hui committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    25d9fc6 View commit details
    Browse the repository at this point in the history

  2. Fix LowerAst

    @j-hui
    j-hui committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    e434ef9 View commit details
    Browse the repository at this point in the history

  3. Fixed (and refactored) LambdaLift

    @j-hui
    j-hui committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    92bfa31 View commit details
    Browse the repository at this point in the history

  4. Fix some more simple passes

    @j-hui
    j-hui committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    c912d9f View commit details
    Browse the repository at this point in the history

  5. Fix silly bug I introduced in lambda lifting

    @j-hui
    j-hui committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    bbc53b4 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. Fix up Codegen

    @j-hui
    j-hui committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    4bcc5ac View commit details
    Browse the repository at this point in the history

  2. Move pretty instance to another module

    @j-hui
    j-hui committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    4254009 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. use typed binder/alt in patterns

    @yiming-fang
    yiming-fang committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    23ee8ff View commit details
    Browse the repository at this point in the history

  2. builds; binder has proper type holes

    @yiming-fang
    yiming-fang committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    adc8b32 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. Change t -> Attachment for Constraint modules

    @j-hui
    j-hui committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    af2e037 View commit details
    Browse the repository at this point in the history

  2. Handle lambda binder constraints

    @j-hui
    j-hui committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    d794d67 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. Handle pattern AltBinder constraints

    @yiming-fang
    yiming-fang committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    90fd359 View commit details
    Browse the repository at this point in the history

  2. Handle let binder constraints

    @yiming-fang
    yiming-fang committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    66c0270 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. merge main

    @yiming-fang
    yiming-fang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    376d958 View commit details
    Browse the repository at this point in the history

  2. update simplify using new binder definition

    @yiming-fang
    yiming-fang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    4ab85db View commit details
    Browse the repository at this point in the history

  3. update pattern with new binder definition

    @yiming-fang
    yiming-fang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    532f667 View commit details
    Browse the repository at this point in the history

  4. some fixes

    @yiming-fang
    yiming-fang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    e098f8d View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2023

  1. Try to fix type variable scope issues

    @j-hui
    j-hui committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    13b23f7 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2023

  1. First draft at prettyprinter (incomplete)

    @j-hui
    j-hui committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    3b1da17 View commit details
    Browse the repository at this point in the history

  2. Smol fixe

    @j-hui
    j-hui committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    042c244 View commit details
    Browse the repository at this point in the history

  3. Implement currying etc

    @j-hui
    j-hui committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    edfdadf View commit details
    Browse the repository at this point in the history

  4. Add support for cDefs block

    @j-hui
    j-hui committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    8ba4fb7 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2023

  1. Fix lifted vs unlifted flipped

    @j-hui
    j-hui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    6af2065 View commit details
    Browse the repository at this point in the history

  2. Fix lambda lifting...

    @j-hui
    j-hui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    761b540 View commit details
    Browse the repository at this point in the history

  3. Reverse the reverse

    @j-hui
    j-hui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    d9f0453 View commit details
    Browse the repository at this point in the history

  4. Fix the hello error message

    @j-hui
    j-hui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    29f3159 View commit details
    Browse the repository at this point in the history

  5. Split up some tests for better localization

    @j-hui
    j-hui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    73e39f3 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2023

  1. Merge branch 'main' of github.com:ssm-lang/sslang into type-annotated… 

    …-binders
    @j-hui
    j-hui committed Apr 15, 2023
    Configuration menu
    Copy the full SHA
    4568ea3 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2023

  1. fix constraint generation for annotations in lets

    @leoqiao18
    leoqiao18 committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    b3cede4 View commit details
    Browse the repository at this point in the history

  2. Use binders at the top level

    @j-hui
    j-hui committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    61b8a2a View commit details
    Browse the repository at this point in the history

  3. That's it, I've had enough. No more hello8 failures.

    @j-hui
    j-hui committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    a625310 View commit details
    Browse the repository at this point in the history

  4. remove commented code

    @yiming-fang
    yiming-fang committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    5a36f7d View commit details
    Browse the repository at this point in the history

  5. Formatting

    @j-hui
    j-hui committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    d3117c8 View commit details
    Browse the repository at this point in the history