/lib/ocaml/camlp4/camlp4lib.cma(Camlp4):
Reference to undefined global `Dynlink'
2012/3/8 Alan Schmitt alan.schm...@polytechnique.org
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
: Cannot find file dynlink.cmxa
make: *** [bin/why3.opt] Error 2
2012/2/28 David MENTRE dmen...@linux-france.org
Hello,
2012/2/27 Pierre-Alexandre Voye ontolog...@gmail.com:
make: *** Waiting for unfinished jobs
Are you using parallel compilation of Why3 (make -j /n/?). I had
2012/2/27 Damien Doligez damien.doli...@inria.fr
Hi Alan,
Following a suggestion by Daniel Bünzli, I used the minimum example from
http://caml.inria.fr/mantis/view.php?id=5093 then I can see that native
dynlink does work.
However two questions remain. I get `ld: warning:
Hello, I'm trying to implement a scala concept partial application in
which one can chains pattern matching function. If the first failed, the
second is tried.
It seems it is impossible to give an exception as argument to a function.
exception Nothing;;
let (|||) a b = try a
with
| Nothing
[There's a french version below]
Hello,
I am currently developing a multi agent system engine in Ocaml, and
although a first version of this engine works really well, I have some
difficulties to generalize the engine to any kind of agent. The difficulty
comes from the organization, in particular
Maybe you could use Jérome Diminio's utop, which provide automatic
completion in the top level. The great difficulty is just to adapt ncurses
to javascript..
Le 18 déc. 2011 15:43, Çagdas Bozman cagdas.boz...@ocamlpro.com a
écrit :
How many bells whistles would we have to make a try it web
2011/12/8 Benedikt Meurer benedikt.meu...@googlemail.com
The problem is IMHO that there is no one at INRIA caring about ARM. In an
open model we would have maintainers for the ARM port(s).
Note that if Ocaml compiler would have a C backend, all these problems or
architecture port would
2011/12/7 Paolo Donadeo p.dona...@gmail.com
I don't say there are no problems, and everything is fine. But if I
have do point at a problem, especially for newcomers, I would say that
we need a book, an up to date book, written in good English and
published by O'Relly.
The French book Le
And one of the great sub-topic is how to avoid that students *hate* FP.
When i say to other programmers i code in ocaml, they answer they
absolutely hate this language they have to learn at university. I met this
effect more than 15 times !
There's a great problem of old boring professors who
-Alexandre Voye wrote:
I have a stupid question : I wonder if it would not be a bad idea th...
I have some experience in thie area. I work on the DDC compiler [0]
a compiler for a strict by default (optionally lazy) evaluation
dialect of Haskell.
When I joined the project the compiler had
Maybe an issue with android's libc which manage float in certain
circumstance ?
Le 28 juin 2011 19:52, SerP serp...@gmail.com a écrit :
ocaml 3.12.0
On iphone it's work's too. But on android - gcc-4.4 it's not working.
On Tue, Jun 28, 2011 at 7:30 PM, ri...@happyleptic.org wrote:
-[ Tue,
11 matches
Mail list logo