Don <> changed:

           What    |Removed                     |Added
           Keywords|                            |patch

--- Comment #7 from Don <> 2009-09-29 23:52:50 PDT ---
(In reply to comment #1)
> This ICE is because it needs to know the return type, before it can create 
the result variable for the post-condition. Creation of the result variable 
should probably happen in ReturnStatement::semantic, and the semantic for the
> post-condition run _after_ the function semantic, instead of before.

That wouldn't actually work, because there may be more than one return 
statement -- the result variable needs to be added at the start of the 
function. Maybe it's better for now to simply disallow postconditions on 
functions with type inference return statements, turning it from an ICE into an 
obscure rejects-valid.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to