Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-compiler-and-rts
compiler
Commits
72a3840a
Commit
72a3840a
authored
Jan 10, 2007
by
John van Groningen
Browse files
add passing Reals using foreign export
parent
7075e537
Changes
1
Hide whitespace changes
Inline
Side-by-side
frontend/check.icl
View file @
72a3840a
...
...
@@ -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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment