RE: [Axiom-developer] Axiom BNF

[Martin Rubey]

I did run into an example:

Consider two nested if statements, where one else branch is missing:

         if cond1 then
           if cond2 then
               bla
               bla
           else
             bla
             bla

versus

         if cond1 then
           if cond2 then
               bla
               bla
         else
           bla
           bla

It only discovered it by luck.

Martin

PS: is there any progress on using the Aldor compiler for compiling domains
that use other Axiom domains?