diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 3709f49..d482f23 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -1635,6 +1635,7 @@ remove_function_conversion_table main_dcl_module_n dcl_modules # dcl_modules = {dcl_modules & [main_dcl_module_n].dcl_conversions=Yes conversion_table} -> (function_conversions,dcl_modules) +// add_function_conversion_table :: {#Int} Int *(a DclModule) -> *(a DclModule) | Array a DclModule add_function_conversion_table dcl_to_icl_function_conversions main_dcl_module_n dcl_modules # (dcl_mod,dcl_modules) = dcl_modules![main_dcl_module_n] = case dcl_mod.dcl_conversions of |