[Caml-list] Why isn't 4=4 in a bytecode program?

[Caml-list] Why isn't 4=4 in a bytecode program?

[Florian Hars]

(I think I have sent this before with the wrong sender address, so a 
copy may still be lingering in the list owners inbox, please delete it)

I'm lost, what happens here:

58       <|b|>if p = l then true
(ocd) print p
p : int = 4
(ocd) print l
l : int = 4
(ocd) step
Time : 396277983 - pc : 68528 - module Stringhilfsfunktionen
59       else <|b|>if pat.[p] <> s.[p] then false
(ocd) step
Time : 396277984
Program end.
Uncaught exception: Invalid_argument("String.get")

This happens with
$ ocamlc -v
The Objective Caml compiler, version 3.01
Standard library directory: /usr/lib/ocaml
$  dpkg -l ocaml | grep ocaml
ii  ocaml          3.01-6         ML language implementation with a class-base

The program works if I compile it with ocamlopt (and I think I have
turned -unsafe off).

Yours, Florian Hars.

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Why isn't 4=4 in a bytecode program?

[Xavier Leroy]

> I'm lost, what happens here:

No one can tell unless you enclose a complete program reproducing the
problem.  Ah, and please send it to caml-bugs@inria.fr rather than to
the 500+ subscribers of caml-list.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Why isn't 4=4 in a bytecode program?

[Florian Hars]

On Thu, Jun 21, 2001 at 02:49:55PM +0200, Xavier Leroy wrote:
> > I'm lost, what happens here:
> No one can tell unless you enclose a complete program reproducing the
> problem.

Drats. I'm afraid I made some sublte changes to my program, and now I can no 
longer reproduce the error myself...

If it resurfaces (and I find the time to isolate it, last time it only
happened after the program had processed a large amount of confitential data)
I will report it to caml-bugs.

Yours, Florian Hars.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr