class Dhall::TypeChecker::Merge
Public Class Methods
new(merge)
click to toggle source
# File lib/dhall/typecheck.rb, line 765 def initialize(merge) @merge = merge @record = TypeChecker.for(merge.record) @union = TypeChecker.for(merge.input) end
Public Instance Methods
annotate(context)
click to toggle source
# File lib/dhall/typecheck.rb, line 857 def annotate(context) amerge = AnnotatedMerge.new( merge: @merge, record: @record.annotate(context), input: @union.annotate(context) ) amerge.assert_kind(context) amerge.annotation end