On 12-11-2008, Yaron Minsky <[EMAIL PROTECTED]> wrote:
> --===0504199661==
> Content-Type: multipart/alternative;
> boundary="=_Part_149466_21545266.1226454729004"
>
> --=_Part_149466_21545266.1226454729004
> Content-Type: text/plain; charset=ISO-8859-1
> Content-Transfer
I have the following situation:
- a signature S
- two modules A and B, which both implement S
- an ocamlyacc file which refers to an implementation of S
I want to generate two executable, one where A is used and another
where B is used.
The most logical thing would be to turn the ocamlyacc part
On Wed, Nov 12, 2008 at 03:30:22PM +0100, Andrej Bauer wrote:
> The most logical thing would be to turn the ocamlyacc part into a
> functor which accepts an implementation of S. But there does not seem
> to be any way of doing this. What can I do?
>
> Can menhir do this?
Yes, Menhir has a keywor
Hi all,
I've done my homework and I've collected few links about bdd
libraries. I still have few questions:
+ Is there a native (and efficient) ocaml BDD implementation ? In
particular, as pointed out on this mailing list, with variable ordering
and other possible optimizations that can be c
Pietro Abate wrote:
+ Do you know if there is an ocaml binding for buddy ?
= I guess no, but I hope I'm wrong...
I believe that Akihiko Tozawa wrote such a binding for his XSLT0
typechecker. You should check with him.
-- Alain
___
Caml-list mai
Le 12 nov. 08 à 03:21, Warren Harris a écrit :
On Nov 11, 2008, at 8:17 AM, [EMAIL PROTECTED] - [EMAIL PROTECTED] wrote:
Your (dual) suggestion of compilation of Java sources
into either OCaml sources of OCaml binaries for ocamlrun
(or even interpretation of Java bytecode) is interesting.
T
Hello.
Readihg http://martin.jambon.free.fr/extend-ocaml-syntax.html, I
attempt to solve the exercise from chapter 13:
"Suggested exercise: implement and test a syntax extension which supports a
where construct. For instance,
a + b where a = 1 and b = 2
means
let a = 1 and b = 2 in a + b
TASE 2009 - FIRST CALL FOR PAPERS
**
* 3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
* (TASE 2009)
* 29-31 July 2009, Tianjin, China
* http://www.dur.ac.uk/ieee.tase2009
*
* For more information email: [EMAIL PROTECTED]
*
On Wed, Nov 12, 2008 at 04:13:00PM +0300, Anastasia Gornostaeva wrote:
> Hello.
>
> Readihg http://martin.jambon.free.fr/extend-ocaml-syntax.html, I
> attempt to solve the exercise from chapter 13:
>
> "Suggested exercise: implement and test a syntax extension which supports a
> where construct
Yaron Minsky wrote:
> Jane Street didn't host source code repos this year, so you need to go to
> the participants sites to get the source. Here's the post-mortem posted on
> Jane Street's blog:
>
> http://ocaml.janestreet.com/?q=node/38
>
> That includes links to most of the projects home page
Hi all,
Mostly out of curiosity, I'm having a look at the efuns Emacs
clone written in Ocaml:
http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm
and trying to compile it with a recent Ocaml compiler like 3.10.2.
>From the files, it seems that the last version of Ocaml this code
compiled
On Wed, Nov 12, 2008 at 6:03 PM, Erik de Castro Lopo <
[EMAIL PROTECTED] <[EMAIL PROTECTED]>> wrote:
> Yaron Minsky wrote:
>
> > Jane Street didn't host source code repos this year, so you need to go to
> > the participants sites to get the source. Here's the post-mortem posted
> on
> > Jane Stre
Yaron Minsky wrote:
> Just to be clear, the results of the Menhir project _have_ been rolled into
> a release.
Yes, I'm looking at menhir-20080912 right now :-).
> The multicore project has not yet, but that is coming.
And I'm looking forward to that.
Cheers,
Erik
--
Erik de Castro Lopo wrote:
> Hi all,
>
> Mostly out of curiosity, I'm having a look at the efuns Emacs
> clone written in Ocaml:
>
> http://pauillac.inria.fr/cdrom/prog/unix/efuns/eng.htm
>
> and trying to compile it with a recent Ocaml compiler like 3.10.2.
>
>>From the files, it seems tha
Martin Jambon wrote:
> Exactly.
>
> The 3.10 manual says:
>
> 7.2 Streams and stream parsers
>
> The syntax for streams and stream parsers is no longer part of the
> Objective Caml language, but available through a Camlp4 syntax
> extension.
Ah, thank you. I wasn't expecting that in the curre
15 matches
Mail list logo