Class: Dhallish::Ast::RecordTypeRecursiveMergeNode

Inherits:
Object
  • Object
show all
Defined in:
lib/ast.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(lhs, rhs) ⇒ RecordTypeRecursiveMergeNode

Returns a new instance of RecordTypeRecursiveMergeNode.



542
543
544
545
 
# File 'lib/ast.rb', line 542

def initialize(lhs, rhs)
  @lhs = lhs
  @rhs = rhs
end

Instance Attribute Details

#lhs ⇒ Object

Returns the value of attribute lhs.



539
540
541
 
# File 'lib/ast.rb', line 539

def lhs
  @lhs
end

#rhs ⇒ Object

Returns the value of attribute rhs.



540
541
542
 
# File 'lib/ast.rb', line 540

def rhs
  @rhs
end

Instance Method Details

#compute_type(ctx) ⇒ Object 



547
548
549
550
551
552
553
554
 
# File 'lib/ast.rb', line 547

def compute_type(ctx)
  lhs = @lhs.compute_type ctx
  rhs = @rhs.compute_type ctx
  assert("`//\\\\` can only merge record types") {
    lhs.is_a? Types::Type and rhs.is_a? Types::Type and
    lhs.metadata.is_a? Types::Record and rhs.metadata.is_a? Types::Record }
  Types::Type.new(::Dhallish::mergeRecordTypes(lhs.metadata, rhs.metadata))
end

#evaluate(ctx) ⇒ Object 



556
557
558
559
560
 
# File 'lib/ast.rb', line 556

def evaluate(ctx)
  lhs = @lhs.evaluate(ctx)
  rhs = @rhs.evaluate(ctx)
  ::Dhallish::mergeRecordTypes(lhs, rhs)
end