>
> Yeah, this is an abort from a failed assertion in C,
> so it isn't an Ocaml exception.
>
> I don't know how GTK handles this, that is, whether there is
> a way to register an error handler. You should ask
> Jacques Garrigue that.. hmmm. no I'll post this to the list
> because this is quite an interesting issue.
>
Thank you very much for your attention.
I wish this can be solved any way. :(

Best regards,
Angela
------------------------------------------
Dept. of CS, Rice Unitersity
http://www.cs.rice.edu/~yz2/
------------------------------------------



>
> It would appear that this line in your code, which calls the
> GTK binding:
>
>  let appp = program2#buffer#get_text()
>
> is the source of the problem, and that would be a bug in the Ocaml
> library, not your code. Even if the buffer is empty, at least Ocaml
> the library should handle this.
>
>
> -- 
> John Skaller <skaller at users dot sf dot net>
> Felix, successor to C++: http://felix.sf.net
>
>