ref: 7496991bf3cbb4c2a44f1bd96851eebeade88e76 dhall-ruby/lib/dhall/ast.rb -rw-r--r-- 30.6 KiB
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
More useful to_s for AST nodes