Skip to content

Release 6.0.0#55

Merged
philandstuff merged 5 commits intomainfrom
release-6.0.0
Nov 4, 2020
Merged

Release 6.0.0#55
philandstuff merged 5 commits intomainfrom
release-6.0.0

Conversation

@philandstuff
Copy link
Copy Markdown
Owner

No description provided.

no desugaring any more
Doesn't correctly handle the case where the replacement is itself
interpolated text, hence the ignored test for now.
Previously, `Text/replace "foo" "bar${x}baz" "foofoo"` did not work as
expected.  This fixes it by extracting the code from eval.go that
deals with evaluating Text into a textValBuilder struct, and then
reusing that textValBuilder in the Text/replace implementation.

This pins us to a dhall-lang commit just after
dhall-lang/dhall-lang#1084 was merged; this is
the same as verison 19.0.0 with a fix for
TestNormalization/unit/TextReplaceAbstractA.
@philandstuff philandstuff merged commit 3ed0db0 into main Nov 4, 2020
@philandstuff philandstuff deleted the release-6.0.0 branch November 4, 2020 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant