TC tolerates incompatible neutral elements for fold-WLs
Bugzilla Link | 48 |
Created on | Aug 26, 2004 01:20 |
Resolution | FIXED |
Resolved on | Oct 14, 2005 18:58 |
Version | 1.00beta |
OS | All |
Architecture | All |
Attachments | bug_neutral.sac |
Extended Description
The TC tolerates fold-WLs like this one with (...) fold( +, 0, a) where a is a vector. Since a is a vector, the first fold operation requires a function +: int[] -> int[.] -> int[.] the remaining fold operations require a function +: int[.] -> int[.] -> int[.] However, sac2c builds only the second instance of + (and the compiler can't handle multiple fold-functions anyways...) as a consequence, the compiled program causes a runtime error due to incompatible types... So, what should be done about it? I think, the TC should tolerate only neutral elements with the same shape as the fold values... An example SAC program will be given as attachment
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information