Class: Dhall::TypeChecker::OptionalNone

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

Instance Method Summary collapse

Constructor Details

#initialize(expr) ⇒ OptionalNone

Returns a new instance of OptionalNone.



443
444
445
 
# File 'lib/dhall/typecheck.rb', line 443

def initialize(expr)
  @expr = expr
end

Instance Method Details

#annotate(context) ⇒ Object 



447
448
449
450
451
452
453
454
455
 
# File 'lib/dhall/typecheck.rb', line 447

def annotate(context)
  TypeChecker.assert(
    TypeChecker.for(@expr.value_type).annotate(context).type,
    Dhall::Variable["Type"],
    "OptionalNone element type not of type Type"
  )

  Dhall::TypeAnnotation.new(type: @expr.type, value: @expr)
end