Class: Dhall::TypeChecker::If::AnnotatedIf

Inherits:
Object
  • Object
show all
Defined in:
lib/dhall/typecheck.rb

Instance Method Summary collapse

Constructor Details

#initialize(expr, apred, athen, aelse, context:) ⇒ AnnotatedIf

Returns a new instance of AnnotatedIf.



177
178
179
180
181
182
183
184
185
186
 
# File 'lib/dhall/typecheck.rb', line 177

def initialize(expr, apred, athen, aelse, context:)
  TypeChecker.assert apred.type, Builtins[:Bool],
                     "If must have a predicate of type Bool"
  TypeChecker.assert_type athen.type, Builtins[:Type],
                          "If branches must have types of type Type",
                          context: context
  TypeChecker.assert aelse.type, athen.type,
                     "If branches have mismatched types"
  @expr = expr.with(predicate: apred, then: athen, else: aelse)
end

Instance Method Details

#annotation ⇒ Object 



188
189
190
191
192
193
 
# File 'lib/dhall/typecheck.rb', line 188

def annotation
  Dhall::TypeAnnotation.new(
    value: @expr,
    type:  @expr.then.type
  )
end