Re: [Caml-list] Statically linked win32 libcamlrun.lib?

2010-04-14 Thread Dmitry Bely
On Thu, Apr 15, 2010 at 3:39 AM, Lally Singh wrote: >  Is it possible to statically link libcamlrun.lib, so it'll work with > libcmtd.lib instead of msvcrt.dll?  I've tried: > > FLEXLINK=flexlink -merge-manifest -link /nodefaultlib:msvcrt.lib -link > libcmtd.lib Please don't use "brute force" me

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Martin Jambon
Kaustuv Chaudhuri wrote: > On Wed, Apr 14, 2010 at 5:02 PM, Kaspar Rohrer > wrote: >> [...] > > Implementing dumpers seems like a teething procedure for > OCaml hackers. Here's my own attempt from a couple of years ago. > It handles cycles, renders SVGs (via Graphviz), and can accept > data stru

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread rixed
> I am convinced that such things have *no* usefulness. If you > are trying to debug your data structure, state its global > invariants, prove (at whatever level of formality you are most > comfortable with) that all API functions preserve the invariants, > and use the module system to hide functio

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread rixed
I think this kind of dot output can be very informative if accurate enough, for instance as a pedagogical or debug purpose. That, and the fact that large graphs are beautiful. Large graphs are like to nightly skies : it's always nice to stare at them even if you are not knowledgeable in the field

[Caml-list] Re: FRP and GTK

2010-04-14 Thread Satoshi Ogasawara
On 2010/04/13, at 6:44, Adrien wrote: > Is there any FRP library I can use with GTK? I think I saw something > about React and gtk but I can't find it anymore. I'm not afraid of > working on that aspect myself but wanted to know if there was already > something or maybe at least some work on that.

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Kaustuv Chaudhuri
On Wed, Apr 14, 2010 at 5:02 PM, Kaspar Rohrer wrote: > [...] Implementing dumpers seems like a teething procedure for OCaml hackers. Here's my own attempt from a couple of years ago. It handles cycles, renders SVGs (via Graphviz), and can accept data structure "descriptions" to produce better na

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Martin Jambon
Kaspar Rohrer wrote: > On Apr 15, 2010, at 12:45 AM, Richard Jones wrote: >> Graphviz output is interesting, but I would add that such a thing >> exists as the 'Std.dump' function in extlib. > > The last time I've checked, Std.dump had several shortcomings. It did not > handle cycles in the objec

[Caml-list] Statically linked win32 libcamlrun.lib?

2010-04-14 Thread Lally Singh
Hello all, Is it possible to statically link libcamlrun.lib, so it'll work with libcmtd.lib instead of msvcrt.dll? I've tried: FLEXLINK=flexlink -merge-manifest -link /nodefaultlib:msvcrt.lib -link libcmtd.lib in config/Makefile, and it all builds. However, I still get: libcamlrun.lib(sys.o

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Kaspar Rohrer
On Apr 15, 2010, at 12:45 AM, Richard Jones wrote: > Graphviz output is interesting, but I would add that such a thing > exists as the 'Std.dump' function in extlib. The last time I've checked, Std.dump had several shortcomings. It did not handle cycles in the object graph that well (that's proba

Re: [Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Richard Jones
On Wed, Apr 14, 2010 at 05:02:30PM +0200, Kaspar Rohrer wrote: > Hello everybody > > I've written a little library to inspect and dump values on the OCaml heap, > as S-expressions or in the Graphiz dot-format. > It's as simple as > > open Inspect > > dump ();; > dump 3;; > dump (1,2);; > dump (

Re: [Caml-list] Re: Building ocaml on Win32 using VS 2008

2010-04-14 Thread Lally Singh
Ok, got it -- I had been running in cygwin/rxvt (but without the visual studio env vars), and had some artifacts from there. Untarring from the source tree again and doing it in a cmd.exe shell ala vcvars.bat seemed to do the trick (while also tweaking config/Makefile a bit more). Thanks everyone

[Caml-list] LOLA 2010 -- final call for contributed talks

2010-04-14 Thread Nick Benton
*** FINAL CALL FOR CONTRIBUTED TALKS *** LOLA 2010 Syntax and Semantics of Low Level Languages Friday 9th July 2010, Edinburgh, UK A LICS 2010-affiliated workshop at FL

[Caml-list] Re: Building ocaml on Win32 using VS 2008

2010-04-14 Thread Sylvain Le Gall
On 14-04-2010, Lally Singh wrote: > Do you have a build procedure I could use? My own attempts have been > rather terrible so far :-( > I can confirm that I have no particular problems building ocaml 3.11.2 with MSVS 2008. > > On Wed, Apr 14, 2010 at 12:54 PM, Alain Frisch > wrote: >> On 14/0

Re: [Caml-list] Threads Scheduling

2010-04-14 Thread Goswin von Brederlow
Philippe Wang writes: > On Tue, Apr 13, 2010 at 11:56 PM, Gregory Malecha wrote: >> Hi Jake, >> The documentation for Condition.wait says: >> wait c m atomically unlocks the mutex m and suspends the calling process on >> the condition variable c. The process will restart after the condition >> v

Re: [Caml-list] Optimizing Float Ref's

2010-04-14 Thread Goswin von Brederlow
Dmitry Bely writes: > rewrite the function to get rid of it? My best achievement so far is > > let max_val (a:float array) = > let m = [|-.min_float|] in > for i = 0 to (Array.length a) - 1 do > if a.(i) > m.(0) > then m.(0) <- a.(i) > done; > m.(0) > > but it looks ugly... > > -

Re: [Caml-list] Building ocaml on Win32 using VS 2008

2010-04-14 Thread Dmitry Bely
On Wed, Apr 14, 2010 at 9:32 PM, Alain Frisch wrote: > On 14/04/2010 19:13, Lally Singh wrote: >> >> Do you have a build procedure I could use?  My own attempts have been >> rather terrible so far :-( > > I don't think we do anything special (regular configuration steps for the > Win32, and then "

Re: [Caml-list] Building ocaml on Win32 using VS 2008

2010-04-14 Thread Alain Frisch
On 14/04/2010 19:13, Lally Singh wrote: Do you have a build procedure I could use? My own attempts have been rather terrible so far :-( I don't think we do anything special (regular configuration steps for the Win32, and then "make -f Makefile.nt world"). -- Alain

Re: [Caml-list] Building ocaml on Win32 using VS 2008

2010-04-14 Thread Lally Singh
Do you have a build procedure I could use? My own attempts have been rather terrible so far :-( On Wed, Apr 14, 2010 at 12:54 PM, Alain Frisch wrote: > On 14/04/2010 18:46, Lally Singh wrote: >> >>   Has anyone had any success building ocaml on Win32 using VS 2008? > > We compile the win32 port

Re: [Caml-list] Building ocaml on Win32 using VS 2008

2010-04-14 Thread Alain Frisch
On 14/04/2010 18:46, Lally Singh wrote: Has anyone had any success building ocaml on Win32 using VS 2008? We compile the win32 port with the Win7 SDK (Microsoft Windows SDK for Windows 7 and .NET Framework 3.5 Service Pack 1). As far as I know, this SDK contains the same toolchain as VS 20

[Caml-list] Building ocaml on Win32 using VS 2008

2010-04-14 Thread Lally Singh
Hello, Has anyone had any success building ocaml on Win32 using VS 2008? The normal ocaml/win32 distribution's libcamlrun.a wants some symbols no longer available on the newer runtime libraries (e.g. __pctype and __alloca). I wiped my old cygwin install (which included, amongst other things,

[Caml-list] Inspect and dump values on the OCaml heap

2010-04-14 Thread Kaspar Rohrer
Hello everybody I've written a little library to inspect and dump values on the OCaml heap, as S-expressions or in the Graphiz dot-format. It's as simple as open Inspect dump ();; dump 3;; dump (1,2);; dump (test_data (); dot (test_data ()); If anybody is interested, I will put up the code som

Re: [Caml-list] Threads Scheduling

2010-04-14 Thread Philippe Wang
On Tue, Apr 13, 2010 at 11:56 PM, Gregory Malecha wrote: > Hi Jake, > The documentation for Condition.wait says: > wait c m atomically unlocks the mutex m and suspends the calling process on > the condition variable c. The process will restart after the condition > variable c has been signalled. T