This is a commonly requested feature. One issue is that a file a.ml creates
a module A. However, a file a.mli does not create a module type A. I'm not
sure why this is the case. Does anyone know if there is a specific reason?
On Fri, Apr 17, 2009 at 4:51 PM, Peter Hawkins wrote:
> Hi...
>
> I hav
Le 18 avr. 09 à 00:15, Philippe Wang a écrit :
On Apr 16, 2009, at 11:45 CEDT, Philippe Wang wrote:
A negative answer would imply that you patched the OCaml
runtime to make it reentrant. To illustrate my point, I will take
the example of the file "byterun/compare.c". In this file, the
code f
On Apr 18, 2009, at 00:20 CEDT, Joel Reymont wrote:
On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote:
PS. We tried to switch to 3.11, but it seems to need too much
time, it's far from being a piece of cake.
We have tried to make it work on Leopard (actually, I failed the
1st time - half
On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote:
PS. We tried to switch to 3.11, but it seems to need too much time,
it's far from being a piece of cake.
We have tried to make it work on Leopard (actually, I failed the 1st
time - half the way, I may try again if I have time).
What was
On Apr 16, 2009, at 11:45 CEDT, Philippe Wang wrote:
A negative answer would imply that you patched the OCaml
runtime to make it reentrant. To illustrate my point, I will take
the example of the file "byterun/compare.c". In this file, the
code for the comparison of values makes use of a global
Hi,
I would like to find the easiest block structure to represent nested leaves and
nodes in a tree structure that works for OCaml. In Common Lisp there is the
help of indentation, but I haven't found one for OCaml.
We have one parent node composed of one leaf and a nested node which has
ano
This post announces the 1.2 release of the OCaml-Java project.
The goal of the OCaml-Java project is to allow seamless integration of
OCaml and Java.
Home page: http://ocamljava.x9c.fr
Download page: http://ocamljava.x9c.fr/downloads.html
Toplevel applet: http://ocamljava.x9c.fr/toplevel/tople
Peter Hawkins writes:
> Hi...
>
> I have a quick question. I want to extend the List module with various
> functions that I want that aren't present in the standard library,
> much as the Batteries ExtList library does.
>
> I might write the following code in "mylibrary.ml":
> module MyList = str
Hi,
> I have a quick question. I want to extend the List module with various
> functions that I want that aren't present in the standard library,
> much as the Batteries ExtList library does.
I reckon you want something like this:
http://caml.inria.fr/mantis/view.php?id=3013
Cheers,
Dario Tei
"David Allsopp" writes:
> Goswin von Brederlow wrote:
>> I would actually like to propose that to work on a type
>> level. Currently we have:
>>
>> I propose that records can be subtyped if their prefix matches and
>> ".." would be used to denote the subtype of any record with this
>> prefix:
>
Hi...
I have a quick question. I want to extend the List module with various
functions that I want that aren't present in the standard library,
much as the Batteries ExtList library does.
I might write the following code in "mylibrary.ml":
module MyList = struct
include List
let foo x = ... c
On Fri, Apr 17, 2009 at 11:24 AM, Joel Reymont wrote:
> Can someone shed light on how, where and why three different
> parsers are required for camlp4? Is this still the case with 3.11?
I haven't read the Mainland paper so I don't know exactly what he's
talking about, but with the MetaGenerator m
From the quasiquoting paper by Geoffrey Mainland [1], page 7:
"The major advantage of our approach over that of camlp4
is that we demonstrate how to use generic programming
to reuse a single parser to parse quasiquoted patterns,
quasiquoted expressions and plain syntax that does not
include antiq
There's an example in the Geoffrey Mainland's Haskell
quasiquotation paper [1] that looks like this:
peep :: [ Asm ] -> [ Asm ]
peep [:asm| mov&s $&r1, &r2
cmp $&r3, &r4
je &lbl |] : rest
| r3 = r1 ^ r4 = r2
= [:asm| mov&s $&r1, &r2
jmp &lbl |] : rest
...
Is
2nd CALL FOR PAPERS
The 2009 ACM SIGPLAN Workshop on ML
To be held in conjunction with ICFP 2009
on Sunday, August 30, 2009
in Edinburgh, Scotland, UK
http://www.mpi-sws.org/~rossberg/
Thank your for your answer, but it does not solve my actual
problem: suppose I have a data-structure with no cons (for example
a matrix). I know how to implement a map function but I don't know
how to type it as a method.
Jean
2009/4/17 Peng Zang
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
See previous answers to this question:
http://groups.google.com/group/fa.caml/browse_thread/thread/9bb6ff19373371fb
I've used the classical solution thus far and have not run into any trouble..
Peng
On Friday 17 April 2009 05:37:52 am Jean Balthaza
Dear OCamlers (again !),
I tried this time to specify explictly what I expect from a container. This
specification is given by the signature CONTAINER below. Everyhting works
perfectly but I don't understand why it fails if I remove the 'private'
keyword... Why
am I only able to extend an object w
Dear OCamlers,
I try to define a polymorphic container encapsulating a list. I'd like to
define
a map and a fold method. I have read in the documentation how
to specify a polymorphic fold method but I'm unable to transpose
for the map method. I include in the code below a tentative: the map1 meth
> The Batteries Print module and associated syntax extension may be a
> useful base for implementing something similar to what you are
> proposing:
>
> http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=blo
>b_plain;f=src/core/extlib/print.ml;hb=HEAD and
> http://git.ocamlcore.
20 matches
Mail list logo