Re: [Caml-list] Tim Rentsch & The Abscissa Book

2009-03-06 Thread Yoann Padioleau
Mikkel Fahnøe Jørgensen writes: > 2009/3/6 Jason Hickey : >> Dear friends, >> >> I have recently reviewed a book titled "The Objective Caml Programming >> Language," published under the name Tim Rentsch by Abscissa Press, >> ISBN 978-0-9815992-0-5. The majority of the text printed in this book >

Re: [Caml-list] Tim Rentsch & The Abscissa Book

2009-03-06 Thread Jon Harrop
On Friday 06 March 2009 21:14:27 Jason Hickey wrote: > ... > I have placed a few examples online using the 2002 draft for illustration. > >http://www.cs.caltech.edu/~jyh/papers/side-by-side.pdf > ... Where can I find your third example in your 2002 draft? -- Dr Jon Harrop, Flying Frog Consul

Re: [Caml-list] Tim Rentsch & The Abscissa Book

2009-03-06 Thread Mikkel Fahnøe Jørgensen
2009/3/6 Jason Hickey : > Dear friends, > > I have recently reviewed a book titled "The Objective Caml Programming > Language," published under the name Tim Rentsch by Abscissa Press, > ISBN 978-0-9815992-0-5. The majority of the text printed in this book > was written by me, and it is published w

[Caml-list] Tim Rentsch & The Abscissa Book

2009-03-06 Thread Jason Hickey
Dear friends, I have recently reviewed a book titled "The Objective Caml Programming Language," published under the name Tim Rentsch by Abscissa Press, ISBN 978-0-9815992-0-5. The majority of the text printed in this book was written by me, and it is published without my permission. To be specif

Re: [Caml-list] Objects and variants

2009-03-06 Thread Peng Zang
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 You're looking for a polymorphic method: class a = object method f : 'a. ([>] as 'a) -> unit = fun _ -> () end Peng On Friday 06 March 2009 10:57:43 am Samuel Mimram wrote: > Hi, > > When I try to compile the following code: > > class a = > object

[Caml-list] Objects and variants

2009-03-06 Thread Samuel Mimram
Hi, When I try to compile the following code: class a = object method f (x:[>]) = () end I get the following error: Error: Some type variables are unbound in this type: class a : object method f : [> ] -> unit end The method f has type ([> ] as 'a) -> unit where 'a is unboun

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Joel Reymont
make clean && build/distclean.sh && configure ... && build/fastworld.sh builds without an issue, again once emit.mlp is fixed. On Mar 6, 2009, at 2:22 PM, nicolas.pouillard wrote: + boot/ocamlyacc -v ocamldoc/odoc_text_parser.mly 5 shift/reduce conflicts. + ./ocamlc.opt -nostdlib -c -g -w

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread nicolas . pouillard
Excerpts from Joel Reymont's message of Fri Mar 06 11:40:13 +0100 2009: > > On Mar 5, 2009, at 4:08 PM, Andres Varon wrote: > > > I don't think that it compiles the way it is now. It seems to me > > that there was a version merge error and asmcomp/amd64/emit.mlp has > > repeated definitions

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread nicolas . pouillard
Excerpts from Joel Reymont's message of Fri Mar 06 10:13:32 +0100 2009: > > On Mar 6, 2009, at 8:17 AM, Nicolas Pouillard wrote: > > > I recall that moving from one build procedure to another requires > > a full clean (make clean ; ./build/distclean.sh). > > > ./build/distclean && ./configure .

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Joel Reymont
I was able to build a 64-bit OCaml after adjusting asmcomp/amd64/ emit.mlp and using the regular build process, e.g. make world make bootstrap make opt make opt.opt The Camlp4 build issue is still there with fastworld.sh. Thanks, Joel --- http://tinyco.de Mac, C++, OCaml __

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Joel Reymont
On Mar 5, 2009, at 4:08 PM, Andres Varon wrote: I don't think that it compiles the way it is now. It seems to me that there was a version merge error and asmcomp/amd64/emit.mlp has repeated definitions of emit_call and emit_jump. Here's the offending part of asmcomp/amd64/emit.mlp. The

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Joel Reymont
On Mar 6, 2009, at 8:17 AM, Nicolas Pouillard wrote: I recall that moving from one build procedure to another requires a full clean (make clean ; ./build/distclean.sh). ./build/distclean && ./configure ... && ./build/fastworld.sh SANITIZE: a total of 749 files that should probably not be in

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Nicolas Pouillard
Excerpts from Ashish Agarwal's message of Thu Mar 05 19:12:23 +0100 2009: > I just did a fresh install and it is working fine for me when I use the > normal method. The ocamlbuild method seems to compile fine, but make install > gives some error. I checked ocamlbuild's log file and the last line sa

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

2009-03-06 Thread Nicolas Pouillard
Excerpts from Joel Reymont's message of Thu Mar 05 19:27:01 +0100 2009: > Ashish, > > I'm not getting the previous error anymore and my issue is the same as > yours now. > > Reason? > > SANITIZE: a total of 749 files that should probably not be in your I recall that moving from one build pr