Merge pull request #4 from philandstuff/bump-to-std-14

Bump to Dhall standard v14.0.0
philandstuff · Feb 16, 2020 · b08ae39 · b08ae39
2 parents 56ff509 + b791782
commit b08ae39
Show file tree

Hide file tree

Showing 6 changed files with 1,827 additions and 1,146 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,6 +8,15 @@
    - 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
+
+ - dhall-golang now supports [version 14.0.0][dhall-14.0.0] of the
+   language.
+
+[dhall-14.0.0]: https://github.com/dhall-lang/dhall-lang/releases/tag/v14.0.0
 
 ### Fixed
 

diff --git a/dhall-lang b/dhall-lang
diff --git a/doc.go b/doc.go
@@ -24,7 +24,7 @@ handling skipped for brevity):
  dhallBytes, err := ioutil.ReadFile("foo.dhall")
  err = dhall.Unmarshal(dhallBytes, &m)
 
-This version supports Dhall standard 13.0.0, except that it doesn't
+This version supports Dhall standard 14.0.0, except that it doesn't
 support `using` directives.
 */
 package dhall