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