[open-axiom-devel] Boot translator changes

2009-08-20 Thread Gabriel Dos Reis
When I initiated the migration from Old Boot to New Boot, I also implemented a switch that would compute the differences between the old forms and the new forms, and warn as appropriate. The transition was completed at least two major releases ago. I've now discontinued all Old Boot semantics on

Re: [open-axiom-devel] Boot syntax change

2009-08-17 Thread Bill Page
On Mon, Aug 17, 2009 at 3:22 PM, Gabriel Dos Reis wrote: > > On mainline (OpenAxiom-1.4.x), I've changed two things in Boot and the > codes written in Boot to get closer to Spad script syntax: > >  (1) ^= to ~= (operator for not equal) >  (2) removed support for ^ to mean "not" -- the "not" operato

[open-axiom-devel] Boot syntax change

2009-08-17 Thread Gabriel Dos Reis
On mainline (OpenAxiom-1.4.x), I've changed two things in Boot and the codes written in Boot to get closer to Spad script syntax: (1) ^= to ~= (operator for not equal) (2) removed support for ^ to mean "not" -- the "not" operator is already there. -- Gaby -

[open-axiom-devel] boot, hashcode and the aldor interface

2008-08-22 Thread Martin Rubey
Dear all, I'm trying to debug one of the very last quirks of the aldor interface, to get aldor-combinat completely functional in axiom. 1) (hopefully) easy question: what is the semantics of foo is bar in boot. In particular, from hashcode.boot: type is ['QUOTE, val] => hashType(v

Re: [open-axiom-devel] boot

2008-06-11 Thread Bill Page
On Wed, Jun 11, 2008 at 7:15 AM, Ralf Hemmecke wrote: > > is there somewhere a short summary that helps to understand .boot files? > > What does, for example, the colon in > > axFormatOpList ops == ['Sequence,:[axFormatOp o for o in ops]] > > stand for? > Have you taken a look at? http://axiom-w

[open-axiom-devel] boot

2008-06-11 Thread Ralf Hemmecke
Hello, is there somewhere a short summary that helps to understand .boot files? What does, for example, the colon in axFormatOpList ops == ['Sequence,:[axFormatOp o for o in ops]] stand for? Ralf - Check out the new Sourc