Allow typechecking filled builtins
1 files changed, 9 insertions(+), 0 deletions(-) M lib/dhall/typecheck.rb
M lib/dhall/typecheck.rb => lib/dhall/typecheck.rb +9 -0
@@ 1208,6 1208,15 @@ module Dhall class Builtin TypeChecker.register self, Dhall::Builtin + def self.for(builtin) + unfilled = builtin.unfill + if unfilled != builtin + TypeChecker.for(unfilled) + else + new(builtin) + end + end + def initialize(builtin) @expr = builtin @name = builtin.as_json