Re: [Caml-list] When functor yields many types - include a module with extra type equality?

2012-04-03 Thread Hezekiah M. Carty
On Tue, Apr 3, 2012 at 7:23 AM, Dawid Toton wrote: > module type S = sig > include (module type of S) (* 1 *) > val not_much_code : t > end > > How to do what I mark with (* 1 *) and (* 2 *) correctly? Would it help if I > upgrade my toolchain from 3.11.2 to some more recent version? > Dawid >

Re: [Caml-list] Can one implement greedy/inline data structures in ocaml?

2012-03-09 Thread Hezekiah M. Carty
On Fri, Mar 9, 2012 at 4:21 AM, Gabriel Scherer wrote: > I think this is a case of using a fancy new construction when a > simpler construction would do just as well. > For some reasons some people, even beginners, are absolutely fond of > first-class modules, and insist on using them in situation

Re: [Caml-list] Re: "module type of" on sub-module of functor result

2012-02-21 Thread Hezekiah M. Carty
On Tue, Feb 21, 2012 at 2:37 PM, Ashish Agarwal wrote: > I must've accidentally deleted part of my email before hitting send. The > point was to make the first code sample compile after removing the commented > line. But that is not allowed; I get a syntax error: > > $ ocamlfind ocamlc -c -package

Re: [Caml-list] [ANN] ocamlbrew

2012-01-13 Thread Hezekiah M. Carty
On Fri, Jan 13, 2012 at 3:55 AM, Philippe Veber wrote: > Hi Hezekiah > > I gave it a shot after a new install of debian wheezy, and it went really > smoothly. The install was not exactly fresh, as I had installed ocaml > packages first (old reflex), but anyway I found two deps that blocked the > i

[Caml-list] [ANN] ocamlbrew

2012-01-07 Thread Hezekiah M. Carty
I would like to announce ocamlbrew, a (very simple, very alpha) tool for automating and managing builds of OCaml, findlib, and other OCaml-related items under $HOME on Linux. ocamlbrew takes it name and a bit of wrapper code from perlbrew[1]. ocamlbrew provides a thin bash wrapper around the stan

Re: [Caml-list] Don't forget the user

2011-12-16 Thread Hezekiah M. Carty
On Fri, Dec 16, 2011 at 3:02 PM, Andrej Bauer wrote: > Here it is: > > http://ocsigen.org/js_of_ocaml/files/toplevel/index.html > Another using the Cadmium (http://cadmium.x9c.fr/): http://ocamljava.x9c.fr/toplevel/toplevel.html Hez -- Caml-list mailing list. Subscription management and arch

Re: [Caml-list] Utopian idea ?

2011-09-27 Thread Hezekiah M. Carty
On Fri, Sep 16, 2011 at 5:33 PM, Pierre-Alexandre Voye wrote: > > I implemented the directory, and as i expected i had a problem : the > compiler doesn't accept it because it doesn't know the type of object. > > So here the code : > > class _DIRECTORY = object  (self :'self) >     val mutable inde

Re: [Caml-list] Conditionally boxed 32 bit integers?

2011-09-04 Thread Hezekiah M. Carty
On Sun, Sep 4, 2011 at 11:22 AM, John Carr wrote: > > I am working with a file format the contains 32 bit integers. > I need to use int32 on 32 bit systems.  I would like to use plain > integers, unboxed and with native machine operations, on 64 bit > systems. > > Is there any way to convince ocam