Re: [Caml-list] arm backend

2009-05-05 Thread Nathaniel Gray
On Tue, May 5, 2009 at 2:43 AM, Xavier Leroy xavier.le...@inria.fr wrote: Concerning the iPhone, it is not supported out of the box by 3.11 nor by the CVS trunk code. For 3.11, several patches have been mentioned on this list; it would be great if someone with iPhone development experience

Re: [Caml-list] Re: arm backend

2009-05-01 Thread Nathaniel Gray
On Fri, May 1, 2009 at 5:02 AM, Mattias Engdegård matt...@virtutech.se wrote: [2] I had to change all '.global' to '.globl' in arm.s and arm/emit.mlp.  I have no idea what that signifies. Only that Apple's assembler only understands .globl. Gas (the assembler in GNU binutils) should accept both

Re: [Caml-list] Re: arm backend

2009-05-01 Thread Nathaniel Gray
On Fri, May 1, 2009 at 3:12 PM, Jeffrey Scofield dynasti...@mac.com wrote: Nathaniel Gray n8g...@gmail.com writes: Speaking of which, has anybody built an ocaml cross compiler for the iphone that can work with native cocoa touch apps built with the official SDK?  It's probably too late for my

Re: [Caml-list] The new OCaml book (Objective Caml Programming Language by Tim Rentsch)

2009-02-27 Thread Nathaniel Gray
On Fri, Feb 27, 2009 at 4:27 AM, Richard Jones r...@annexia.org wrote: I previously mentioned this book on the list and said that I'd been promised a review copy from the publisher: http://www.amazon.com/Objective-Caml-Programming-Language/dp/0981599206 I received the review copy from

Re: [Caml-list] The new OCaml book (Objective Caml Programming Language by Tim Rentsch)

2009-02-27 Thread Nathaniel Gray
Sorry, this was meant to go to the list as well: On Fri, Feb 27, 2009 at 10:43 AM, Nathaniel Gray n8g...@gmail.com wrote: On Fri, Feb 27, 2009 at 9:42 AM, Richard Jones r...@annexia.org wrote: On Fri, Feb 27, 2009 at 09:37:05AM -0800, Nathaniel Gray wrote: On Fri, Feb 27, 2009 at 4:27 AM

Re: [Caml-list] Teaching ocaml programming

2008-09-26 Thread Nathaniel Gray
omake for your build system has some nice advantages. The '-P' flag causes the project to automatically rebuild when any project file changes on disk. After you fix a bug the next error message is already waiting for you. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave

Re: [Caml-list] Teaching ocaml programming

2008-09-26 Thread Nathaniel Gray
, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu -- ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] Re: Extending .annot files

2008-09-24 Thread Nathaniel Gray
bloated by default. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu -- ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] Extending .annot files

2008-09-24 Thread Nathaniel Gray
On Sun, Sep 21, 2008 at 11:08 PM, Maxence Guesdon [EMAIL PROTECTED] wrote: On Fri, 19 Sep 2008 11:20:36 -0700 Nathaniel Gray [EMAIL PROTECTED] wrote: For any identifier it would be good to know: 1. Its inferred type 2. Its fully-qualified module path All identifiers have not a fully

[Caml-list] Extending .annot files

2008-09-19 Thread Nathaniel Gray
. Maybe other people can think of more original ideas. Finally, it may be worth putting a little work into reducing the size of .annot files. One could certainly do much better with very little effort. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http

Re: [Caml-list] [ANN] OCamlSpotter: OCaml compiler extension for source browsing

2008-09-08 Thread Nathaniel Gray
to be enhancements to the .annot format in 3.11 so it's not unprecedented. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu -- ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] New Ocaml Plug-in for NetBeans

2008-09-08 Thread Nathaniel Gray
On Sun, Sep 7, 2008 at 6:10 PM, Jon Harrop [EMAIL PROTECTED] wrote: On Monday 08 September 2008 00:31:47 Nathaniel Gray wrote: In fact, gzip does a pretty fine job of optimizing .annot files. The source file this .annot came from is 15K, the .annot file is 78K, and gzipping it gets it down

Re: [Caml-list] New Ocaml Plug-in for NetBeans

2008-09-07 Thread Nathaniel Gray
more. I would *love* to have an alternative written in OCaml, since my forays into the jEdit code have left me with unpleasant feelings... Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu

Re: [Caml-list] New Ocaml Plug-in for NetBeans

2008-09-07 Thread Nathaniel Gray
opportunities for optimization? ;^) In fact, gzip does a pretty fine job of optimizing .annot files. The source file this .annot came from is 15K, the .annot file is 78K, and gzipping it gets it down to 9K. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project

Re: [Caml-list] Typeclasses in OCaml (Was: Haskell vs OCaml)

2008-08-14 Thread Nathaniel Gray
://portal.acm.org/citation.cfm?id=1190215.1190229 Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http://mojave.cs.caltech.edu -- ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

[Caml-list] Findlib fails to build on OS X Leopard

2008-07-16 Thread Nathaniel Gray
. Instead, it treats '\r' just like 'r', so this turns '/Users/blah/...' into '/Uses/blah/...' and the std. lib. can't be found. Until this bug is fixed the workaround is to install gnu sed. Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science -- -- Mojave Project -- http

Re: [Caml-list] Re: Building a universal binary on OS X?

2008-05-25 Thread Nathaniel Gray
on a PPC machine, and then copying it over to your Intel machine. It will run fine (albeit slowly) under Rosetta, and generate PPC executables. See also: http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=4303 Cheers, -n8 -- -- Nathaniel Gray -- Caltech Computer Science