Re: [Caml-list] Recursive polymorphic variants

]] I don't know why your original example is disallowed. I think the semantic of [t|...] is just to syntactically replace t by its definition, which is not possible if the definition is not done yet. Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives

Re: [Caml-list] Re: New version of the binary installer for Windows

Le 30/03/2012 16:15, Jonathan Protzenko a écrit : Hi again, Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to provide a fully working environment for OCaml on windows after the installer completes. The cygwin

Re: [Caml-list] Re: New version of the binary installer for Windows

Le 02/04/2012 13:14, Adrien a écrit : On 02/04/2012, Romain Bardoubar...@lsv.ens-cachan.fr wrote: Le 30/03/2012 16:15, Jonathan Protzenko a écrit : Hi again, Following all the good suggestions in this thread, I've updated the installer. It now downloads and runs cygwin's setup.exe so as to

Re: [Caml-list] Wish: mutable variant types, equivalence with records

-matching as usual, and use .pos as a shortcut sometimes. Unifying records and sums is great, unifying tuples at the same time seems even better to me. The OPA language (of Mlstate) does this, if I'm not mistaken. Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management

Re: [Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?

was not aware of its existence. -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] LablGTK for OCaml 3.12 on Windows

Le 22/02/2012 15:00, Romain Bardou a écrit : Le 22/02/2012 14:56, Adrien a écrit : On 22/02/2012, Romain Bardoubar...@lsv.ens-cachan.fr wrote: Here: http://old.nabble.com/LablGtk-2.14.2-td29736415.html I read that The windows release will have to wait for a windows version of ocaml 3.12

Re: [Caml-list] Compiling Cryptokit on Windows

Le 06/02/2012 18:09, Romain Bardou a écrit : Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed

[Caml-list] Compiling Cryptokit on Windows

\OCaml\lib/ocamlrun.a, which actually does not exist, so this is not a surprise. This file ocamlrun.a does not exist either on my Debian computer, so I'm a little surprised here. I think I'll try cross-compiling now, or maybe editing setup.ml to put quotes around the command. Cheers, -- Romain

Re: [Caml-list] Re: References and polymorphism

not be generalized [1]. Here we are not talking about local values though. [1] Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers, Let Should Not Be Generalised -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml

Re: [Caml-list] Generic printer patch

2) Could you imagine to generalize it to Format.formatter or to out_channel (without creating a string and concatenating)? Romain Bardou add in the mantis tracker (I can't give you the bugtracking number since mantis is currently offline for maintenance) a feature wish for a new conversion

Re: [Caml-list] [ANN] Argot: 1.0 release

Another thing is the fixed-width layout. The width of the page is too wide. First the lines are too long which causes a readability issue: it makes it hard to read from one line to the other --- depends on the font but beyond approx. 80 chars per line it becomes hard for continuous reading.