Suppose I have a procedure called foo
, which returns a ::float
which is meant to take the following arguments:
- A procedure taking two
::float
arguments. - A
::float
- Another
::float
How would I write an export
for that function in the module
part of the code? I have this so far:
(module bar
(export (foo::float 'something ::float ::float)))
What should 'something
be replaced by here?
This question is similar to a previous bigloo question. There is currently no elegant way to do this. You should use ::procedure as the type of the first argument. This is no dramatic loss, because - in many cases - bigloo's type inference and flow analysis will find the errors you are trying to capture with type annotations.