class Dhall::TypeChecker::LetInAnnotated

Protected Instance Methods

assign_type(context) click to toggle source
# File lib/dhall/typecheck.rb, line 1008
def assign_type(context)
        TypeChecker.for(
                Dhall::TypeAnnotation.new(
                        value: @let.assign,
                        type:  @let.type
                )
        ).annotate(context).type
end