Return-Path: Return-Path: Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET with NIFTP to fgate (PP) id <3084-0@swan.cl.cam.ac.uk>; Mon, 25 Mar 1991 12:32:42 +0000 Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk with SMTP inbound id <8331-4@sun2.nsfnet-relay.ac.uk>; Mon, 25 Mar 1991 12:24:19 +0000 Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP id aa04853; 25 Mar 91 11:53 GMT Received: from sun2.nsfnet-relay.ac.uk by ted.cs.uidaho.edu (15.11/1.34) id AA28544; Mon, 25 Mar 91 04:12:48 pst Received: from lfcs.edinburgh.ac.uk by sun2.nsfnet-relay.ac.uk via JANET with NIFTP id <6939-0@sun2.nsfnet-relay.ac.uk>; Mon, 25 Mar 1991 11:28:05 +0000 From: Mike Fourman Date: Mon, 25 Mar 91 11:16:29 GMT Message-Id: <8284.9103251116@subnode.lfcs.ed.ac.uk> To: guttman@org.mitre.linus Subject: Whoops! Correction Re: semantics of polymorphic operators Cc: cbj@uk.ac.ed.lfcs, dts@uk.ac.ed.lfcs, info-hol@edu.uidaho.cs.ted, jhm@uk.ac.ed.lfcs, simon@uk.co.ahl Thanks to Simon Finn at AHL for inferring what I intended: ----- Begin Included Message ----- From simon@uk.co.ahl Mon Mar 25 10:36:33 1991 > Consider, for example, > > \forall x: 'a . x = x > > this is a term (of type bool) whose interpretation depends on the > interpretation of the type 'a. Surely not, for this particular term? \forall x: 'a \forall y: 'a. x = y may be a better example to use. Simon ----- End Included Message -----