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

Extended by:: Helpers, TypeDeclaration

Included in:: TypeDeclaration

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

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

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