~singpolyma/dhall-ruby

ref: d2b7142409a9b71fc264fa584ef06eabc4b8ada2 dhall-ruby/lib/dhall/ast.rb -rw-r--r-- 24.2 KiB
Run all dhall-lang tests for normalization
Pass all import tests
Environment variable failure can fallback
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
Next