_import in a functor

(I thought I had already asked about this issue but I can't find or 
remember any answer.  Sorry if it's a duplicate.)

It appears that _import can't be used inside a functor when the types of 
the imported function depend on the functor's arguments.  See attached 
example.  Building with

   mlton -default-ann 'allowFFI true' import_in_functor.sml

gives

Error: import_in_functor.sml 3.13.
   Invalid type for _import.
     int32 * t -> unit
compilation aborted: elaborate reported errors

Is that intentional behaviour and something I should work around?

Phil

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user