diff options
-rw-r--r-- | frontend/check.icl | 2 |
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 |