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

Extended by:
Helpers, QualifiedAccess
Included in:
QualifiedAccess
Defined in:
lib/jade/frontend/type_checking/inference/qualified_access.rb

Instance Method Summary collapse

Methods included from Helpers

check, generalize, instantiate, type_from_symbol, unify

Instance Method Details

#infer(node, registry, state, expected) ⇒ Object 



9
10
11
12
13
14
15
16
17
 
# File 'lib/jade/frontend/type_checking/inference/qualified_access.rb', line 9

def infer(node, registry, state, expected)
  node => AST::QualifiedAccess(symbol:)

  state
    .env
    .lookup(symbol.qualified_name)
    .then { it.attach_origin(node) }
    .then { state.unify_result(it, expected.type) }
end