Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
Cc: caml-list@inria.fr
Subject: Re: ICFP'00 programming contest
Date: Fri, 1 Sep 2000 14:38:34 +0200	[thread overview]
Message-ID: <20000901143834.36273@pauillac.inria.fr> (raw)
In-Reply-To: <39AF79D4.250B979F@univ-savoie.fr>; from Christophe Raffalli on Fri, Sep 01, 2000 at 11:41:40AM +0200

> I tried to compile the raytracer ...
> > /tmp/camlasm0.s: Assembler messages:
> > /tmp/camlasm0.s:235: Error: suffix or operands invalid for `fld'
> Did you use a special version of ocamlopt ?

Actually, we used a post-3.00 development version.

I'm embarrassed to admit it, but the ray-tracer actually triggers a
rather unlikely bug in the ocamlopt 3.00 compiler.
(The development version we used still has the bug, but by sheer luck
doesn't trigger it.)

So, this programming contest actually has some technical value as a
bug finder, in addition to its amusement value :-)

I modified the source code available on the Web site so that it
doesn't run into the bug.  (The bug pops up in a function that is
not normally called, anyway.)

Enjoy,

- Xavier Leroy



  parent reply	other threads:[~2000-09-01 16:32 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-08-22  9:01 Julian Assange
2000-08-22  9:56 ` Xavier Leroy
2000-08-22 10:25   ` Julian Assange
2000-08-22 11:26     ` Xavier Leroy
2000-08-30 13:34   ` Julian Assange
2000-08-31  9:37     ` Xavier Leroy
2000-08-31 19:19       ` Francois Rouaix
2000-08-31 19:50         ` Xavier Leroy
2000-09-06  5:21           ` John Max Skaller
2000-09-07  9:42             ` Xavier Leroy
     [not found]       ` <39AF79D4.250B979F@univ-savoie.fr>
2000-09-01 12:38         ` Xavier Leroy [this message]
2000-09-01 20:20           ` Pascal Grosse
2000-09-01 20:01       ` Patrick M Doane
2000-08-22 12:31 Damien Doligez
2000-09-06 19:56 ortmann

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=20000901143834.36273@pauillac.inria.fr \
    --to=xavier.leroy@inria.fr \
    --cc=Christophe.Raffalli@univ-savoie.fr \
    --cc=caml-list@inria.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