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

Extended by:: Helpers, StructDeclaration

Included in:: StructDeclaration

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

Instance Method Summary collapse

#infer(node, _, state, _) ⇒ Object

Methods included from Helpers

check, generalize, instantiate, type_from_symbol, unify

Instance Method Details

#infer(node, _, state, _) ⇒ `Object`

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

def infer(node, _, state, _)
  node => AST::StructDeclaration

  [state, Result.init(Type.unit)]
end