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

# 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