diff options
Diffstat (limited to 'docs/type_system/function.md')
| -rw-r--r-- | docs/type_system/function.md | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/docs/type_system/function.md b/docs/type_system/function.md index ed1cf9d..515550a 100644 --- a/docs/type_system/function.md +++ b/docs/type_system/function.md @@ -6,20 +6,19 @@ MODE: INCOMPLETE | COMPLETE -INVOCATION : SYNC | ASYNC - STATELESS : NATIVE | NATIVE_INLINE | PROCESS | GENERATOR | REGEX_GENERATOR STATEFUL : TASK | ITERATOR | CLOSURE | BOUND | REGEX -Function[[MODE | INVOCATION | STATELESS | STATEFUL]; INVOCATION_LIST; Body; RETURN_TYPE; Collection[VAR_LIST; TYPE.SYMBOL]] +Function[[MODE | STATELESS | STATEFUL]; JIT; IR; Body; INVOCATION_LIST; RETURN_TYPE; Collection[NAME_LIST; TYPE.SYMBOL]] ``` ## Type Body Object Definitions ```c typedef struct { - kpl_ptr body, return_type, var_list; + void *jit; + kpl_ptr ir, body, invocation_list, return_type, var_list; } kpl_type_body_function; ``` @@ -44,7 +43,7 @@ A function with an incomplete type, type checking occurs at invocation its compl ## Complete -A function with a complete type, its sync/async invocations are stored in the `INVOCATION_LIST` +A function with a complete type, it stores it's `IR` and `JIT` ## Native @@ -52,7 +51,7 @@ Native C code that can be called async ## Native Inline -Native C code that cannot be called async +Native C code that cannot be called async, has to be inline ## Task |