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

Effect aliasing #1141

Merged
merged 38 commits into from
Jun 21, 2022
Merged

Effect aliasing #1141

merged 38 commits into from
Jun 21, 2022

Commits on May 13, 2022

  1. effectalias init

    @Orbion-J
    Orbion-J committed May 13, 2022
    Configuration menu
    Copy the full SHA
    b1969a3 View commit details
    Browse the repository at this point in the history

  2. desalias inline

    @Orbion-J
    Orbion-J committed May 13, 2022
    Configuration menu
    Copy the full SHA
    49a9a61 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2022

  1. alias = effectname and typename | init

    @Orbion-J
    Orbion-J committed May 18, 2022
    Configuration menu
    Copy the full SHA
    36a488f View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. merge into 1 construct ok; still 2 contexts

    @Orbion-J
    Orbion-J committed May 19, 2022
    Configuration menu
    Copy the full SHA
    dbb6b5b View commit details
    Browse the repository at this point in the history

Commits on May 20, 2022

  1. merge type and effect aliases contexts

    @Orbion-J
    Orbion-J committed May 20, 2022
    Configuration menu
    Copy the full SHA
    84ffd9b View commit details
    Browse the repository at this point in the history

  2. effectname body desugared into effectname 

    allow better printing
    @Orbion-J
    Orbion-J committed May 20, 2022
    Configuration menu
    Copy the full SHA
    5150615 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'merge-typenames-effectnames'

    @Orbion-J
    Orbion-J committed May 20, 2022
    Configuration menu
    Copy the full SHA
    ee1651e View commit details
    Browse the repository at this point in the history

Commits on May 23, 2022

  1. Revert "desalias inline" 

    This reverts commit 49a9a61.
    @Orbion-J
    Orbion-J committed May 23, 2022
    Configuration menu
    Copy the full SHA
    a2d8bdc View commit details
    Browse the repository at this point in the history

  2. Revert "effectname body desugared into effectname" 

    This reverts commit 5150615.
    @Orbion-J
    Orbion-J committed May 23, 2022
    Configuration menu
    Copy the full SHA
    419aca4 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2022

  1. "effectname" in links-mode.el

    @Orbion-J
    Orbion-J committed May 24, 2022
    Configuration menu
    Copy the full SHA
    6e8c0df View commit details
    Browse the repository at this point in the history

  2. cleaning before pr

    @Orbion-J
    Orbion-J committed May 24, 2022
    Configuration menu
    Copy the full SHA
    1355a93 View commit details
    Browse the repository at this point in the history

  3. re-cleaning

    @Orbion-J
    Orbion-J committed May 24, 2022
    Configuration menu
    Copy the full SHA
    50edb64 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2022

  1. effectname -> typename _::Kind

    @Orbion-J
    Orbion-J committed May 27, 2022
    Configuration menu
    Copy the full SHA
    ce200de View commit details
    Browse the repository at this point in the history

  2. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    c0c3e5b View commit details
    Browse the repository at this point in the history

  3. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    eace411 View commit details
    Browse the repository at this point in the history

  4. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    93b2cf1 View commit details
    Browse the repository at this point in the history

  5. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    1736097 View commit details
    Browse the repository at this point in the history

  6. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    bb0fb30 View commit details
    Browse the repository at this point in the history

  7. Update core/desugarDatatypes.mli 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    6206a6b View commit details
    Browse the repository at this point in the history

  8. Update bin/repl.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    9a499fc View commit details
    Browse the repository at this point in the history

  9. Update core/defaultAliases.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    c45fbbc View commit details
    Browse the repository at this point in the history

  10. Update core/desugarDatatypes.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    832a424 View commit details
    Browse the repository at this point in the history

  11. Update core/desugarDatatypes.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    0bd30cd View commit details
    Browse the repository at this point in the history

  12. Update core/desugarDatatypes.ml 

    Co-authored-by: Daniel Hillerström <[email protected]>
    @Orbion-J @dhil
    Orbion-J and dhil authored May 27, 2022
    Configuration menu
    Copy the full SHA
    35e50e8 View commit details
    Browse the repository at this point in the history

  13. rename alias_env -> tycon_env as originally

    @Orbion-J
    Orbion-J committed May 27, 2022
    Configuration menu
    Copy the full SHA
    14df529 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'master' of github.com:Orbion-J/links

    @Orbion-J
    Orbion-J committed May 27, 2022
    Configuration menu
    Copy the full SHA
    31dffbb View commit details
    Browse the repository at this point in the history

  15. idem

    @Orbion-J
    Orbion-J committed May 27, 2022
    Configuration menu
    Copy the full SHA
    3489b8a View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. fixes & add primary kind in aliases

    @Orbion-J
    Orbion-J committed May 30, 2022
    Configuration menu
    Copy the full SHA
    b35a3da View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. new error kind mismatch

    @Orbion-J
    Orbion-J committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    69f2920 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2022

  1. fix : embeded errors

    @Orbion-J
    Orbion-J committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    dccac21 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2022

  1. fixes

    @Orbion-J
    Orbion-J committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    fd82138 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2022

  1. fix : underscore in effect app

    @Orbion-J
    Orbion-J committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    7dc5f76 View commit details
    Browse the repository at this point in the history

  2. various fixes

    @Orbion-J
    Orbion-J committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    ca580a5 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2022

  1. short type in effectname + short fun non desugar

    @Orbion-J
    Orbion-J committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    e118c0e View commit details
    Browse the repository at this point in the history

  2. comment

    @Orbion-J
    Orbion-J committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    109ca66 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into master

    @Orbion-J
    Orbion-J authored Jun 16, 2022
    Configuration menu
    Copy the full SHA
    0ab606c View commit details
    Browse the repository at this point in the history

  4. always desugar op type with type application

    @Orbion-J
    Orbion-J committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    dc0682f View commit details
    Browse the repository at this point in the history

  5. correction tests

    @Orbion-J
    Orbion-J committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    01d9a09 View commit details
    Browse the repository at this point in the history