I agree that this surprising.  It's surprised me a number of times, usually not 
in an agreeable way.  I don't so much mind the absence of message, but the 0 
exit code is painful.

Michael

On 06/01/2012, at 7:03, Ian Zimmerman <[email protected]> wrote:

> 
> [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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to