tc erroneously reports illegal fold function
|Created on||Jun 17, 2003 13:09|
|Resolved on||Jun 23, 2003 15:47|
The type inference systems complains about an illegal fold function within a fold with-loop although the fold function is in fact perfectly legal. Oddly enough, this error occurs only if the goal expression of the fold WL equals 0 (zero) ... A SAC example for reproducing this bug will be given as attachment.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information