class Dhall::TypeChecker::EmptyRecord
Public Class Methods
new(expr)
click to toggle source
# File lib/dhall/typecheck.rb, line 546 def initialize(expr) @expr = expr end
Public Instance Methods
annotate(*)
click to toggle source
# File lib/dhall/typecheck.rb, line 550 def annotate(*) Dhall::TypeAnnotation.new( value: @expr, type: Dhall::EmptyRecordType.new ) end