0.3.0 4 months ago

Coder + multiline string improvements. Bugfixes

Breaking Changes

* as_dhall on array now flattens nested unions if they would be generated
* as_dhall now uses Dhallish names for tags on generated unions for all
elements that can be represented untagged
* as_dhall only adds hash to tag name when needed
* Coder treats all Dhallish tags as extractable instead of trying to revive
* Coder strips any underscore-then-sha256hex suffix from a tag when reviving

Bugfixes

* Coder decode on Proc works now
* Fix for substitution on LetBlock/LetIn
* Fix typechecking partially-applied builtins
* Fix "stack level too deep" on long multiline comment
* Fix for typechecking lists where elements had different, but compatible,
types
* Fix for IP address parsing in imports (from upstream)

New Features

* Tabs and blank lines allowed in multiline strings (standard version
v7.0.0-21-g092996d now supported)
* Self-describe CBOR tag allowed anywhere
* as_dhall for Proc, cannot be serialized but useful for calling Dhall function
* dhall-compile: new command to resolve, normalize, and seralize whole
directories of Dhall code
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEWeaCw+rzmiEMpzU00RwpEc5RnN4FAlzYvCIACgkQ0RwpEc5R
nN7SghAAyvC7QGX/lwbVHMxH66Zm/nb7aXBc5WzRSozuxRYHFzQUoS349FotHW3B
m6rcpMZnFhqH3GMHGGVURHRx6l+0NfHv2z9KZOxRkN3HBNQplwGaVK1SOHu/7/Mg
nc8pjFqVWb1mIWZW4tbrlPppZItyAeoIevSGl1xyaWWk2TrO0rSoi3lzkyWlyHKe
DLE/1HRGkvBoLzbhjOYOlYodw2iPzbD1HQdW4xqfqxTKU7zkQ9Rw05y7Yi6TmpWS
h503nwKI2clgUOhajJjmBz7Sj5FyQlvhcLs3qyyuAmukfOYuhVk599yO2rcJW+Fs
VPTgmJtBf4ayAgdoq+lPJAlvvZ3Td1jpph2FFub3NvWD0qT4FQBkLLZ0w2bJWd8w
5KqX/6JS8dSIgShtTlRv2yQd6rJKMNfBmeRAV4TOVPGWInAp98X5xdOBHFfUSSBS
kHlE49zyZ7N8OyVgLu35lU2X3vMQ0RG0GYMET0TZqTQj222+b4mv5l/m6ahY4fIr
IUbOYGSczsHK/pjRpx9Uu0v9ChFseWVfNaHa7alA0nertW8FB9bNeIMiBNrI+d5w
x6nGbKa8iYnOGLKNu5dcUtLhNDljhVrS9zdko4X2fRJYrXnQNXLyE1xI5xZfdJ7Q
nPFseUoa+SjEW68qMNNArNWG0DkKQ/rkZdZQugMi7oPzAd3W6e0=
=5VIv
-----END PGP SIGNATURE-----