Class: Dhall::TypeChecker::Optional

Inherits:
Object
  • Object
show all
Defined in:
lib/dhall/typecheck.rb

Instance Method Summary collapse

Constructor Details

#initialize(some) ⇒ Optional 



436
437
438
 
# File 'lib/dhall/typecheck.rb', line 436

def initialize(some)
  @some = some
end

Instance Method Details

#annotate(context) ⇒ Object 



440
441
442
443
444
445
446
447
448
449
450
451
 
# File 'lib/dhall/typecheck.rb', line 440

def annotate(context)
  asome = @some.map do |el|
    TypeChecker.for(el).annotate(context)
  end
  some = asome.with(value_type: asome.value.type)

  type_type = TypeChecker.for(some.value_type).annotate(context).type
  TypeChecker.assert type_type, Builtins[:Type],
                     "Some type not of type Type, was: #{type_type}"

  Dhall::TypeAnnotation.new(type: some.type, value: some)
end