Return-Path: Delivery-Date: Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 7 Jul 1993 16:01:43 +0100 Received: by cs.uidaho.edu (16.6/2.0) id AA25478; Wed, 7 Jul 93 07:51:51 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from dbms1.cs.byu.edu by cs.uidaho.edu (16.6/2.0) id AA25473; Wed, 7 Jul 93 07:51:46 -0700 Received: by dbms1.cs.byu.edu (5.57/Ultrix3.0-C) id AA02515; Wed, 7 Jul 93 08:52:58 -0600 Message-Id: <9307071452.AA02515@dbms1.cs.byu.edu> To: shaw@cs.ucdavis.edu (Rob Shaw) Cc: info-hol@cs.uidaho.edu Subject: Re: automatic con(de)structors ? In-Reply-To: Your message of Wed, 07 Jul 93 10:53:14 +0100. <17818.9307070953@frogland.inmos.co.uk> Date: Wed, 07 Jul 93 08:52:58 -0600 From: Phil Windley X-Mts: smtp On Wed, 07 Jul 93 10:53:14 BST, des@inmos.co.uk wrote: +------------ | take a look at Phil Windley's datatype library ... (I think) this does | the sort of things you are wanting. | | Having said this ... it doesn't seem to be in the contrib directory | at cl.cam.ac.uk ... though, it was posted on this mailing list a few | months back so you could find it by trawling through the info-hol | library. I'm afraid I don't have a copy. OK, I admit I've been lazy and haven't written any documentation yet, hence nothing in contrib. I'll send the code directly to Rob. Anyone else who wants it send me mail and I'll do the same. BTW, in case anyone is wondering about the address I'm posting from, I've moved from the University of Idaho to Brigham Young University. There is no one else here doing FM, but we'll change that soon enough. My new address, etc. is below. --phil-- Phillip J. Windley, Asst. Professor | windley@cs.byu.edu Laboratory for Applied Logic | Dept. of Computer Science, TMCB 3370 | Brigham Young University | Phone: 801.378.3722 Provo UT 84602-6576 | Fax: 801.378.7775