Class: Dhall::TypeChecker::EmptyList

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

Instance Method Summary collapse

Constructor Details

#initialize(expr) ⇒ EmptyList

Returns a new instance of EmptyList.



360
361
362
 
# File 'lib/dhall/typecheck.rb', line 360

def initialize(expr)
	@expr = expr
end

Instance Method Details

#annotate(context) ⇒ Object 



364
365
366
367
368
369
370
 
# File 'lib/dhall/typecheck.rb', line 364

def annotate(context)
	TypeChecker.assert_type @expr.element_type, Builtins[:Type],
	                        "EmptyList element type not of type Type",
	                        context: context

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