[Caml-list] Int32 vs float unboxing

2011-08-22 Thread Dmitry Bely
In the code below s reference is unboxed in sum_float loop, but not in sum_in32. Why? let sum_int32 v = let s = ref 0l in for i=0 to (Array.length v)-1 do s := Int32.add !s (Array.unsafe_get v i) done; Int32.add !s Int32.zero let sum_float v = let s = ref 0. in for i=0 to

Re: [Caml-list] Int32 vs float unboxing

2011-08-22 Thread Dmitry Bely
On Mon, Aug 22, 2011 at 11:58 AM, Alain Frisch alain.fri...@lexifi.com wrote: On 08/22/2011 09:19 AM, Dmitry Bely wrote: In the code below s reference is unboxed in sum_float loop, but not in sum_int32. Why? let sum_int32 v =   let s = ref 0l in   for i=0 to (Array.length v)-1 do     s :=

[Caml-list] packing modules as a functor

2011-08-22 Thread Fabrice Le Fessant
Hi, We have recently worked on the OCaml compiler to allow packing compilation units inside a functor. This work extends the current -pack option with a new -pack-functor option, that will generate a compilation unit, containing a functor composed of independent compilation units (compiled with

Re: [Caml-list] Int32 vs float unboxing

2011-08-22 Thread Alain Frisch
On 08/22/2011 09:19 AM, Dmitry Bely wrote: In the code below s reference is unboxed in sum_float loop, but not in sum_in32. Why? let sum_int32 v = let s = ref 0l in for i=0 to (Array.length v)-1 do s := Int32.add !s (Array.unsafe_get v i) done; Int32.add !s Int32.zero let

[Caml-list] OpenGL ES for iPhone Simulator; working example app

2011-08-22 Thread Jeffrey Scofield
Greetings, A while back I modified LablGL to work with OpenGL ES 1.1, calling my modified version LablGLES. Just recently I got LablGLES working in the iPhone Simulator, which I've found to be a nice prototyping environment for iOS projects. I also made an example LablGLES app that works on

[Caml-list] Preliminary announcement: CiE 2012 - Turing Centenary Conference, Cambridge, 18-23 June 2012

2011-08-22 Thread CiE Conference Series
** PRELIMINARY ANNOUNCEMENT:                    TURING CENTENARY CONFERENCE                       http://www.cie2012.eu         Computability in Europe 2012: How the World Computes                      University of Cambridge