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 XAA25657; Wed, 31 Dec 2003 23:00:00 +0100 (MET) 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 WAA25820 for ; Wed, 31 Dec 2003 22:59:59 +0100 (MET) Received: from glow.phpwebhosting.com (Hosting-132-76.PHPWebHosting.Com [64.72.132.76] (may be forged)) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id hBVLxvL18443 for ; Wed, 31 Dec 2003 22:59:58 +0100 (MET) Received: (qmail 27465 invoked from network); 31 Dec 2003 21:59:54 -0000 Received: from unknown (HELO sparky) (24.163.168.219) by hosting-132-76.phpwebhosting.com with SMTP; 31 Dec 2003 21:59:54 -0000 Content-Type: text/plain; charset="us-ascii" From: Tom Hawkins Organization: Launchbird Design Systems, Inc. To: caml-list@inria.fr Subject: [Caml-list] Invalid_argument("equal: abstract value")? Date: Wed, 31 Dec 2003 15:55:47 -0600 User-Agent: KMail/1.4.3 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Message-Id: <200312311555.47555.tom@launchbird.com> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; no-no:01 952:99 compiler:01 ints:01 int:01 int:01 comparison:02 comparison:02 unit:03 string:03 string:03 argument:03 abstract:03 abstract:03 data:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I haven't seen this error before. Can someone provide an explanation? I've traced the problem down to a structural comparison (=3D) between=20 two large data structures. I know functional comparisons are a=20 no-no, but what is an "abstract value"? The problem occurred when I added big integers (Big_int.big_int) to=20 the data structures under comparison. Suspecting big ints can't be=20 structurally compared, I tried the following, but the compiler=20 printed "false" as I would normally expect: let a =3D Big_int.zero_big_int =3D Big_int.unit_big_int in if a then print_string "true\n" else print_string "false\n"; Regards, Tom --=20 Tom Hawkins Launchbird Design Systems, Inc. 952-200-3790 http://www.launchbird.com/ ------------------- 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