blob: cb52ca8bacbd5abb6e05344ca9b6d40742b73643 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# Check
---
Type checking
# Ops
# Actions
# Complete Function Definitions
A function with its arguments and return type defined
# Incomplete Function Definitions
Check if the function's arguments are all typed, if they are the functions return type can be inferred and set as a complete function
Can only type check on invocation, check if invocation is in the `INVOCATION_LIST` if not add new invocation
|
