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