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