Date: Tue, 28 Sep 2004 00:20:02 -0500 (CDT)
From: "Gary T. Leavens" <leavens@cs.iastate.edu>
To: Gopalan Nadathur <teyjus@cs.umn.edu>
Subject: Re: Type incorrect goals in queries aren't noted as type incorrect
Hi Gopalan,
On Tue, 28 Sep 2004, Gopalan Nadathur wrote:
> The reason why you see this behaviour is that the present version of the
system
> will infer types for new constants and, in this case, it can consistently
infer
> the type o for f.
>
> It has been suggested that type inference not be done for constants (which
> include predicate symbols) and there is considerable merit to this. This
will
> likely be turned off in a future version. Even now, whenever types are
inferred
> for constants in a module, a warning is issued and the inferred type is
> displayed.
>
> If type inference is turned off, it will be impossible to introduce new
> constants in queries. This may be okay in the end but this is the only
(mild)
> worry because of which types are still inferred.
Ah, I see, sorry to complain about this then.
I'm just getting used to things...
Gary T. Leavens
Department of Computer Science, Iowa State University
229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580