Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Francis Dupont <Francis.Dupont@enst-bretagne.fr>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: David McClain <dmcclain1@mindspring.com>, caml <caml-list@inria.fr>
Subject: Re: [Caml-list] 64-bit OCaml?
Date: Sun, 07 Nov 2004 21:18:43 +0100	[thread overview]
Message-ID: <200411072018.iA7KIhSj082321@givry.rennes.enst-bretagne.fr> (raw)
In-Reply-To: Your message of Sat, 06 Nov 2004 11:06:30 +0100. <20041106100630.GB26835@yquem.inria.fr>

 In your previous mail you wrote:

   ...  Still, I can't
   perform them until we have G5 machines at INRIA, which may take a while.
   (Pretty much the only Apple hardware we buy are Powerbooks, and it's
   unclear when G5 Powerbooks will be mainstream.)
   
=> Xavier, this caqn be true in Rocquencourt but in Rennes the project
Paris has some G5 and even a Xserve G5 cluster... So this can be a
good opportunately to visit us in Brittany. More seriously I believe
it is possible to get access to an INRIA G5 for porting ocamlopt
on it as soon as real 64-bit support will be available.

Thanks

Francis.Dupont@enst-bretagne.fr


      parent reply	other threads:[~2004-11-07 20:18 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-11-06  4:02 David McClain
2004-11-06  5:05 ` [Caml-list] " David Brown
2004-11-06  9:43   ` Sven Luther
2004-11-06  5:15 ` David Brown
2004-11-06  9:41 ` Sven Luther
2004-11-06 10:06 ` Xavier Leroy
2004-11-06 12:16   ` Sven Luther
2004-11-06 15:47   ` John Carr
2004-11-07 20:18   ` Francis Dupont [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=200411072018.iA7KIhSj082321@givry.rennes.enst-bretagne.fr \
    --to=francis.dupont@enst-bretagne.fr \
    --cc=Xavier.Leroy@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=dmcclain1@mindspring.com \
    /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