class Dhall::TypeChecker::Variable

Public Class Methods

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

Public Instance Methods

annotate(context) click to toggle source
# File lib/dhall/typecheck.rb, line 93
def annotate(context)
        raise TypeError, "Sort has no Type, Kind, or Sort" if @var.name == "Sort"

        Dhall::TypeAnnotation.new(
                value: @var,
                type:  context.fetch(@var)
        )
end