[MLton-devel] RE: release of MLton with _export

Mike Thomas miketh@brisbane.paradigmgeo.com
Fri, 27 Jun 2003 12:31:11 +1000


Hi Stephen.

Thanks for letting me know - it seems much better.

A problem occurs with the ffi export example.  However see below...

(I'm in the middle of a pressing problem this morning and SML is looking
like double Dutch to me I'm sorry!)

Cheers

Mike Thomas.


$ make all
mlton -stop o ffi-import.c
mlton import.sml ffi-import.o
mlton export.sml ffi-export.c
export.sml:23.9-23.10 Error: unify: can't unify
   t1: word8
   t2: unit
export.sml:23.9-23.10 Error: unify: can't unify
   t1: word32 array
   t2: unit
compilation aborted: type check reported errors
make: *** [export] Error 1





| -----Original Message-----
| From: Stephen Weeks [mailto:sweeks@sweeks.com]
| Sent: Friday, June 27, 2003 11:35 AM
| To: Mike Thomas
| Cc: MLton@mlton.org
| Subject: release of MLton with _export
|
|
|
| Hi Mike.  I wanted to let you know about our latest experimental
| release of MLton, 20030625, available at
| http://www.mlton.org/experimental/.  This release includes our latest
| facility for calling SML from C.  Now in SML you can say
|
| _export "foo": real * char -> int;
|
| to export a function "foo" for calling from C.  See the user guide for
| details.
|
| Hopefully this simplifies the FFI stuff enough to not be a hinderance
| to your OpenGL interface.
|
|



-------------------------------------------------------
This SF.Net email is sponsored by: INetU
Attention Web Developers & Consultants: Become An INetU Hosting Partner.
Refer Dedicated Servers. We Manage Them. You Get 10% Monthly Commission!
INetU Dedicated Managed Hosting http://www.inetu.net/partner/index.php
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel