Bug 258304

Summary: function assume previus value
Product: [Applications] kalgebra Reporter: Diego Candido <kell.92.k>
Component: generalAssignee: Aleix Pol <aleixpol>
Status: RESOLVED FIXED    
Severity: normal    
Priority: NOR    
Version: unspecified   
Target Milestone: ---   
Platform: Compiled Sources   
OS: Linux   
Latest Commit: Version Fixed In:

Description Diego Candido 2010-11-29 20:34:55 UTC
Version:           unspecified (using KDE 4.5.1) 
OS:                Linux

Let's say we have the following function:

f:=x->piecewise {x>10 ? f(x+1), ? x}

if i'll rewrite it, it will be evaluated as:

x->piecewise { x>10 ? (x->piecewise { x>10 ? f(x+1), ? x })(x+1), ? x }

so f(x+1) will be evaluated and exchanged with his definition

Reproducible: Always


Actual Results:  
Function is exchanged with its previous definition

Expected Results:  
Function must not be exchanged for its definition
Comment 1 Aleix Pol 2010-12-14 05:37:01 UTC
SVN commit 1206278 by apol:

Forget about the older value of the variable before defining the new one.

BUG: 258304


 M  +1 -0      analyzer.cpp  


WebSVN link: http://websvn.kde.org/?view=rev&revision=1206278