0.4.0 29 days ago .tar.gz browse log

Update to dhall-lang 0.9.0, dhall-compile -c, etc

Breaking Changes

* Version of dhall-lang supported: 0.9.0
* Dhall::Expression#to_binary now includes the self-describe CBOR tag
* Dhall::Coder will translate values of type List { mapKey = k, mapValue = v }
to Hash
* Method#as_dhall now equivalent to method.to_proc.as_dhall
* Import resolution follows redirects now (was a bug)

Bugfixes

* Some operator normalizations were commuting when the standard
normalization would not
* Multiline strings now consider an all-whitespace last line when
stripping indentation
* Fix for Dhall::EmptyList#join

New Features

* New FunctionProxyRaw and RubyObjectRaw can allow easily folding a
Dhall expression into a non-Dhall Ruby object (undocumented)
* Dhall::Types module for common types
* dhall-compile -c produces a folder compatible with the standard dhall
filesystem cache
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEWeaCw+rzmiEMpzU00RwpEc5RnN4FAl07rKoACgkQ0RwpEc5R
nN4lAg/+OK7yvrFefA5pOzUUf6gNGUBB+mASuZPcN79dQNzzCtT2kBeFXnM/6E0t
Ju6goThBzjHl7dfgLqSFzIgqFlkrk/tbv0svZUWJotOBfRAJkQNC9BTEwZQ6la3e
JH5emdFyl3ZG16YPEdS/8I1bda+BUE5fgLMeweCa2SJg+6WQjNnmZXYbLRspCVIF
xdCAW9uAdJjD0xAgaAnxxLCdCHTvetCXJxsvzL6Vey2JgesJacxUZjsVGkB/zxnT
dVXZQqRr7PcOgUG+maU1u9EYPht32G+i5+OCqZQadpT5nqR8e1MYQiyzDcAYX1ZZ
rgJXUAsNzMf9oibK5bKlGItHV3pqKnZik+1I6K2NoKnzuvnwqSWNqpuRCC1pIQpN
9f5BGKZEOqHtST9yxEJp8HfwkIArq0UawrBVVyY0TIdswynoUhG2j3ki7nxS0rbi
jSM6jfT8Zdjau9xKZwqVKATGz+OTa9Vp71A+SC8hw2gPh/QmyvF2LPwJegufU8g+
weF4d/tVWpnmauBzTu0INk+7gkxcaLSkRZ72BWQyLMXeVdQkLD+SL5w8jTtj+3ep
xDCr95Qd4+RZDg0R8KJPuRZmGZpbbDPGvfcuiTSNJCif5UoDNrxY/BieAjczXYyY
JOc39gIwKTZ+Z+wUPNBNtFDClUlpac5jiII+3araxZoEbs6+q10=
=ST5z
-----END PGP SIGNATURE-----

0.3.0 3 months ago .tar.gz browse log

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-----

0.2.0 3 months ago .tar.gz browse log

Update to dhall-lang 0.7.0, add Dhall::Coder, etc

Breaking Changes

* Version of dhall-lang supported: 0.7.0
* Parse environment variable import contents as expressions, not just
paths (was a bug)
* Dhall.load defaults to a 10 second timeout and max import depth of 50
* Dhall.load and imports now treat the value as UTF-8 source text if the
bytes are valid UTF-8 and there are no control characters
* Standard resolver now refuses to import binary expressions by default
* Standard resolver now uses the standard disk cache by default
* Builtin types are now Dhall::Builtins[:Bool] etc
* String#as_dhall now encodes to List Natural if it is a binary string
* Symbol#as_dhall now encodes as < symbol > instead of < Symbol = {=} >
* OpenStruct#as_dhall no longer includes type annotations for all
elements
* Object#as_dhall now uses #encode_with if present

New Features

* Dhall::Builtins[:Name_of_builtin] to get any builtin (type or
function)
* yaml-to-dhall can translate Symbol
* Dhall.load now calls to_s on its argument (should allow passing a
Pathname, for example)
* Resolver readers and caches can return Expression instances directly
instead of bytes to parse
* Dhall::Coder (see README)
* Dhall.load takes an optional timeout parameter
* Resolvers now take optional max_depth and cache parameters
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEWeaCw+rzmiEMpzU00RwpEc5RnN4FAlzGTRAACgkQ0RwpEc5R
nN4fdBAAtsa0qRA2J8ZxBCZB28oKnr58+meXTGhd74bsrzvebNSFZrPBPcWA8hUR
aTLZ4JbHND0sPeUXwTmU1x28G22fMxECphrjSn3pnop5TbB4LA5tGeMC5cAgu3cg
FFhKoZ5g+SDFP9YVsEpkrydxPKLwv68xsJ3IsE2LR9I5ZAXdDPvKJa8YSfG+Qxip
BdmSTj7lBF9706BJatsP4VZ0Mo2XrDBqDjE5gYSnvppT+bfHZ8Sks66cWwBNdNXR
NwCAnAmFLFLU4+tbvdPKYT2iAguovNZ7NwBklvKoTatDsnsIuT5eV/YPBJ9BS/et
KPOC5LSxWZsUg5Lbspu7EOZ0HmI5g6MQ0FyNDv66JprPPWmaEvpLz+5oIhzSYRTe
TqKTcppDp8QybtzVrF/X/MOPQhPtTtJl0BTNNpPjeuY6cJSy9FGMfEXqnOWWkdkQ
AbhFVz6IOQTBYKTlG6bwtoP+5pGJKcDR1gKrsN4ckITADL9H2KHu51vRFZVFmibv
z6El3pXsZ6OqKuaFaHpYotGkGG6DA/5b9C9WsJucKsfKVpAEjzm3nas1vHV05EwX
Bfaepwa+EntH3OC3GCgrwSLleQGPg6NQQlxf/Zn/cfRxTV2VrRC5+XwdORDSSlUT
aYLdeDn7pCbr2MvBQ64H1MCQ/r+P9GWJj0x/iKg93qU6MdvKS64=
=ltxZ
-----END PGP SIGNATURE-----

0.1.0 4 months ago .tar.gz browse log

Initial release

This release conform to dhall-lang standard version v6.0.0-29-gd317261,
but in practise should work with most v6.0.0 expressions.
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEWeaCw+rzmiEMpzU00RwpEc5RnN4FAlytYm8ACgkQ0RwpEc5R
nN69SA//ZDWCWdg4Zj0967Q88pQpPI4RzZKeNQ1MebDJjPC2BUWHcVf1Vs3992ZX
FLJ+QVTbiggVD+w+MpoRaQDM2a22vjS+fAEjRHskIJBsM3gs1L1pPla05saHtecw
gi2YyndWBIeEsNOjd/z/8/ofpdeafG+5/Kw/782cyINK+o/dMrHxFJTFNakH8SiD
E7AyTKW9U45XfUdB/9vILObu6IcjAnIF+A5kGArYia4Md3AUGcZLKiWS+GZEiXTv
g7LYwQkWAdC6s09YfWLrVagCR/0MbyacIu6N9kFa+v6LFZj2U/JX44jzT7KvVht5
ny2CufxzOVlQD0gDCe1v4/kW42Pl+WOTnc4esA14H/vUrLTiG9j4aAyCIPlyPxfM
5x426+2zD3uePhuVJH1yTXl6+rxREQhADzqPr12EMxcAuoipAuGh4QYUGSjaDIzX
YyO8sldNjzT19B0wsNCV6TkexaQEwtwlh8D2aD2JbPcj6Wx0VgeIn/TcxTQYEfcW
ELlcoEvekNs3EcVrb1EjfMvGCn5qD2pVBT8CL/eV4EUFb5JJZVL7ZvPLtrmG48+g
oTgyP/wAuFbaovcmrpOumZU2tyiVHoEUWCKY2GCbygJgAfqLRBvhWTQwEJ0Ny1uL
DjJMIEypnbTu73lz7WZMGuKXCPTDUxXt0pF56zSqWRmu+qFxcbc=
=kLDS
-----END PGP SIGNATURE-----