Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Fri, 5 Feb 1993 14:26:03 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA15344;
          Fri, 5 Feb 93 06:17:04 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from air52.larc.nasa.gov by ted.cs.uidaho.edu (16.6/1.34) id AA15339;
          Fri, 5 Feb 93 06:16:56 -0800
Received: by air52.larc.nasa.gov (5.65.1/lanleaf2.4) id AA24770;
          Fri, 5 Feb 93 09:19:19 -0500
Message-Id: <9302051419.AA24770@air52.larc.nasa.gov>
Date: Fri, 5 Feb 93 09:19:19 -0500
From: Victor "A." Carreno <vac@gov.nasa.larc.air16>
To: Tom.Melham@uk.ac.cam.cl
Subject: Re: sticky types
In-Reply-To: Mail from 'Tom Melham <Tom.Melham@cl.cam.ac.uk>' dated: Fri, 05 Feb 93 10:44:10 +0000
Cc: info-hol@edu.uidaho.cs.ted


Hi Tom,

Thank you for your response. I did read section "Sticky types and default
types". (Many times in fact :-) ) 

>  ...    even though the variable "A" has sticky type ":num->bool", it
> is partially constrained in the quotation to have a type of the form
> "?1 -> ?2", hence the sticky type is not used.

With your explanation, I can see what is happening. Basically, you can
not use sticky types on any function which appear with arguments in a term!

Maybe I didn't want to reach that conclusion when I read it.

Regards,

Victor.

PS by 'you can not use' I mean it will not do any good to you because it
will always be partially constrained.