Skip to content

Releases: philandstuff/dhall-golang

v1.0.0-rc.3

23 Feb 16:20
273e411
Compare
Choose a tag to compare
v1.0.0-rc.3 Pre-release
Pre-release

Another release candidate. A few more breaking changes, though less
drastic than rc.2 was. Things are slowly stabilising.

Thanks to @Duncaen for his contribution to this release.

Breaking changes

  • core.Pi.Range has been renamed to core.Pi.Codomain (#12)
  • core.TextLit has been removed and replaced with core.PlainTextLit.
    There is no longer a (public) interpolated text Value type.
  • struct tags are now dhall not json (#15)

Fixed

  • fixed a parser bug related to single quote strings (#1)

Changed

  • faster parser by approx 30% (#11)

1.0.0-rc.2

16 Feb 15:01
35988cf
Compare
Choose a tag to compare
1.0.0-rc.2 Pre-release
Pre-release

Another release candidate. As promised, the core package is still
in flux and has undergone a huge refactor in this release. Along with
that, the godoc has been vastly improved, and a new README has been
written to replace the previous scrappy development notes.

Also, this brings dhall-golang up to version 14.0.0 of the language
standard.

Breaking changes

  • refactoring of the core package
    • moved core.Term and implementations to new package term
    • removed core.AppValue from public interface
    • renamed various types to remove -Val and -Term suffixes
  • (from Dhall 14.0.0): decimal Natural literals can no longer have
    leading 0 digits

Changed

Fixed

  • dhall.Unmarshal() now resolves imports and typechecks before
    evaluating

Added

  • added core.ListOf, core.OptionalOf, core.NoneOf Value types
    to represent List a, Optional a and None a Values
    respectively

1.0.0-rc.1

10 Feb 09:11
Compare
Choose a tag to compare
1.0.0-rc.1 Pre-release
Pre-release

1.0.0-rc.1 - 2020-02-09

Changed

  • Fixed a compile error in cbor.go :/

1.0.0-rc.0

10 Feb 09:12
Compare
Choose a tag to compare
1.0.0-rc.0 Pre-release
Pre-release

1.0.0-rc.0 - 2020-02-09

First release candidate. Note that some things are still in flux and
subject to change:

  • The dhall package is stable and will not have any breaking
    changes. In particular, dhall.Decode and dhall.Unmarshal will
    not have any breaking changes before a v1.0.0 release.
  • The parser package is also stable and will not have any breaking
    changes.
  • The core package is still subject to change: in particular, names
    which are currently exported may be unexported before a v1.0.0
    release.

Added

  • Core Dhall functionality:
    • Parse Dhall source to Terms
    • Resolve Dhall imports
    • Use Dhall cache for imports
    • Typecheck Dhall Terms
    • Evaluate Dhall Terms to Values
    • Marshalling/unmarshalling to CBOR format
  • Go bindings:
    • dhall.Decode to decode a Dhall Value into a Go variable
    • dhall.Unmarshal as a convenience all-in-one
      Dhall-source-to-Go-variable function