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