~singpolyma/dhall-ruby

ref: d79e79e33b434fb9dc21bbffcdc55662e6aeec7b dhall-ruby/test/test_typechecker.rb -rw-r--r-- 2.6 KiB
Test typechecker edge cases
Run all dhal-lang typecheck tests
Anything we'll eventually run is a skip
Use upstreamed type tests
Fix style in tests
Refactor Optional/None typecheck
Refactor Function annotate
Run tests per docs
Working typechecker
Type inference/checking about half done

Passing unit tests for features implemented so far