Skip to content

Correct type-checking of calls

Aaron Councilman requested to merge typecheck_call into main

Correctly type-check calls. Resolves #4 (closed)

  1. Checking the argument types against the parameter types by substituting the dynamic constants of the call into the parameter types
  2. Producing the return type of the function by substituting the dynamic constants into the function's return type
Edited by Aaron Councilman

Merge request reports