class Dhallish::Ast::TypeAnnotationNode

Attributes

expr[RW]
type[RW]

Public Class Methods

new(expr, type) click to toggle source
# File lib/ast.rb, line 356
def initialize(expr, type)
        @expr = expr
        @type = type
end

Public Instance Methods

compute_type(ctx) click to toggle source
# File lib/ast.rb, line 361
def compute_type(ctx)
        act_type = @expr.compute_type ctx
        type_type = @type.compute_type ctx
        assert ("Annotated expression not a type") { type_type.is_a? Types::Type }
        exp_type = type_type.metadata
        assert ("Expression does not match annotated type. Actual: #{act_type}, expected: #{exp_type}") { Types::unification act_type, exp_type }
        exp_type
end
evaluate(ctx) click to toggle source
# File lib/ast.rb, line 370
def evaluate(ctx)
        @expr.evaluate ctx
end