5 Jan
2012
5 Jan
'12
8:03 p.m.
[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.