Well, let me join the chorus and congratulate.
I'll need to test this as soon as possible.
Cheers,
David
On Tue, 2009-09-22 at 23:30 +0200, Philippe Wang wrote:
> This is some additional "noise" about "OCaml for Multicore
> architectures" (or "Ok with parallel threads GC").
>
The bad thing is that, whenever you have to return text in an otherwise
functional program, you need to enter "mutable array of bytes" land. You
can't just assume that the user isn't going to modify that string,
because, they can, possibly by accident, and any invariant relying on
the fact that you
You could start with this: http://fr.wikibooks.org/wiki/Objective_Caml .
I have only had the time to write about 3 chapters (in French) but it
could serve as a base. Oh, and the license and source control are mostly
solved by the use of Wikibooks.
Cheers,
David
_
Hi,
I'm not going to quite answer your question yet -- I'd need to check
the source of Camlp4 for this. However, I can point out that what you're
trying to do looks very much like pa_open, by Alain Frisch.
let _ = open M1.M2 in e
will execute [e] using module [M1.M2].
Cheers,
David
On Thu,
om this bare minimum? In my
> opinion, questions such as "can I use the flag function inside the rule
> function" are definitely not part of the bare minimum.
>
> (btw, the answer is: the use of the flag function inside the rule
> function is not specified, thus not do
0:36 +0100, Romain Bardou wrote:
> All these should greatly improve the integration of findlib into
> Ocamlbuild. My goal is that the findlib plugin on the wiki becomes obsolete.
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.T
years to make it happen. I'm
> going to teach my children to be as persistent as Dave! This is
> nothing short of a miracle and a heroic achievement, IMHO, and a fun
> to read, too, as the examples are short and you always learn something
> new. Kudos to Dave!
>
&g
On Wed, 2009-01-28 at 01:32 +0100, Nicolas Pouillard wrote:
> The encoding of modules using existential types in non modular, this
> basically means that you have to heavily transform the source.
>
> What one need to encode modules is "open" existential types, this well
> and clearly explained in
I'd like that, too. I may be wrong but I have the impression that most
of this can already be done with the current type system of OCaml.
Unless I'm mistaken, for first-class modules, you essentially need
* extendable records (aka objects, good thing we already have them)
* existential types (whic
read/thread/f2acb593da91553c?hl=fr&ie=UTF-8&q=type+var+in+functor+fa.caml
>
> ugs
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Latest News of French Research: System being
hhh... Care to argument this? While I'd be glad to implement, say,
graph search or min-max/alpha-beta with Cilk, I don't quite see how a
concurrent GC would fit into the Cilk model.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/li
09
>
> How can you expect to provide consistent abstractions if you are
> not willing to make those decisions?
>
> Cheers,
>
> Bene
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Lates
amically known' data into a single ocaml
> data-structure?
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Latest News of French Research: System being liquidated. Researchers
angry.
_
ath
107. Shell
108. Unix
A. Labels
109. Equeue
X. Unclassified
110. Digest
111. Random
A. State
112. Date (placeholder)
On Tue, 2008-11-18 at 10:56 +0100, David Teller wrote:
> For this purpose, I have posted a
> tree of the current hiera
On Fri, 2008-11-21 at 00:18 +0100, Daniel Bünzli wrote:
> Le 20 nov. 08 à 22:12, David Teller a écrit :
>
> > If anyone is willing to work on a solution for linking documentation
> > from third-party libraries into one transparent source, as suggested
> > by Richard
X. Unclassified
110. Digest
111. Random
A. State
112. Date (placeholder)
On Tue, 2008-11-18 at 10:56 +0100, David Teller wrote:
> For this purpose, I have posted a
> tree of the current hierarchy on my blog [1].
>
> [1]
>
http://dutherenverseaubor
On Tue, 2008-11-18 at 23:30 +, Jon Harrop wrote:
> On Tuesday 18 November 2008 09:56:18 David Teller wrote:
> I only have one major concern: you say "with the large number of modules
> involved, we would need a hierarchy of modules" but the number of modules
> involve
+0100, Alain Frisch wrote:
> David Teller wrote:
> > I thought the linker only linked in symbols which were actually used?
>
> No, it is not the case.
>
> The only automatic mechanism for code pruning is at the level of
> individual modules embedded in a library. As s
On Tue, 2008-11-18 at 14:24 +0100, Daniel Bünzli wrote:
> Le 18 nov. 08 à 13:15, David Teller a écrit :
>
> > But, to keep things ordered, we will still need modules
> > [Threads.Threads], [Threads.Mutex], [Threads.RMutex]...
> > [CoThreads.Threads], [CoThreads.Mutex
and Data.Mutable into Data.Containers.
Whether we flatten further remains open to debate.
Thanks,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU ac
we could add to Batteries, if
needed. Camlp4 is pretty-much necessary to use Batteries anyway and
Camlp4 already defines IFDEF, INCLUDE, etc. We would just need to
complete that DSL perhaps to accept any valid OCaml expression and call
the ocaml interpreter to evaluate these expressions.
Ch
code it also reduces the amount
> of decisions you have to do when writing new code.
>
> http://ocaml.janestreet.com/?q=node/28
>
> Cheers,
>
> Bene
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angr
7;ve started on this track, albeit perhaps not with such grand
ambitions.
Thanks for the idea,
David
P.S.: I've pointedly ignored your perch on POD :) In my mind, that's a
very different topic. For the moment, we'll stick with ocamldoc.
--
David Teller-Rajchenbach
Security of Distr
h already appear in the current version of Batteries, and
with some space left for OCamlnet, OCamlnae, Reins, Camomile, ULex,
Camlp4, CoThreads and a few others. I truly mean it, if you can provide
us with something you consider more comfortable and as future-proof, we
may adopt it.
Cheers,
David
-
nts may still appear.
Do you see any better way of managing the complexity of all this?
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
y
> > external packages. If you use an underscore then an external package
> > can extend the namespace (eg. by providing System_Newpackage)
>
> And, doesn't that forces all sub modules to be linked into the final
> executables even if we only use one of them?
--
David
derscore ('_').
> Using a dot means that the System namespace cannot be extended by
> external packages. If you use an underscore then an external package
> can extend the namespace (eg. by providing System_Newpackage)
>
> Rich.
>
--
David Teller-Rajchenbach
Security
David
[1]
http://dutherenverseauborddelatable.wordpress.com/2008/11/18/batteries-hierarchy/
[2]
http://batteries.forge.ocamlcore.org/doc.preview/batteries-alpha2/doc/batteries/html/api/index.html
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members
this being
used by stuff like Ocsigen to make for (even) richer client-server
applications.
Just my two cents,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need refo
ractions in the constructor to suspend evaluation and applying
> them to force evaluation?
That's call-by-need indeed.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universitie
Thanks, I'll try that.
On Tue, 2008-11-04 at 00:38 +0100, Martin Jambon wrote:
> Then you only have to install the packed.cm* files. It gives you:
>
> # Packed.Outer.f 5;;
> This expression has type int but is here used with type Packed.Outer.t
>
>
>
> Martin
: int -> int =
> # for i = 0 to 5 do print_int (a i); done;;
> 012345- : unit = ()
>
> Is this something to be expected? Or perhaps something which calls
> for an upgrade?
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Membe
t
Is there a simple way of turning this error message into
This expression has type int but is used with type
Outer.t
?
Thanks,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need ref
Le me be more specific: we're not working on a ocamlbrowser replacement.
We're just working on a on-line help system. In turn, this help system
could be useful for someone wishing to write a ocamlbrowser replacement.
Cheers,
David
On Wed, 2008-10-22 at 23:56 +0200, David Teller wr
h the manual, I'm afraid).
For information, we have the beginning of a ocamlbrowser replacement in
Batteries.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms,
of efuns [1] and
Chamo [2].
[1] http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm
[2] http://home.gna.org/cameleon/
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms,
s about it. And, again, most projects don't
have any.
Cheers,
David
On Mon, 2008-10-20 at 09:01 -0400, Kuba Ober wrote:
> On Friday 17 October 2008, David Teller wrote:
> > A notion of projects would be nice, which would give the ability to
> > save/load multiple files.
>
x27;s final. I'm sure of Ocamlbuild support.
> Any other features that people would like?
> * - "slightly" in the log scale, so just one order of magnitude
> is "not much" ;)
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans
Zang wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> On Sunday 12 October 2008 09:59:13 am David Teller wrote:
> > Hi,
> >
> > It seems we forgot one dependency in the README: you need Bin-prot to
> > get Batteries to work. I must confess that we coul
place (automated with some elisp of
> course). This allows me to test, in the toplevel, each little change I make.
>
> Thanks in advance,
>
> Peng
>
>
>
>
>
> On Saturday 11 October 2008 09:48:34 am David Teller wrote:
> > Dear list,
> >
#x27;s list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French
e.ocamlcore.org/frs/shownotes.php?release_id=44
[3] http://forge.ocamlcore.org/docman/?group_id=17
Have fun coding,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but
y, but if I'm guessing
> correctly that your goal is obtaining both the .mli and the ocamldoc
> output, you can achieve that with legacy "ocamlc -i" and ocamldoc with
> merge options on the .ml alone.
>
> But it is likely that I'm not guessing correctly
d keep). Now, that doesn't
look like something too hard to write, with a combination of 'ocamlc -i'
and camlp4, I'm just wondering if someone has already written such a
tool.
Thanks,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orlea
You can take a look at objinfo.
On Sat, 2008-10-04 at 16:20 -0400, Jason Noakes wrote:
> Are there any tools or examples that would allow me to take a .cmo or .cmx
> file and produce a list of the external modules that are referenced from
> that file?
--
David Teller-Rajchenbach
Se
roves useful remains to be seen. I'm
planning to put a few graduate students on writing a Caml bytecode =>
LLVM compiler later this year and if things go nicely on a whole OCaml
=> LLVM compiler next year. I believe that a Summer of Code on the
subject would be quite profitable (altho
l, that's unfortunate. We'll have to keep relying on
camlp4 for the moment.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities
ext.t -> string -> (Context.t * AST.t)
> val get_type : Context.t -> AST.t -> Type.t;
> val eval : Context.t -> AST.t -> Context.t * (Type.t *
> MarshalledValueOrSomething.t)
> end
>
> Is it really so hard to have it in OCaml? I'm envy of Python's Com
Shouldn't you rather look for bindings from OCaml to these languages?
Cheers,
David
On Thu, 2008-10-02 at 22:33 -0700, axllaruse wrote:
> I would like to convert all the MTASC open source project to C/C++ or PHP.
--
David Teller-Rajchenbach
Security of Distributed Systems
http://
> This feature request is currently the entry in Mantis which has (by far!) the
> largest number of comments from separate people, as well as now being the
> entry with the most comments overall.
>
> Please add your voice to the chorus!
>
> Jacques
--
David Teller-
>
> Yes the function is called expand_module it takes 3 arguments, the include
> directories, the module name, the extensions.
>
>Example: let include_dirs = Pathname.include_dirs_of (Pathname.dirname
> mlpack)
> in build (expand_module include_dirs module_nam
odule it takes 3 arguments, the include
> directories, the module name, the extensions.
>
>Example: let include_dirs = Pathname.include_dirs_of (Pathname.dirname
> mlpack)
> in build (expand_module include_dirs module_name ["mli";
> "mli.depends"
tree, resolving [include] directives myself to find a .ml or
a .mli which may be the right file.
Does anyone have suggestions?
Thanks,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need
but at least you have
> the source code now.
Symbiosis looks quite interesting. I'm really looking forward to seeing
an example project!
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry resea
el Reymont wrote:
> Ideally, I would like to generate OCaml code at runtime and compile it
> into something that can be loaded by a runtime of some sort.
>
> Compiling into a DLL would be ideal, is it possible?
>
> Are there are other options?
--
David Teller-Rajchenbach
Sec
y error message).
>
> Andrej
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.
___
C
___
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
person struggling to contain my excitement. :-)
*
*_o/
|/
/
'nuff said
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU
27;t look correctly typed. However, you can try
replacing ?contents of t here? with $t$.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Univer
> which adds "open Myperv;;\n" before calling ocamlc ^^
Yes, that's the kind of things I have in mind.
Unfortunately, it seems that ocamlc only supports one "-pp" tag. So if I
use a simple "-pp 'cat myprefix.ml'", I become incompatible with
Camlp4 :/
Would that open anything by default?
On Mon, 2008-09-08 at 12:04 +0200, Romain Bardou wrote:
> I guess you could try and make your own stdlib directory, and then
> call
> ocamlc using:
>
> ocamlc -nostdlib -I mystdlib
>
> or something like that...
>
--
David Teller-
Technically, I guess I can write a Camlp4 extension just to add "open
Foo" at the beginning of every file, but it seems a bit complex for such
a simple task. Any other idea?
Thanks,
David
On Mon, 2008-09-08 at 10:06 +0200, David Teller wrote:
> Dear list,
>
> Does anyone k
Dear list,
Does anyone know how I can get a module to be auto-opened by the
compiler, in the same vein as Pervasives? I would very much prefer not
having to tweak around the source code of ocamlc for this purpose.
Thanks,
David
--
David Teller-Rajchenbach
Security of Distributed
r.
Cheers,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
Caml-list mailing
sdon wrote:
> On Fri, 05 Sep 2008 14:33:43 +0200
> David Teller <[EMAIL PROTECTED]> wrote:
>
> > I'm doing some pre-treatment on the module structure before actually
> > generating documentation. In particular, I'd like to be able to find out
> > if the .
to do such a thing?
Thanks,
David
On Fri, 2008-09-05 at 14:03 +0200, Maxence Guesdon wrote:
> What do you mean by access ? do you want a link to a html page of the code ?
> And what do you mean by "reparse the [m_code]" ?
>
> Regards,
>
> Maxence
>
--
David Te
ere a
simple way to access the underlying implementation without having to
reparse [m_code]?
Thanks,
David
On Tue, 2008-09-02 at 13:47 +0200, David Teller wrote:
> Hi everyone,
>
> I'm currently toying with OCamlDoc, with very little success. I'm
> attempting to do two thin
According to the documentation, ocamlfind can manage that.
Cheers,
David
On Tue, 2008-09-02 at 14:48 +0200, Jan Kybic wrote:
>- how can I tell OcamlDoc to run a preprocessor on the file first?
> (I am using ocaml+twt)
--
David Teller-Rajchenbach
Security of Distributed S
And while I'm asking complex questions, can anyone think of a way of
asking OCamlDoc to resolve [string] to [String.t], ['a list] to ['a
List.t], ['a array] to ['a Array.t], etc?
Thanks,
David
On Tue, 2008-09-02 at 13:47 +0200, David Teller wrote:
> Hi everyone,
>
hole documentation of each of these
modules to be inlined.
Is that possible?
Thanks in advance,
David
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, b
anagement:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
David Teller-Rajchenbach
Security of Distributed Systems
http
://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1
On Sat, 2008-08-30 at 11:37 +0200, David Teller wrote:
> More details on the blog [1]. The code may be found on OCamlForge [2]. A
> GODI package is being prepared. Suggestions and discussions on this
>
pared. Suggestions and discussions on this
mailing-list are heartily welcome.
Cheers,
David
[1]
http://dutherenverseauborddelatable.wordpress.com/2008/08/29/ocaml-batteries-included-release-0-where-it-should-all-have-begun/
[2] http://forge.ocamlcore.org/frs/?group_id=17&release_id=41
--
Dav
Pervasives.string_of_format only accepts constant strings.
> Or is there some external library useful for this task?
>
> For the moment I have started to implement it myself for the limited
> set of format specifications I will need but if there is some more
> elegant solution I wou
answer this question: they are
> equivalent.
>
> The reduction is quite easy. A fork can be reduced to a spoon using a
> fire, an anvil and a hammer, and a spoon can be reduced to a fork using
> a saw.
>
> Hope this helps.
>
--
David Teller-Rajchenbach
Security of Di
Under Debian/Ubuntu, it's libgmp-ocaml .
I don't see any GODI package, though.
Cheers,
David
On Tue, 2008-07-22 at 14:47 -0700, Shivkumar Chandrasekaran wrote:
> Hi,
>
> Does anybody have an ocaml interface to GMP (Gnu Multi-Precision
> library)? Thanks,
>
>
On Mon, 2008-06-23 at 19:27 +0900, Jacques Garrigue wrote:
> From: David Teller <[EMAIL PROTECTED]>
> * first remark: ocamlc -i works even with non-generalizable types, as
> it does not generate any .cmi.
Interesting. I'm not sure it's usable in my case, but it's
On Sun, 2008-06-22 at 01:27 +0200, Christophe TROESTLER wrote:
> On Sun, 22 Jun 2008 01:11:59 +0200, David Teller wrote:
> >
> > I could have a value (let's call it "witness") with type
> > [> ] ref
>
> Why do you want it to be mutable?
Because
happens in haskell (and I sometimes feel that I'm
> reinventing the wheel -- although it's very educational!), but I'd
> prefer to stick with ocaml if possible.
>
> Warren
>
--
David Teller
Security of Distributed Systems
http://www.uni
at
with ocamlc -i or such.
My question is: is there a way to hijack polymorphic variants into doing
what I wish? Or to encode this behaviour somehow?
Thanks,
David
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry re
g-sections-don't-compose-),
> did anyone invent and implement a usable type or other system for
> making concurrency
> and parallelism safe?
>
> If the answer is STM, please show me some non-trivial application that
> uses it, preferably
> in an impure language.
--
David Teller
lse
during that copy.
> On the contrary, that is not a theoretical statement at all: it
> already
> happened. F# already makes it much easier to write high performance
> parallel
> algorithms and its concurrent GC is the crux of that capability.
Examples ? Pretty please ?
Ch
ll.
Please stop that. Both of you.
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
Caml-list mailing
gt;
> A concurrent GC is the only major issue. Everything else is
> comparatively
> easy.
Well, if you get to write a concurrent GC for the core of OCaml, feel
free to alert the community. People might be willing to help with
advanced features.
Cheers,
David
--
David Teller
Security
; versions of the functions if you want exceptions.
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
x27;t figure out what it looks like.
>
> Thanks,
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
compiler for OCaml (or whichever other language) and gradually improving
the forked compiler, but that's a different story altogether.
Cheers,
David
[1] https://forge.ocamlcore.org/frs/shownotes.php?release_id=12
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/
lurking whenever the source packages are updated.
> This is normal behaviour too. You're redefining a module here, and the
> way it is defined is reflected by the html code generated by ocamldoc, with
> a link on the Sub.SubSub page.
I have a link to an empty Sub.SubSub page. Is tha
gt;(** This is {!B}. It contains a single value {!B.b}. *)
>module B = struct let b = 1 end
>
>let a = 0
>
> end
> =
>
> $ ocamldoc -version
> Ocamldoc 3.10.1
> $ ocamldoc -html sub.ml
>
> Hope this helps,
> Julien Signoles
>
--
s in Camomile is dangerous - the two cannot then
> be used at the same time. This is really a problem with extlib, it
> just shouldn't be distributing this module.
>
> In any case, why don't you just use Camomile?
>
> Rich.
>
--
David Teller
Security of Distributed Sy
eg:
>
> let (∪) = ...
> let (⊆) = ...
>
> Rich.
>
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
r ocamlbuild plug-in or anything else
that could help me document my code without having to rewrite everything
and/or to copy and paste thousands of lines of .mli ?
Cheers,
David
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angr
his would make
> it monolithic, meaning that all programs would have to include all the
> standard library.
Would that change the final binary ?
Cheers,
David
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: Fr
. and I wouldn't want ocamlbuild or ocamldep to decide
compiling string.ml before inria.ml.
Cheers,
David
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act
brings liqu
, which then lets me proceed with
this manipulation. Unfortunately, that's a bit clumsy, not to mention
that I haven't found a nice way to get this all to build in one go with
ocamlbuild.
I'd like to know if there's a better mechanism.
Thanks in advance,
David
--
David Teller
gt;
> bye,
>Till
>
>
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
Caml-list mailing li
; Whatever it's just a minor quibble, but this thread was about
> syntax extensions, after all.
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities n
ing omissions, like try..finally, but they should
> be fixed properly in the compiler and not using camlp macros.
>
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act b
Good idea. Would you handle this wiki ?
Cheers,
David
On Fri, 2008-04-25 at 00:16 +0800, Stefano Zacchiroli wrote:
> What about the following 2 phases:
> 1) prepare a list of nominations, maybe as a page on cocanwiki
> 2) vote on them using a Doodle poll
--
David Teller
Se
that you can almost consider them as standard language features.
> >
--
David Teller
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act brings
liquidations.
___
1 - 100 of 101 matches
Mail list logo