Thanks for your response!

On 10/11/05, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> Your code is strange: you do realize that
>      raise (invalid_arg "Give me positive!")
> is weird because invalid_arg is a function that raises an exception itself?

Yes it is, but this was not quite my (or the student's) point...

> This is indeed off by one line.  In general, the location following the
> function call is reported, i.e
>
>          function_that_raises arg1 arg2 arg3
>                                             ^
>                                             reported location
>
> while in your example the following "in \n" is skipped.  Maybe one of
> us will look at this, but I don't fell it's a big issue.

I see, that's just as I guessed.  I agree it's not a big issue.  What
about the second example (in my follow-up message)?

Best,

        Eijiro