I'd like to hear comments from the Aldor experts, that is why I
crosspost to aldor-devel.

https://groups.google.com/d/msg/fricas-devel/OR2CuN7xbhQ/5bDvGkamocQJ

> However still there is
> question about:
> 
>   if b1 then if b2 then {do1}; else {do2}
> 
> Namely, with which 'if' has 'else'?  Typical sysntax
> is that above 'else' goes with second 'if'.  But
> given that naively inserting semicolons after closing
> brace would break
> 
>   if b1 then if b2 then {do1} else {do2}
> 
> where 'else' should go to first 'if'.

The attached program x.as yields

$aldor -laldor -grun x.as
(0, 0) ..t .;t }.t };t {.t {;t
(0, 1) ..e .;e }.E };E
(1, 0) {.E {;E
(1, 1) {.E {;E

And this is what I would have expected. The "else" always associates to
the most inner "if", if extra braces (as in the last two source lines)
don't change that.

I don't exactly have a pointer into the AUG, but I'd like that the SPAD
rules would be identical to the Aldor rules.

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Attachment: x.as
Description: application/applix-spreadsheet

Reply via email to