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

Version 1.0.0 → 2.0.0 #225

Merged
merged 3 commits into from
Aug 31, 2018
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 23 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,31 @@
# Changelog

All notable changes to the Dhall language standard will be documented in this file.
All notable changes to the Dhall language standard will be documented in this
file.

For more info about our versioning policy, see [VERSIONING.md](VERSIONING.md).

## `v2.0.0`

Breaking changes:

* [Fix α-normalization semantics](https://github.com/dhall-lang/dhall-lang/pull/203)
* [Disallow merging records of types and records of terms](https://github.com/dhall-lang/dhall-lang/pull/209)
* [Fix grammar for `missing`](https://github.com/dhall-lang/dhall-lang/pull/213)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this change breaking? AFAIK it should only add valid expressions, and shouldn't make any existing ones invalid.

* [Require whitespace when parsing the + operator](https://github.com/dhall-lang/dhall-lang/pull/202)
* [Require non-empty whitespace after keywords](https://github.com/dhall-lang/dhall-lang/pull/222)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd really love to have here in the "breaking changes" section at least one "valid before but now broken" expression for every listed change. Reasons for putting them here:

* [Sort fields/alternatives when β-normalizing records/unions](https://github.com/dhall-lang/dhall-lang/pull/223)

New features:

* [Standardize semantics for serializing Dhall expressions](https://github.com/dhall-lang/dhall-lang/pull/194)
* [Standardize semantics for hashing and caching](https://github.com/dhall-lang/dhall-lang/pull/208)

Other changes:

* [Fix Integer/Natural mismatch in β-normalization section](https://github.com/dhall-lang/dhall-lang/pull/204)
* [Fix typos and formatting in semantics document](https://github.com/dhall-lang/dhall-lang/pull/212)

## `v1.0.0`

Here we start versioning the language standard on its own.
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -323,7 +323,7 @@ work with the builtin types. Where to find it:

## Development status

Language version: `v1.0.0`.
Language version: `v2.0.0`.

The versioning policy is detailed in the [Versioning document](VERSIONING.md),
and you can see the latest changes [here in the Changelog](CHANGELOG.md).
Expand Down