[Caml-list] Question on interp.c

[Caml-list] Question on interp.c

[Xingyuan Zhang]

Dear All,

I am now reading the source of interp.c. I cannot see how the while (1)
{ ...} loop in interprete is terminated
when the program reaches its end.

Could you provide any help?

Thanks!

Xingyuan Zhang

--
Dr. Xingyuan
Zhang
Tel   : +44 (0)191-3743906
Department of Computer Science, University of Durham,       Email :
Xingyuan.Zhang@durham.ac.uk
Science Labs, South Road, Durham DH1 3LE U.K.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Question on interp.c

[Alain Frisch]

On Thu, 30 May 2002, Xingyuan Zhang wrote:

> I am now reading the source of interp.c. I cannot see how the while (1)
> { ...} loop in interprete is terminated
> when the program reaches its end.

By return instructions in the handlers of the two following Caml abstract
machine instructions:
- RAISE (when the exception is not catched by an enclosing Caml handler)
- STOP


-- Alain

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners