aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorjohnvg2004-03-05 11:34:13 +0000
committerjohnvg2004-03-05 11:34:13 +0000
commitd121f61e2ca5f99e6ed6c1ac2b6d60e12eec4e20 (patch)
tree71c205f3fe07a597855f54b0c5027456e22f968a /frontend
parentimplement tuple result for foreign export / centry (diff)
implement tuple result for foreign export / centry
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1463 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r--frontend/check.icl7
1 files changed, 1 insertions, 6 deletions
diff --git a/frontend/check.icl b/frontend/check.icl
index d7ee071..ab60419 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2761,7 +2761,7 @@ checkForeignExports [] icl_global_functions_ranges fun_defs cs
checkForeignExportedFunctionTypes :: !*ErrorAdmin ![Int] !*{#FunDef} -> (!*ErrorAdmin,!*{#FunDef})
checkForeignExportedFunctionTypes error_admin [fun_def_index:icl_foreign_exports] fun_defs
- # error_admin = if (check_foreign_export_result_type st_result.at_type)
+ # error_admin = if (check_foreign_export_type st_result.at_type)
error_admin
(checkErrorWithIdentPos (newPosition fun_ident fun_pos) "error in result type for foreign exported function" error_admin)
# error_admin = if (check_foreign_export_types st_args)
@@ -2771,11 +2771,6 @@ checkForeignExportedFunctionTypes error_admin [fun_def_index:icl_foreign_exports
where
({fun_type=Yes {st_args,st_result},fun_ident,fun_pos},fun_defs2) = fun_defs![fun_def_index]
- check_foreign_export_result_type (TB BT_Int)
- = True
- check_foreign_export_result_type _
- = False
-
check_foreign_export_types [{at_type}:argument_types]
= check_foreign_export_type at_type && check_foreign_export_types argument_types
check_foreign_export_types []