Skip to content

1.38.0
Compare
Choose a tag to compare
@Gabriella439 Gabriella439 released this 28 Jan 15:19
1.38.0
8d03b21
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • BREAKING CHANGE: Detect preferred character set from input
    • dhall format will now preserve the character set of the formatted file
      by default. In other words, if the file uses ASCII punctuation then
      dhall format will format the file using ASCII punctuation.
    • If the file contains both ASCII and Unicode punctuation it will prefer
      Unicode by default
    • This is a breaking change because the Lam / Pi / Combine /
      CombineTypes, and Prefer constructors now take an additional argument
      to record which character set was used
  • BUG FIX: Fix CORS compliance check
    • Previous versions were not correctly enforcing CORS compliance
    • This implies that some imports that would have worked previously by
      accident will now fail; specifically: an import from one domain
      transitively importing something from another domain that has not opted
      into CORS
  • Add ToDhall (Fix f) instance
  • Fixes and improvements to error messages
Assets 23
Loading