Gabriel Scherer writes:
> I have implemented a small example in two versions: one with external
> dllist (I'm using the Batteries Dllist module), which indeed needs a
> small hack to bootstrap a single-element cycle, and one with inline
> pointers as you show, using simple value recursion. In the
Gerd Stolpmann writes:
> Am Donnerstag, den 08.03.2012, 06:11 +0100 schrieb Goswin von Brederlow:
>> Gabriel Scherer writes:
>>
>> >> So then you need mutable option types or mutables that you initialize
>> >> with dummy values and then overwrite with the real thing once all
>> >> members of a
Le 08/03/2012 17:09, Jérémie Dimino a écrit :
> Note that in general it is better to install a cma/cmxa, even if your
> library has only one module. The reason is that when building an
> executable, cmo/cmx files passed on the command line are always linked,
> while unused units of cma/cmxa files a
Le jeudi, 8 mars 2012 à 23:26, Sylvain Le Gall a écrit :
> Do you think it make sense to include this at the beginning of setup.ml ?
I just don't see myself using setup.ml during developement, I use a light
("funny" to quote Gabriel Scherer) shell script that has a few targets and
falls back t
Le jeudi, 8 mars 2012 à 22:27, Sylvain Le Gall a écrit :
> It does it the right way ;-)
The "I'm going to vomit files across your whole file system so that you need
another bureaucratic tool/database too keep track of what I did whenever you
want to remove me" way. Sure if you're looking for
Hi,
2012/3/8 Adrien :
> Hi,
>
> On 08/03/2012, Sylvain Le Gall wrote:
>> Hi,
>>
>> 2012/3/8 Daniel Bünzli :
>>> Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit :
setup.ml will be enough for me ;-) But I am biased.
>>>
>>> For distribution, I'm fine with that aswell. For developement s
Hi,
On 08/03/2012, Sylvain Le Gall wrote:
> Hi,
>
> 2012/3/8 Daniel Bünzli :
>> Le jeudi, 8 mars 2012 ŕ 09:31, Sylvain Le Gall a écrit :
>>> setup.ml will be enough for me ;-) But I am biased.
>>
>> For distribution, I'm fine with that aswell. For developement setup.ml
>> takes too much time to i
Hi,
2012/3/8 Daniel Bünzli :
>> OK, so first of all you are talking about the odb/GODI/oasis-db level.
>> OASIS itself is not meant to handle that directly. There will be a
>> plugin "oasis-db" that will allow you to do "oasis install xmlm" and
>> "oasis uninstalll xmlm" and fetch the source from
On 08-03-2012, Gerd Stolpmann wrote:
> Am Donnerstag, den 08.03.2012, 17:09 +0100 schrieb Jérémie Dimino:
>> Le Thu, 8 Mar 2012 01:26:38 +0100,
>> Daniel Bünzli a écrit :
>>
>> > 1) All the packages I distribute are made of a single module. For now
>> > these were just installed as .cmo .cmx .cm
> I don't think I'll be able to integrate the Object section in 0.3. I
> am really planning to release it soon.
For me you can forget about it. Jérémie convinced me that even for single
module libraries cma is better (see discussion on list).
> I just had a quick look at your
> git reposito
Hi,
2012/3/8 Daniel Bünzli :
> Le jeudi, 8 mars 2012 à 09:31, Sylvain Le Gall a écrit :
>> The main change of .cmo -> .cma is that toplevel expression are only
>> evaluated if you open the module.
>
>
> open, like the construct, I thought open was just about syntax ? You mean use
> or invoke a fu
Le jeudi, 8 mars 2012 à 17:58, Jérémie Dimino a écrit :
> This may happen if you are using a subset of a multi-modules library
> which use a single-module one.
Not completely unlikely I agree.
I'll go with the cma then.
Thanks,
Daniel
--
Caml-list mailing list. Subscription managemen
***
* *
*SFM-12:MDE *
* *
* 12th International School on *
Le Thu, 8 Mar 2012 17:36:46 +0100,
Daniel Bünzli a écrit :
> > Note that in general it is better to install a cma/cmxa, even if
> > your library has only one module. The reason is that when building
> > an executable, cmo/cmx files passed on the command line are always
> > linked, while unused un
Le jeudi, 8 mars 2012 à 17:09, Jérémie Dimino a écrit :
> Note that in general it is better to install a cma/cmxa, even if your
> library has only one module. The reason is that when building an
> executable, cmo/cmx files passed on the command line are always linked,
> while unused units of cma
On 8 mars 2012, at 17:25, Jérémie Dimino wrote:
> Le Thu, 8 Mar 2012 17:16:30 +0100,
> Gabriel Scherer a écrit :
>
>> This error is not Mac-related (I can reproduce it on my Debian).
>> I believe it is a result from the "link-by-need" semantics of the .cma
>> and .cmxa: loader.ml does not explic
Le Thu, 8 Mar 2012 17:16:30 +0100,
Gabriel Scherer a écrit :
> This error is not Mac-related (I can reproduce it on my Debian).
> I believe it is a result from the "link-by-need" semantics of the .cma
> and .cmxa: loader.ml does not explicitly depend on test, so when
> producing the executable te
Le Thu, 8 Mar 2012 16:50:59 +0100,
Pierre-Alexandre Voye a écrit :
> ocamlfind ocamlc -thread -o ocsigenserver -linkpkg -linkall -thread
> -I ../baselib -I ../http -package lwt.ssl -package lwt.extra -package
> netstring -package findlib -package cryptokit -package tyxml -package
> tyxml.parser
Am Donnerstag, den 08.03.2012, 17:09 +0100 schrieb Jérémie Dimino:
> Le Thu, 8 Mar 2012 01:26:38 +0100,
> Daniel Bünzli a écrit :
>
> > 1) All the packages I distribute are made of a single module. For now
> > these were just installed as .cmo .cmx .cmxs. Now it seems oasis
> > forces me to creat
This error is not Mac-related (I can reproduce it on my Debian).
I believe it is a result from the "link-by-need" semantics of the .cma
and .cmxa: loader.ml does not explicitly depend on test, so when
producing the executable test.cmxa isn't linked (modules included
.cm{x,}a, contrarily to .cm{x,o}
Le Thu, 8 Mar 2012 01:26:38 +0100,
Daniel Bünzli a écrit :
> 1) All the packages I distribute are made of a single module. For now
> these were just installed as .cmo .cmx .cmxs. Now it seems oasis
> forces me to create a .mllib even if I have only one module. Is that
> correct ?
Note that in g
After applying the patch, recompiling, your example works fine, but while
compiling Ocsigen framework, at the end, I have :
ocamlfind ocamlc -thread -o ocsigenserver -linkpkg -linkall -thread -I
../baselib -I ../http -package lwt.ssl -package lwt.extra -package
netstring -package findlib -packag
Le jeudi, 8 mars 2012 à 14:29, Edgar Friendly a écrit :
> For myself, when I want to remove something installed by odb, I usually
> just nuke my whole ~/.odb directory and reinstall the packages I want to
> keep.
I like your down to earth approach !
Daniel
--
Caml-list mailing list. Subs
Le jeudi, 8 mars 2012 à 09:31, Sylvain Le Gall a écrit :
> The main change of .cmo -> .cma is that toplevel expression are only
> evaluated if you open the module.
open, like the construct, I thought open was just about syntax ? You mean use
or invoke a function ?
> This can be a problem if
On 8 mars 2012, at 15:23, Pierre-Alexandre Voye wrote:
> In Mac Lion, i get :
>
> $ ocamlopt.opt -shared plugin.cmx test.cmxa -o plugin.cmxs
> ld: warning: -read_only_relocs cannot be used with x86_64
> $ ocamlopt.opt test.cmxa dynlink.cmxa loader.ml -o loader.native
> File "loader.ml", line 1, c
In Mac Lion, i get :
$ ocamlopt.opt -shared plugin.cmx test.cmxa -o plugin.cmxs
ld: warning: -read_only_relocs cannot be used with x86_64
$ ocamlopt.opt test.cmxa dynlink.cmxa loader.ml -o loader.native
File "loader.ml", line 1, characters 0-1:
Error: Cannot find file dynlink.cmxa
2012/3/8 Alan S
**
CALL FOR PARTICIPATION: TAMC 2012
9th Annual Conference on Theory and Applications of Models of Computation
Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China
May
On 8 mars 2012, at 12:13, Alan Schmitt wrote:
> On 27 févr. 2012, at 16:43, Damien Doligez wrote:
>
>>> Also, when running why3, I get some undefined symbols (_camlRandom,
>>> _camlParsing, _camlString). Where are these symbols defined?
>>
>> Looks like modules of the standard library, right ?
Am Donnerstag, den 08.03.2012, 14:58 +0100 schrieb Sebastien Ferre:
> Hi,
>
> I am considering developping an OCaml
> application using Lablgtk2 for the GUI,
> and using ocaml-java/Nickel for calling
> a Java library (namely, OWL-API). I am
> working on Linux.
>
> Has anybody tried this ? I am a
CALL FOR PARTICIPATION
HATS International School on Formal Models for Objects and Components
(HATS-FMOC 2012)
Bertinoro, Italy
September 24-28, 2012
http://www.cs.unibo.it/hats-fmoc/
General Information:
Modern software systems are complex, and often structured as
compos
Hi,
I am considering developping an OCaml
application using Lablgtk2 for the GUI,
and using ocaml-java/Nickel for calling
a Java library (namely, OWL-API). I am
working on Linux.
Has anybody tried this ? I am a bit afraid
of potential dependency problems...
---
Sébastien
--
Caml-list mailing l
Am Donnerstag, den 08.03.2012, 06:11 +0100 schrieb Goswin von Brederlow:
> Gabriel Scherer writes:
>
> >> So then you need mutable option types or mutables that you initialize
> >> with dummy values and then overwrite with the real thing once all
> >> members of a cycle are created. Or some other
On 03/07/2012 08:02 PM, Francois Berenger wrote:
Wouldn't it be possible to have 'odb remove foo' just call
'ocamlfind remove foo'?
Yes, this is possible. Most details of this are already implemented;
the code to do `ocamlfind remove foo` is already implemented as part of
--force for reinst
On 27 févr. 2012, at 16:43, Damien Doligez wrote:
>> Also, when running why3, I get some undefined symbols (_camlRandom,
>> _camlParsing, _camlString). Where are these symbols defined?
>
> Looks like modules of the standard library, right ?
Regarding this, should something special be done when
I have implemented a small example in two versions: one with external
dllist (I'm using the Batteries Dllist module), which indeed needs a
small hack to bootstrap a single-element cycle, and one with inline
pointers as you show, using simple value recursion. In the second case
I also have a small a
On 08-03-2012, Daniel Bünzli wrote:
> Hello,
>
> I'd like to support oasis in the various packages I distribute. Here are a
> few questions (using oasis v0.3.2~rc2).
>
> 1) All the packages I distribute are made of a single module. For now these
> were just installed as .cmo .cmx .cmxs. Now it
36 matches
Mail list logo
