WL scalarization appears broken for non-perfectly-nested WLs
|
|
Bugzilla Link |
519 |
Created on |
Jul 05, 2009 16:04 |
Version |
1.00beta |
OS |
Linux |
Architecture |
PC |
Extended Description
I'm trying to make WLS work under SAACYC, and it wasn't cooperating,
so I grabbed two examples of WLS in action from Kai's term project
thesis. The first example works OK, but the second, from Abbildung 4.5,fails, even though it should be handled by CYC. Here it is:
---------------------------------------------------------------
/* ktr motivating example Abbildung 4.5 from his term project thesis. */
/* RESULT: with 2 1 -noprelude */
int main()
{
A = with {
(. <= iv=[i] <= .) {
VAR1 = _add_SxS_( i, 10);
B = with {
(. <= jv=[j] <= .) {
VAL = _add_SxS_( i, _mul_SxS_( VAR1, j));
} : VAL;
} : genarray([4], 42);
} : B;
} : genarray([4], [10,20,30,40]);
StdIO::print(A);
return(0);
}
--------------------------------------------
With any luck, I've merely screwed up the example...