class Dhall::TypeChecker::EmptyRecord

Public Class Methods

new(expr) click to toggle source
# File lib/dhall/typecheck.rb, line 546
def initialize(expr)
        @expr = expr
end

Public Instance Methods

annotate(*) click to toggle source
# File lib/dhall/typecheck.rb, line 550
def annotate(*)
        Dhall::TypeAnnotation.new(
                value: @expr,
                type:  Dhall::EmptyRecordType.new
        )
end