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

Extended by:: Grouping, Helpers

Included in:: Grouping

Defined in:: lib/jade/frontend/type_checking/inference/grouping.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/grouping.rb', line 9

def infer(node, registry, env, expected_type)
  node => AST::Grouping(expression:)

  check(expression, registry, env, expected_type)
end