[Caml-list] Index for OCaml syntactic categories

2010-10-03 Thread Norman Hardy
I have written an OCaml program to make an index of OCaml syntactic categories. For the code and its results see http://cap-lore.com/Languages/ocaml/SCindex.html Perhaps someone has already done this. If another format of the manual would be appropriate, let me know. I would be pleased if someone

Re: [Caml-list] Typesystem and Parsers

2010-10-22 Thread Norman Hardy
On 2010 Oct 22, at 7:59 , Oliver Bandel wrote: > Also with arranging a parser (e.g. with ocamlyacc) both ways can be walked > along, either by just accepting everything and build up the tree, and later > detect erros in syntax or type... (for example all scanned entities given > back as string

Re: [Caml-list] Causes for segfaults

2010-11-15 Thread Norman Hardy
On 2010 Nov 15, at 10:50 , Daniel de Rauglaudre wrote: > On Mon, Nov 15, 2010 at 07:38:25PM +0100, Jamie Brandon wrote: > >> ja...@jamie-aspire:~$ cat > segfault.ml >> let rec ints n = n :: ints (n+1) >> let _ = ints 0 >> ja...@jamie-aspire:~$ ocamlopt segfault.ml >> ja...@jamie-aspire:~$ ./a.ou

Re: [Caml-list] SMP multithreading

2010-11-16 Thread Norman Hardy
On 2010 Nov 15, at 22:46 , Edgar Friendly wrote: > It looks like high-performance computing of the near future will be built out > of many machines (message passing), each with many cores (SMP). One could > use message passing for all communication in such a system, but a hybrid > approach mi