Up to top level
compiler bugs   dustin's bugs   fixed   incoming   nonproblems   tests   website bugs  

Logged in as guest

Viewing incoming/150
Full headers

From: "Gary T. Leavens" <leavens@cs.iastate.edu>
Subject: Re: Type incorrect goals in queries aren't noted as type incorrect
Compose reply
Download message
Move To:
0 replies:
0 followups:

Private message: yes  no

Notes:

Notification:


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

Up to top level
compiler bugs   dustin's bugs   fixed   incoming   nonproblems   tests   website bugs  

Logged in as guest


[ Home | Overview | Download | Language Documentation | Bug Tracking | Implementation Documentation | Links ]