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 MAA07664; Sat, 22 Nov 2003 12:49:12 +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 MAA07644 for ; Sat, 22 Nov 2003 12:49:11 +0100 (MET) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAMBn9105500 for ; Sat, 22 Nov 2003 12:49:10 +0100 (MET) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1ANWGC-00031W-00; Sat, 22 Nov 2003 11:49:08 +0000 Date: Sat, 22 Nov 2003 11:49:08 +0000 To: Kim Nguyen Cc: caml-list@inria.fr Subject: Re: [Caml-list] Accuracy of Gc.stat () Message-ID: <20031122114908.GA11593@redhat.com> References: <1970C334-1AB9-11D8-ADB3-000393DBC266@epfl.ch> <20031122012054.0dbd44e2.nguyen@bk.ru> <20031122114350.GA11531@redhat.com> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="EeQfGwPcQSOJBaQU" Content-Disposition: inline In-Reply-To: <20031122114350.GA11531@redhat.com> User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 kim:99 endline:01 endline:01 bug:01 freshmeat:01 team's:01 ltd:98 htmlman:01 bool:01 bool:01 ocaml:01 ocaml:01 caml:01 bytecode:01 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --EeQfGwPcQSOJBaQU Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Nov 22, 2003 at 11:43:50AM +0000, rich wrote: > On Sat, Nov 22, 2003 at 01:20:54AM +0100, Kim Nguyen wrote: > > external is_bytecode : unit -> bool =3D "is_bytecode_bytecode" "is_byte= code_native" >=20 > Neat trick. This _ought_ to work, but it doesn't for some reason: >=20 > let arg =3D (true, false)=20 > external is_bytecode : bool * bool -> bool =3D "%field0" "%field1"=20 > =20 > let () =3D=20 > if is_bytecode arg then=20 > print_endline "Bytecode!"=20 > else=20 > print_endline "Native!"=20 >=20 > Perhaps someone can explain why ... OK, closer inspection of the manual[*] reveals why this doesn't work. Surely OCaml should flag the above code as a bug, because there are fewer than the magical 6 arguments? Rich. [*] http://caml.inria.fr/ocaml/htmlman/manual032.html --=20 Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - improving website return on investment 'There is a joke about American engineers and French engineers. The American team brings a prototype to the French team. The French team's response is: "Well, it works fine in practice; but how will it hold up in theory?"' --EeQfGwPcQSOJBaQU Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/v0004le1M6q9pzoRAnDzAJ9WmyL4PHF9+iPT9ittqWtC96hoDACfXnVI Pg2nVR6o7OwGbxgv+abfHDA= =R+Or -----END PGP SIGNATURE----- --EeQfGwPcQSOJBaQU-- ------------------- 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