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 SAA27008; Thu, 19 Jul 2001 18:20:27 +0200 (MET DST) 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 SAA27004 for ; Thu, 19 Jul 2001 18:20:26 +0200 (MET DST) Received: from shaker.exelixis.com (shaker.exelixis.com [209.0.11.254]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6JGKPT03340 for ; Thu, 19 Jul 2001 18:20:25 +0200 (MET DST) Received: by shaker.exelixis.com; id JAA22592; Thu, 19 Jul 2001 09:20:17 -0700 (PDT) Received: from unknown(172.29.16.196) by shaker.exelixis.com via smap (V5.5) id xma022579; Thu, 19 Jul 01 09:19:48 -0700 Message-ID: <3B5708D8.82CAD342@quasar.ipa.nw.ru> Date: Thu, 19 Jul 2001 09:20:40 -0700 From: "Alexander V. Voinov" X-Mailer: Mozilla 4.75 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 To: "caml-list@inria.fr" Subject: Re: [Caml-list] default values for record field definitions References: <3B565E7B.35BB6073@quasar.ipa.nw.ru> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi All, Ian Zimmerman wrote: > type rec1 = { attr1: type1; attr2: type2; attr3: type3 }; > let rec1_default = { attr1 = val1; attr2 = val2; attr3 = val3 } in > let x = { rec1_default with > attr2 = val2' > } Dmitry Bely wrote: > > type rec1 = { attr1: type1; attr2: type2; attr3: type } > let default_rec1 = { attr1 = init_val1; attr2 = init_val2; attr = init_val3 } > ... > let x = { default_rec1 with attr2 = val2 } > Yes, this is nice. But it's a workaround. Alexander ------------------- 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