From: Luc Maranget <luc.maranget@inria.fr>
To: Samuel.Mimram@ens-lyon.fr (Samuel Mimram)
Cc: Caml-list@inria.fr
Subject: Re: [Caml-list] What has become JoCaml ?
Date: Wed, 29 Jan 2003 11:56:54 +0100 (MET) [thread overview]
Message-ID: <200301291056.LAA0000011460@beaune.inria.fr> (raw)
In-Reply-To: <20030129113100.1e53a9d4.Samuel.Mimram@ens-lyon.fr> from "Samuel Mimram" at jan 29, 2003 11:31:00
>
> Hello.
>
>
> I have recently heard of a version of JoCaml on OCaml's CVS (jocamltrunk) programmed with OCamlP4. I have managed to compile it ; however I have noticed that the syntax has completely changed since the last official beta version (1.07). Where could I find more informations about this version, in particular about it's new syntax ?
>
> Moreover, is this project being actively developped ;) or is this the last version that will ever be implemented ?
>
> I know I should not really have posted this here but JoCaml's mailling-list seems to be dead.
>
>
> Thank you.
>
>
> --
> Samuel Mimram
>
> Samuel.Mimram@ens-lyon.fr
> -------------------
Hello, you have found the development version of jocaml.
Development is currently stopped but will be restarted.
Of course, there is currently no documentation about this totally
unstable and non-working version.
Yes there will be syntax changes.
The main idea is to avoid the duplication of AST nodes of the old
jocaml. Then, the typechecker is responsible for discriminating between
processes and expressions.
--Luc
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
prev parent reply other threads:[~2003-01-29 10:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-29 10:31 Samuel Mimram
2003-01-29 10:56 ` Luc Maranget [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200301291056.LAA0000011460@beaune.inria.fr \
--to=luc.maranget@inria.fr \
--cc=Caml-list@inria.fr \
--cc=Samuel.Mimram@ens-lyon.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).