Module: Jade::Frontend::TypeChecking::Inference::Module

Extended by:: Helpers, Module

Included in:: Module

Defined in:: lib/jade/frontend/type_checking/inference/module.rb

Instance Method Summary collapse

#infer(node, registry, env, expected_type) ⇒ Object

Methods included from Helpers

check, generalize, instantiate, type_from_symbol, unify

Instance Method Details

#infer(node, registry, env, expected_type) ⇒ `Object`

# File 'lib/jade/frontend/type_checking/inference/module.rb', line 9

def infer(node, registry, env, expected_type)
  node => AST::Module(body:)

  check(body, registry, env, expected_type)
end