Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 23 Dec 1992 17:52:40 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10332; Wed, 23 Dec 92 09:39:31 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ganymede.inmos.co.uk by ted.cs.uidaho.edu (16.6/1.34) id AA10327; Wed, 23 Dec 92 09:39:18 -0800 Received: from frogland.inmos.co.uk by ganymede.inmos.co.uk; Wed, 23 Dec 92 16:50:53 GMT From: David Shepherd Message-Id: <5531.9212231651@frogland.inmos.co.uk> Subject: Re: define_type extension? To: des@uk.co.inmos (David Shepherd) Date: Wed, 23 Dec 1992 16:51:02 +0000 (GMT) Cc: shb@com.oracorp, info-hol@edu.uidaho.cs.ted In-Reply-To: <5255.9212231331@frogland.inmos.co.uk> from "David Shepherd" at Dec 23, 92 01:31:14 pm X-Mailer: ELM [version 2.4 PL3] Content-Type: text Content-Length: 546 David Shepherd has said: > shb@oracorp.com has said: > i think the reason isn't very profound ... its just that the type > definition mechanism is designed to handle thay sort of type. ^^ insert a "not" in there please! -------------------------------------------------------------------------- david shepherd: des@inmos.co.uk tel: 0454-616616 x 625 inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq 1992: celebrate the quincentenary of columbus getting lost