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 usually do update my version of OpenAxiom whenever I notice
> | some posted change that seems especially significant. And I update the
> | axiom-wiki site if there is some feature of OpenAxiom that is
> | important to the discussion there. In this case I guess I did not read
> | far enough since the log entry was a bit misleading...
>
> I would not say misleading.  Really, the code in buildom.boot was too
> loose.  [It did not say "Misc cleanups" :-)]
>

No problem. I am glad to seem improvements to these built-in domains.

> |
> | When ever you think the version of OpenAxiom installed on axiom-wiki
> | should be updated, please let me know and I will do so as soon as I am
> | able.
>
> Thanks!
>

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.

But the hash function for Record does work.

I just pulled the trunk:

wsp...@debian:~/open-axiom-src$ svn info
Path: .
URL: https://open-axiom.svn.sf.net/svnroot/open-axiom/trunk
Repository Root: https://open-axiom.svn.sf.net/svnroot/open-axiom
Repository UUID: f499efd5-9937-0410-b36a-d3739c31ded8
Revision: 1335
Node Kind: directory
Schedule: normal
Last Changed Author: dos-reis
Last Changed Rev: 1335
Last Changed Date: 2009-11-08 20:58:44 -0500 (Sun, 08 Nov 2009)

and built using:

wsp...@debian:~/open-axiom-build$ sbcl --version
SBCL 1.0.30

wsp...@debian:~/open-axiom-build$ ../open-axiom-src/configure -with-lisp=sbcl

wsp...@debian:~/open-axiom-build$ nohup make
...
make[2]: Leaving directory `/home/wspage/open-axiom-build/src/graph'
rm -f stamp
echo timestamp > stamp
finished .
make[1]: Leaving directory `/home/wspage/open-axiom-build/src'

[1]+  Done                    nohup make

wsp...@debian:~/open-axiom-build$ sudo make install
[sudo] password for wspage:
Installing OpenAxiom in /usr/local
mkdir -p -- /usr/local/lib/open-axiom/i686-pc-linux/1.4.0-2009-11-08
cp -pr "."/i686-pc-linux/*
"/usr/local/lib/open-axiom/i686-pc-linux/1.4.0-2009-11-08"
rm -f "/usr/local/bin"/open-axiom
/usr/bin/install -c src/driver/open-axiom "/usr/local/bin"
OpenAxiom installation finished.
wsp...@debian:~/open-axiom-build$ open-axiom -nox
             OpenAxiom: The Open Scientific Computation Platform
                     Version: OpenAxiom 1.4.0-2009-11-08
                Built on Monday November 9, 2009 at 17:00:47
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave OpenAxiom and return to shell.
-----------------------------------------------------------------------------


(1) -> )sh Record(val:Integer)
 Record(val: Integer) is a domain constructor.
------------------------------- Operations --------------------------------


   >> System error:
   The value |mkRecord| is not of type LIST.

(1) -> x:Record(val:Integer):=[1]

   (1)  [val= 1]
                                                   Type: Record(val: Integer)
(2) -> hash(x)

   (2)  414265657
                                                        Type: PositiveInteger
(3) -> y:Record(val:Integer):=[2]

   (3)  [val= 2]
                                                   Type: Record(val: Integer)
(4) -> hash(y)

   (4)  414265704
                                                        Type: PositiveInteger
(5) ->

---

Regards,
Bill Page.

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day 
trial. Simplify your report design, integration and deployment - and focus on 
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to