Skip to content

dhall-1.14.0

Choose a tag to compare

View all tags
@Gabriella439 Gabriella439 released this 22 Jul 14:48
· 1421 commits to main since this release
1.14.0
dddfb1a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • BREAKING CHANGE TO THE LANGUAGE: Switch grammar of Natural and Integer
    • Natural number literals are now unsigned and Integer literals always
      require a sign
    • This is a VERY disruptive change to most Dhall code in the wild but
      was unanimously agreed upon here:
      dhall-lang/dhall-lang#138
    • See also: #381
  • BREAKING CHANGE TO THE LANGUAGE: Drop support for importing directories
    • Importing dir/ used to resolve to dir/@, which is no longer supported
    • See: #384
  • BREAKING CHANGE TO THE LANGUAGE: Change to the grammar for imports
    • File path components can no longer contain # or ? characters
    • URL imports must now contain at least one path component
    • URL path components must match the grammar for file path components
    • See: #390
  • BREAKING CHANGE TO THE API: Rename Path{,Mode,Hashed,Type} to
    Import{,Mode,Hashed,Type}
    • In practice this change is not breaking for the most common use cases
      since this also provides a Path type synonym for backwards compatibility
    • See: #376
  • BUG FIX: Fix α-equivalence bug when type-checking merge
    • merge expressions would sometimes reject valid code due to a
      type-checking bug
    • See: #394
  • Improve import caching
  • Increase upper bound on tasty
  • Fix lower bound on insert-ordered-containers
Assets 2
Loading