class Dhall::TypeChecker::RecordSelection

Public Class Methods

new(selection) click to toggle source
# File lib/dhall/typecheck.rb, line 582
def initialize(selection)
        @selection = selection
        @record = selection.record
        @selector = selection.selector
end

Public Instance Methods

annotate(context) click to toggle source
# File lib/dhall/typecheck.rb, line 620
def annotate(context)
        arecord = TypeChecker.for(@record).annotate(context)
        selector = Selector.for(arecord)

        Dhall::TypeAnnotation.new(
                value: @selection.with(record: arecord),
                type:  selector.select(@selector)
        )
end