Class: Dhall::TypeChecker::OperatorEquivalent

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

Instance Method Summary collapse

Constructor Details

#initialize(expr) ⇒ OperatorEquivalent

Returns a new instance of OperatorEquivalent.



245
246
247
248
249
 
# File 'lib/dhall/typecheck.rb', line 245

def initialize(expr)
	@expr = expr
	@lhs = expr.lhs
	@rhs = expr.rhs
end

Instance Method Details

#annotate(context) ⇒ Object 



251
252
253
254
255
256
257
258
259
260
261
262
263
264
 
# File 'lib/dhall/typecheck.rb', line 251

def annotate(context)
	type = TypeChecker.assert_types_match @lhs, @rhs,
	                                      "arguments do not match",
	                                      context: context

	TypeChecker.assert_type type, Builtins[:Type],
	                        "arguments are not terms",
	                        context: context

	Dhall::TypeAnnotation.new(
		value: @expr.with(lhs: @lhs.annotate(type), rhs: @rhs.annotate(type)),
		type:  Builtins[:Type]
	)
end