From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA02193; Thu, 21 Jun 2001 14:22:08 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA02190 for ; Thu, 21 Jun 2001 14:22:00 +0200 (MET DST) Received: from quetelet.bik-gmbh.de (quetelet.bik-gmbh.de [194.233.237.132]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5LCLqX09897 for ; Thu, 21 Jun 2001 14:22:00 +0200 (MET DST) Received: from hars by quetelet.bik-gmbh.de with local (Exim 3.12 #1 (Debian)) id 15D3SJ-0007cu-00 for ; Thu, 21 Jun 2001 14:21:03 +0200 Date: Thu, 21 Jun 2001 14:21:03 +0200 From: Florian Hars To: caml-list@inria.fr Subject: [Caml-list] Why isn't 4=4 in a bytecode program? Message-ID: <20010621142103.A29289@hars> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (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