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 WAA09256; Sat, 6 Mar 2004 22:46:25 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA08957 for ; Sat, 6 Mar 2004 22:46:23 +0100 (MET) Received: from rwcrmhc12.comcast.net (rwcrmhc12.comcast.net [216.148.227.85]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i26LkaVS021055 for ; Sat, 6 Mar 2004 22:46:37 +0100 Received: from stratocaster.home (c-24-3-150-197.client.comcast.net[24.3.150.197]) by comcast.net (rwcrmhc12) with ESMTP id <2004030621462001400ou72he>; Sat, 6 Mar 2004 21:46:20 +0000 Received: from ecc by stratocaster.home with local (Exim 4.30) id 1Azjch-0004cS-QX for caml-list@inria.fr; Sat, 06 Mar 2004 16:46:19 -0500 Date: Sat, 6 Mar 2004 16:46:19 -0500 To: OCaml List Subject: [Caml-list] structural comparison of records Message-ID: <20040306214619.GA17735@localhost> Mail-Followup-To: OCaml List Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5.1+cvs20040105i From: "Eric C. Cooper" X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; unspecified:01 int:01 int:01 comparison:02 comparison:02 structural:04 structural:04 seems:05 define:05 cooper:06 cooper:06 eric:06 eric:06 type:07 minor:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 69 Is it safe to depend on the fact that structural comparison of records proceeds in the order of the record fields? The implementation does this, but it seems to be left unspecified in the manual. For example, will type version = { major: int; minor: int } always be ordered as expected? Or should I define my own comparison function to be safe? -- Eric C. Cooper e c c @ c m u . e d u ------------------- 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