-
Notifications
You must be signed in to change notification settings - Fork 42
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.
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
Generative labels #1169
Open
dhil
wants to merge
72
commits into
links-lang:master
Choose a base branch
from
dhil:Orbion-J-fresh-label
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Generative labels #1169
Commits on May 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b1969a3 - Browse repository at this point
Copy the full SHA b1969a3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 49a9a61 - Browse repository at this point
Copy the full SHA 49a9a61View commit details
Commits on May 18, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 36a488f - Browse repository at this point
Copy the full SHA 36a488fView commit details
Commits on May 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for dbb6b5b - Browse repository at this point
Copy the full SHA dbb6b5bView commit details
Commits on May 20, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 84ffd9b - Browse repository at this point
Copy the full SHA 84ffd9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5150615 - Browse repository at this point
Copy the full SHA 5150615View commit details -
Configuration menu - View commit details
-
Copy full SHA for ee1651e - Browse repository at this point
Copy the full SHA ee1651eView commit details
Commits on May 23, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a2d8bdc - Browse repository at this point
Copy the full SHA a2d8bdcView commit details -
Revert "effectname body desugared into effectname"
This reverts commit 5150615.
Configuration menu - View commit details
-
Copy full SHA for 419aca4 - Browse repository at this point
Copy the full SHA 419aca4View commit details
Commits on May 24, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 6e8c0df - Browse repository at this point
Copy the full SHA 6e8c0dfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1355a93 - Browse repository at this point
Copy the full SHA 1355a93View commit details -
Configuration menu - View commit details
-
Copy full SHA for 50edb64 - Browse repository at this point
Copy the full SHA 50edb64View commit details
Commits on May 27, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ce200de - Browse repository at this point
Copy the full SHA ce200deView commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for c0c3e5b - Browse repository at this point
Copy the full SHA c0c3e5bView commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for eace411 - Browse repository at this point
Copy the full SHA eace411View commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 93b2cf1 - Browse repository at this point
Copy the full SHA 93b2cf1View commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 1736097 - Browse repository at this point
Copy the full SHA 1736097View commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for bb0fb30 - Browse repository at this point
Copy the full SHA bb0fb30View commit details -
Update core/desugarDatatypes.mli
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 6206a6b - Browse repository at this point
Copy the full SHA 6206a6bView commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 9a499fc - Browse repository at this point
Copy the full SHA 9a499fcView commit details -
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for c45fbbc - Browse repository at this point
Copy the full SHA c45fbbcView commit details -
Update core/desugarDatatypes.ml
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 832a424 - Browse repository at this point
Copy the full SHA 832a424View commit details -
Update core/desugarDatatypes.ml
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 0bd30cd - Browse repository at this point
Copy the full SHA 0bd30cdView commit details -
Update core/desugarDatatypes.ml
Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>
Configuration menu - View commit details
-
Copy full SHA for 35e50e8 - Browse repository at this point
Copy the full SHA 35e50e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 14df529 - Browse repository at this point
Copy the full SHA 14df529View commit details -
Configuration menu - View commit details
-
Copy full SHA for 31dffbb - Browse repository at this point
Copy the full SHA 31dffbbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3489b8a - Browse repository at this point
Copy the full SHA 3489b8aView commit details
Commits on May 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b35a3da - Browse repository at this point
Copy the full SHA b35a3daView commit details
Commits on Jun 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 69f2920 - Browse repository at this point
Copy the full SHA 69f2920View commit details
Commits on Jun 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for f88808d - Browse repository at this point
Copy the full SHA f88808dView commit details
Commits on Jun 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5bce834 - Browse repository at this point
Copy the full SHA 5bce834View commit details -
Configuration menu - View commit details
-
Copy full SHA for dccac21 - Browse repository at this point
Copy the full SHA dccac21View commit details
Commits on Jun 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fd82138 - Browse repository at this point
Copy the full SHA fd82138View commit details -
Configuration menu - View commit details
-
Copy full SHA for 806570a - Browse repository at this point
Copy the full SHA 806570aView commit details
Commits on Jun 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 7dc5f76 - Browse repository at this point
Copy the full SHA 7dc5f76View commit details -
Configuration menu - View commit details
-
Copy full SHA for ca580a5 - Browse repository at this point
Copy the full SHA ca580a5View commit details
Commits on Jun 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e118c0e - Browse repository at this point
Copy the full SHA e118c0eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 109ca66 - Browse repository at this point
Copy the full SHA 109ca66View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0ab606c - Browse repository at this point
Copy the full SHA 0ab606cView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc0682f - Browse repository at this point
Copy the full SHA dc0682fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 01d9a09 - Browse repository at this point
Copy the full SHA 01d9a09View commit details
Commits on Jun 20, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 56ac19b - Browse repository at this point
Copy the full SHA 56ac19bView commit details
Commits on Jun 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 7a9a437 - Browse repository at this point
Copy the full SHA 7a9a437View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4b6d3f9 - Browse repository at this point
Copy the full SHA 4b6d3f9View commit details
Commits on Jun 23, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fd52e08 - Browse repository at this point
Copy the full SHA fd52e08View commit details
Commits on Jun 24, 2022
-
Configuration menu - View commit details
-
Copy full SHA for aa73727 - Browse repository at this point
Copy the full SHA aa73727View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99c0878 - Browse repository at this point
Copy the full SHA 99c0878View commit details -
Configuration menu - View commit details
-
Copy full SHA for 07040be - Browse repository at this point
Copy the full SHA 07040beView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6d907e7 - Browse repository at this point
Copy the full SHA 6d907e7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 75a4f73 - Browse repository at this point
Copy the full SHA 75a4f73View commit details -
Configuration menu - View commit details
-
Copy full SHA for 82641fc - Browse repository at this point
Copy the full SHA 82641fcView commit details
Commits on Jun 27, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b9e25e6 - Browse repository at this point
Copy the full SHA b9e25e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 571ffa2 - Browse repository at this point
Copy the full SHA 571ffa2View commit details -
Configuration menu - View commit details
-
Copy full SHA for c76a41e - Browse repository at this point
Copy the full SHA c76a41eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 38f7f3e - Browse repository at this point
Copy the full SHA 38f7f3eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 58919f5 - Browse repository at this point
Copy the full SHA 58919f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a5e7da - Browse repository at this point
Copy the full SHA 6a5e7daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 310ebb4 - Browse repository at this point
Copy the full SHA 310ebb4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 152b59a - Browse repository at this point
Copy the full SHA 152b59aView commit details -
Configuration menu - View commit details
-
Copy full SHA for de09626 - Browse repository at this point
Copy the full SHA de09626View commit details
Commits on Jun 28, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 667a886 - Browse repository at this point
Copy the full SHA 667a886View commit details -
Configuration menu - View commit details
-
Copy full SHA for 61ad662 - Browse repository at this point
Copy the full SHA 61ad662View commit details -
Configuration menu - View commit details
-
Copy full SHA for 589a7db - Browse repository at this point
Copy the full SHA 589a7dbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3ea8ddf - Browse repository at this point
Copy the full SHA 3ea8ddfView commit details -
Configuration menu - View commit details
-
Copy full SHA for ab3ab86 - Browse repository at this point
Copy the full SHA ab3ab86View commit details
Commits on Jul 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5e5dae6 - Browse repository at this point
Copy the full SHA 5e5dae6View commit details
Commits on Jan 31, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d31a6fe - Browse repository at this point
Copy the full SHA d31a6feView commit details -
Configuration menu - View commit details
-
Copy full SHA for 066af32 - Browse repository at this point
Copy the full SHA 066af32View commit details -
This commit fixes a regression introduced by the previous commit, wherein numeric labels wouldn't get looked up correctly in `Label.{Map,Set}`. This commit also generalises `fresh` such that it can be used locally within a binding context. Furthermore, it changes the syntax such that it no longer introduces encloses a list of bindings, but instead uses the standard block-structured scope of Links.
Configuration menu - View commit details
-
Copy full SHA for 478c2a2 - Browse repository at this point
Copy the full SHA 478c2a2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 717eba0 - Browse repository at this point
Copy the full SHA 717eba0View commit details -
Configuration menu - View commit details
-
Copy full SHA for ec92181 - Browse repository at this point
Copy the full SHA ec92181View commit details -
Configuration menu - View commit details
-
Copy full SHA for 192c437 - Browse repository at this point
Copy the full SHA 192c437View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.