Re: [open-axiom-devel] [fricas-devel] Re: hashing of Record, Union, Mapping

2009-11-09 Thread Gabriel Dos Reis
Bill Page writes: [...] | BTW, I tried to do a parallel build but the build failed. Should I | expect to be able to run | | $ make -j3 | | on my dual processor desktop? The conversion to parallel build wasn't completely finished. It is one of those projects I do on and off, but I could use

Re: [open-axiom-devel] [fricas-devel] Re: hashing of Record, Union, Mapping

2009-11-09 Thread Bill Page
Gaby, Yes that's funny. I just updated and re-built and I confirm that it now works as expected. BTW, I tried to do a parallel build but the build failed. Should I expect to be able to run $ make -j3 on my dual processor desktop? I do not recall if the OpenAxiom build system was updated for p

Re: [open-axiom-devel] [fricas-devel] Re: hashing of Record, Union, Mapping

2009-11-09 Thread Gabriel Dos Reis
Bill Page writes: [...] | I see one problem: | | (1) -> )sh Record(val:Integer) | Record(val: Integer) is a domain constructor. | --- Operations | | |>> System error: |The value |mkRecord| is not of type LIST. Funny enough

Re: [open-axiom-devel] [fricas-devel] Re: hashing of Record, Union, Mapping

2009-11-09 Thread Bill Page
On Mon, Nov 9, 2009 at 5:39 PM, Gabriel Dos Reis wrote: > > Bill Page writes: > > | On Mon, Nov 9, 2009 at 5:06 PM, Gabriel Dos Reis wrote: > | > ... > | > I've noticed that you (or axiom-wiki.newsynthesis.org) don't always run > | > a recent enough verson of OpenAxiom ;-p > | > > | > | Actually I