Navigation Menu

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.

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

Implement with without syntactic sugar #2055

Merged
merged 3 commits into from Sep 28, 2020
Merged

Implement with without syntactic sugar #2055

merged 3 commits into from Sep 28, 2020

Conversation

Gabriella439
Copy link
Collaborator

… as standardized in dhall-lang/dhall-lang#1073

… by restoring the `desugarWith` utility, even if it's only used by
`dhall-nix`
dhall/src/Dhall/Diff.hs Outdated Show resolved Hide resolved
… as caught by @sjakobi

Co-authored-by: Simon Jakobi <simon.jakobi@gmail.com>
@mergify mergify bot merged commit 29199f5 into master Sep 28, 2020
@mergify mergify bot deleted the gabriel/direct_with branch September 28, 2020 16:37
@JohannesRudolph
Copy link

I see you're making further changes to the with implementation. I suppose this change should not regress dhall format behavior around #2047 ?

Are there any plans on shipping a v1.35.1 that would include these fixes soon? I'm asking because we are heavy users of with and would like to upgrade from v1.31 and so far the changes around it have been holding us back.

@Gabriella439
Copy link
Collaborator Author

@JohannesRudolph: We release monthly, so there should be a new release coming out soon (~1 week)

#2048 added a regression test to ensure that the original problem won't recur, so you don't need to worry about any regressions due to the subsequent with-related changes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants