Class: Dhall::TypeChecker::EmptyRecord

Inherits:

Object

• Object
• Dhall::TypeChecker::EmptyRecord

Defined in:

lib/dhall/typecheck.rb

Instance Method Summary

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

  A new instance of EmptyRecord.

Constructor Details

#initialize(expr) ⇒ EmptyRecord

Returns a new instance of EmptyRecord.

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

def initialize(expr)
	@expr = expr
end

Instance Method Details

#annotate ⇒ Object

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

def annotate(*)
	Dhall::TypeAnnotation.new(
		value: @expr,
		type:  Dhall::EmptyRecordType.new
	)
end