diff options
| author | johnvg | 2007-01-10 15:41:08 +0000 |
|---|---|---|
| committer | johnvg | 2007-01-10 15:41:08 +0000 |
| commit | f5494081a25d4ca58c8a52593ba6a793f2b3f17a (patch) | |
| tree | 9935200e59208c051f00f972c1eb3ad626db32f6 | |
| parent | remove //1.3 //3.1 (diff) | |
add passing Reals using foreign export
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1636 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -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 |