On Fri, May 16, 2008 at 12:26 PM, Gabriel Dos Reis wrote: > | "In the current semantics, branches of if-statements do not have their > | own scopes, so the meet environment of an if-statement is the union of > ^^^^^^^^^^^^^^ > | environment of both branches. And this is where the error comes in: > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > | One cannot declared the same variable in the same environment with > | different modes." > Bill Page wrote: > | By this I understood you to be talking literally about the type > | 'Union', although now with further explanation I understand that > | you were probably thinking about the compiler "environment" in > | a somewhat different way. But from your comment this solution > | seems obvious. > > Gosh, you've picked my curiosity :-) > I literally wrote environment. :-/ > How could that have been _probably_ something else in a somewhat > different way when I was talking about the compiler, environment, the > meet environement, and concluding with the impossibility of declaring > the same variable with different modes? >
Well of course it is possible to declare the variable as a Union and use it in two different ways. > The solution may be obvious (as I thought) but it turns out to draw > a barrage. I think it is only that people often do not understand well how to use Union. > Anyway, I've fixed the semantic errors in the algebra, and I will > implement the scope for if-statement later when I'm done with > more pressing issues. > Great! Thanks for all your work on this. Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
