[17]matica:~$ poly
Poly/ML 5.4.1 Release
> fun main () = raise Domain ;
val main = fn: unit -> 'a
> PolyML.export ("foo", main);
val it = (): unit[19]matica:~$ cc -o foo foo.o -lpolymain -lpolyml [20]matica:~$ ./foo [21]matica:~$ echo $? 0 I find this quite surprising, am I the only one? I know that I can easily work around it by including an exception catching wrapper in main, but it seems to me that wrapper should be in libpolymain .. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
