~singpolyma/dhall-ruby

ref: e5560786a4ddbde7b6b1fc5e869bb3ef4e8b9126 dhall-ruby/lib/dhall/typecheck.rb -rw-r--r-- 28.8 KiB
Refactor LetBlock, allow single LetIn
Switch to registry pattern for TypeChecker.for
Refactor TextLiteral typecheck
Refactor If typecheck
Refactor OperatorListConcatenate typecheck
Start refactor of list concat
Refactor OperatorRecursiveRecordMerge typechecker
Refactor OperatorRightBiasedRecordMerge typechecker
Refactor OperatorRecursiveRecordTypeMerge typecheck
Refactor List typecheck
Refactor Optional/None typecheck
Refactor AnonymousType typecheck
Refactor Record typecheck
Refactor RecordSelection typecheck
Refactor RecordProjection typecheck
Refactor Union typecheck
Finish merge refactor
Refactor Function annotate
Refactor Forall typecheck
Refactor some of typecheck

Get closer to fitting the metrics
Next