TC rejects loop with non-trivial condition
Bugzilla Link | 105 |
Created on | Jul 06, 2005 12:13 |
Resolution | FIXED |
Resolved on | Aug 11, 2005 10:06 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | tcbug.sac |
Extended Description
The typechecker rejects a loop example in which the predicate is given by a conditional whose predicate is given by a primitive _gt_ operation. The example works if Array::> is used instead.