Class: Dhall::TypeChecker::Function

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

Instance Method Summary collapse

Constructor Details

#initialize(func) ⇒ Function 



796
797
798
799
800
801
802
803
804
 
# File 'lib/dhall/typecheck.rb', line 796

def initialize(func)
	@func = func
	@type = Dhall::Forall.new(
		var:  func.var,
		type: func.type,
		body: Dhall::Variable["UNKNOWN"]
	)
	@output = TypeChecker.for(func.body)
end

Instance Method Details

#annotate(context) ⇒ Object 



806
807
808
809
810
811
812
813
814
815
 
# File 'lib/dhall/typecheck.rb', line 806

def annotate(context)
	abody = @output.annotate(context.add(@type))

	Dhall::TypeAnnotation.new(
		value: @func.with(body: abody),
		type:  TypeChecker.for(
			@type.with(body: abody.type)
		).annotate(context).value
	)
end