class Dhall::TypeChecker::UnionType

Public Instance Methods

annotate(context) click to toggle source
# File lib/dhall/typecheck.rb, line 532
def annotate(context)
        kinds = check(context)

        TypeChecker.assert kinds, Util::ArrayAllTheSame,
                           "AnonymousType field kinds not all the same"

        type = kinds.first || KINDS.first
        Dhall::TypeAnnotation.new(value: @type, type: type)
end