Method: Dhall::TypeChecker.annotate

Defined in:
lib/dhall/typecheck.rb

.annotate(expr) ⇒ Object 



45
46
47
48
 
# File 'lib/dhall/typecheck.rb', line 45

def self.annotate(expr)
  return if expr.nil?
  TypeChecker.for(expr).annotate(TypeChecker::Context.new)
end