aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/check.icl2
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl
index 5545db6..7611b84 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2870,6 +2870,8 @@ checkForeignExportedFunctionTypes error_admin [{fe_fd_index}:icl_foreign_exports
check_foreign_export_type (TB BT_Int)
= True
+ check_foreign_export_type (TB BT_Real)
+ = True
check_foreign_export_type (TAS {type_arity,type_index={glob_object,glob_module}} arguments strictness)
= glob_module==cPredefinedModuleIndex && glob_object==PD_Arity2TupleTypeIndex+(type_arity-2)
&& first_n_are_strict type_arity strictness && check_foreign_export_types arguments