tc erroneously reports illegal fold function


Bugzilla Link	18
Created on	Jun 17, 2003 13:09
Resolution	FIXED
Resolved on	Jun 23, 2003 15:47
Version	1.00beta
OS	SunOS
Architecture	Sun
Attachments	tutu.sac

Extended Description

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