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

Extended by:: Helpers, InterfaceDeclaration

Included in:: InterfaceDeclaration

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

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

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