Java <-> C

[Stephen Weeks]

> > I'm curious why you think this might cause problems.  
...

> The problem I see is like the following:
...
> Now, there is an open, unflushed file that f should have gotten a chance
> to deal with gracefully.

Matthew mentioned exactly what I was thinking of.

> I
> agree that for simplicity simply returning an exceptional value works,
> although it isn't particulary elegant and causes ML code to behave (or be
> written) differently depending upon whether it's called from C or not.

True, but the FFI stubs must do something to translate between the calling
convention mismatch caused by the presence of exceptions in ML and the absence
of exceptions in C.  We'll see how it works out.