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.



451
452
453
 
# File 'lib/dhall/typecheck.rb', line 451

def initialize(expr)
	@expr = expr
end

Instance Method Details

#annotate(context) ⇒ Object 



455
456
457
458
459
460
461
462
463
 
# File 'lib/dhall/typecheck.rb', line 455

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