Date: Tue, 28 Sep 2004 00:20:02 -0500 (CDT)
From: "Gary T. Leavens" <email@example.com>
To: Gopalan Nadathur <firstname.lastname@example.org>
Subject: Re: Type incorrect goals in queries aren't noted as type incorrect
On Tue, 28 Sep 2004, Gopalan Nadathur wrote:
> The reason why you see this behaviour is that the present version of the
> will infer types for new constants and, in this case, it can consistently
> 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
> likely be turned off in a future version. Even now, whenever types are
> for constants in a module, a warning is issued and the inferred type is
> 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
> 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