ref: 1868c94c899941540d8284e2cfad4ad7ecd61730 dhall-ruby/lib/dhall/ast.rb -rw-r--r-- 31.5 KiB
Update dhall-lang

This includes the new record selection inspection optimizations.
Integrity check must happen after all resolves
Helper to get ipfs path based on integrity check
List stores full type, allows for unusual annotation
Set a useful default
Allow arbitrary ruby objects to live in the AST

Only for when you're really sure you want that.
implement as Location and use URI internally
Record projection by expression / type
Do not commute multiplication when normalizing
Fix for #join on empty list
Do not commute generally

The operator is commutative, but that doesn't mean x == False should
become False == x upon normalization.
Switch IntegrityCheck encoding to multihash
Split IntegrityCheck and NoIntegrityCheck
Split IntegrityCheck and NoIntegrityCheck
Refactor builtins

The fill/unfill code is much simpler now
IntegrityCheck stores raw hash internally
Disambiguate hoisted union tags properly

An array may contain two nomnatively-equivalent types who are
structurally different -- so they need different (but related) union
tags since they will not share a type.
Enum should not have itself in the alts