~singpolyma/dhall-ruby

ref: e5560786a4ddbde7b6b1fc5e869bb3ef4e8b9126 dhall-ruby/lib/dhall/ast.rb -rw-r--r-- 21.2 KiB
Allow imports to be either binary or source form
Update to new UnionType selection semantics
Fix rubocop except for parser metrics
Keep around type information when we have it
fix type => [value|element]_type
Refactor LetBlock, allow single LetIn
0 == 0.0 so unfold line
Refactor UnionType#fetch
Refactor List typecheck
Refactor Optional/None typecheck
Refactor RecordProjection typecheck
Refactor Union typecheck
Refactor some of typecheck

Get closer to fitting the metrics
Clean up style violations
Implement integrity checks
Always encode OptionalNone in new style
Flatten/unfill applications and builtins when encoding
Remove multi-argument applications

They only exist in binary encoding, so let's keep them there.
Working typechecker
Next