Version 8.0.0 → 9.0.0

[Gabriella439]

It's been over 30 days since the last release of the standard, so I'm starting the process to cut the next release.

The one feature I definitely plan to wait for is:

• Add toMap keyword to create homogeneous maps from records #610: Add toMap keyword to create homogeneous maps from records

... if only because I wrote the rest of the CHANGELOG assuming the feature was merged 🙂

For other changes in progress I'll include them if they make it in before that or before the waiting period is over (i.e. 3 days since last change).

Edit: Also waiting for:

• Remove ./Prelude/Map.dhall #639: Remove ./Prelude/Map.dhall
• Forbid surrogate pairs and non-characters #640: Forbid surrogate pairs and non-characters
• Fix toMap normalization test #641: Fix toMap normalization test
• Binary encoding: Use 28 for empty lists with non-List annotations #644: Use 28 for empty lists with non-List annotations
• Fix grammar for empty list literals #645: Fix grammar for empty list literals
• Fix type-inference for toMap #651: Fix type-inference for toMap
• Fix first-application-expression rule #652: Fix first-application-expression rule
• Fix ListLitEmptyPrecedence parsing test #654: Fix ListLitEmptyPrecedence parsing test

[singpolyma]

I think I have everything but toMap implemented in dhall-ruby -- I will try to actually get a matching release out this time.

[singpolyma]

Should we also standardize banning surrogates and other non-codepoints before this release? Shouldn't be a big change and goes hand-in-hand with the new \u{...} and removing mention of surrogates from ABNF that already went in.

[Gabriella439]

@singpolyma: Yeah, I can include that

[Gabriella439]

Alright, I'm going to cut this release in 3 days assuming no new fixes come in (and update the CHANGELOG.md in the meantime). I'm only going to ask @ocharles to hold off on merging #650 until after 8.0.0 (mainly to avoid resetting the 3-day wait after each merged change to the standard).

[ocharles]

Fine with me!

[sjakobi]

Should #630 be mentioned in the changelog?

[Gabriella439]

@sjakobi: Yes, I plan to update the changelog before cutting the release to reflect the recently merged pull requests

[Gabriella439]

@sjakobi: Alright, I updated the CHANGELOG to reflect the recent changes

[f-f]

Thank you! 🙂

[sjakobi]

👍