[Caml-list] Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris)

2010-06-21 Thread Christoph LANGE
CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 5th-9th July (note change)

[Caml-list] PLMMS-2010 call for participation

2010-06-21 Thread Lucas Dixon
[Apologies for possible multiple postings.] --- CALL FOR PARTICIPATION --- In co-operation with ACM SIGSAM, the International Workshop on

[Caml-list] exception error trace back in ocaml

2010-06-21 Thread lin hong
Hi all, I have problem getting a full traceback of some exception error. The traceback looks like this: Fatal error: exception Invalid_argument(index out of bounds) Raised at file camlinternalLazy.ml, line 33, characters 10-11 Called from file list.ml, line 74, characters 24-34 But that's all I

[Caml-list] Re: exception error trace back in ocaml

2010-06-21 Thread Sylvain Le Gall
On 21-06-2010, lin hong lh...@amnh.org wrote: I have problem getting a full traceback of some exception error. The traceback looks like this: Fatal error: exception Invalid_argument(index out of bounds) Raised at file camlinternalLazy.ml, line 33, characters 10-11 Called from file list.ml,