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.



418
419
420
 
# File 'lib/dhall/typecheck.rb', line 418

def initialize(expr)
	@expr = expr
end

Instance Method Details

#annotate(context) ⇒ Object 



422
423
424
425
426
427
428
429
430
 
# File 'lib/dhall/typecheck.rb', line 422

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

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