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