Class: Dhall::TypeChecker::EmptyAnonymousType

Inherits:

Object

• Object
• Dhall::TypeChecker::EmptyAnonymousType

Defined in:

lib/dhall/typecheck.rb

Instance Method Summary

• #annotate ⇒ Object
• #initialize(expr) ⇒ EmptyAnonymousType constructor

  A new instance of EmptyAnonymousType.

Constructor Details

#initialize(expr) ⇒ EmptyAnonymousType

Returns a new instance of EmptyAnonymousType.

# File 'lib/dhall/typecheck.rb', line 467

def initialize(expr)
	@expr = expr
end

Instance Method Details

#annotate ⇒ Object

# File 'lib/dhall/typecheck.rb', line 471

def annotate(*)
	Dhall::TypeAnnotation.new(
		value: @expr,
		type:  Builtins[:Type]
	)
end