|
|
|
last edited 17 years ago by gdr |
Edit detail for #420 Tuple, again revision 4 of 4
| 1 2 3 4 | ||
|
Editor: gdr
Time: 2008/05/16 19:23:37 GMT-7 |
||
| Note: | ||
added:
From gdr Fri May 16 19:23:37 -0700 2008
From: gdr
Date: Fri, 16 May 2008 19:23:37 -0700
Subject:
Message-ID: <20080516192337-0700@axiom-wiki.newsynthesis.org>
Status: open => fixed somewhere
Fails to compile with message:
coerce is local and exported
fricas
(1) -> )abbrev domain MOO Moo
Moo(A: Tuple Integer): Public == Private where
Public ==> CoercibleTo OutputForm with
coerce: Tuple Integer -> %
Private ==> Tuple Integer add
coerce(x: Tuple Integer): % == x pretend %
fricas
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/1175870838131815031-25px.001.spad
using old system compiler.
MOO abbreviates domain Moo
------------------------------------------------------------------------
initializing NRLIB MOO for Moo
compiling into NRLIB MOO
compiling exported coerce : Tuple Integer -> %
MOO;coerce;T%;1 is replaced by x
Time: 0 SEC.
(time taken in buildFunctor: 251)
Time: 0 SEC.
Cumulative Statistics for Constructor Moo
Time: 0 seconds
--------------non extending category----------------------
.. Moo(#1) of cat
(|Join| (|CoercibleTo| (|OutputForm|))
(CATEGORY |domain| (SIGNATURE |coerce| (% (|Tuple| (|Integer|)))))) has no
(|CoercibleTo| (|PrimitiveArray| (|Integer|))) finalizing NRLIB MOO
Processing Moo for Browser database:
--->-->Moo(constructor): Not documented!!!!
--->-->Moo((coerce (% (Tuple (Integer))))): Not documented!!!!
--->-->Moo(): Missing Description
; compiling file "/var/aw/var/LatexWiki/MOO.NRLIB/MOO.lsp" (written 08 AUG 2025 09:10:30 PM):
; wrote /var/aw/var/LatexWiki/MOO.NRLIB/MOO.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
Moo is now explicitly exposed in frame initial
Moo will be automatically loaded when needed from
/var/aw/var/LatexWiki/MOO.NRLIB/MOOCompare the similar code:
fricas
)abbrev domain MOO2 Moo2
Moo2(A: List Integer): Public == Private where
Public ==> CoercibleTo OutputForm with
coerce: List Integer -> %
Private ==> List Integer add
coerce(x: List Integer): % == x pretend %
fricas
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/4438779614789292688-25px.002.spad
using old system compiler.
MOO2 abbreviates domain Moo2
------------------------------------------------------------------------
initializing NRLIB MOO2 for Moo2
compiling into NRLIB MOO2
compiling exported coerce : List Integer -> %
MOO2;coerce;L%;1 is replaced by x
Time: 0 SEC.
(time taken in buildFunctor: 0)
Time: 0 SEC.
Cumulative Statistics for Constructor Moo2
Time: 0 seconds
--------------non extending category----------------------
.. Moo2(#1) of cat
(|Join| (|CoercibleTo| (|OutputForm|))
(CATEGORY |domain| (SIGNATURE |coerce| (% (|List| (|Integer|)))))) has no
(|ListAggregate| (|Integer|)) finalizing NRLIB MOO2
Processing Moo2 for Browser database:
--->-->Moo2(constructor): Not documented!!!!
--->-->Moo2((coerce (% (List (Integer))))): Not documented!!!!
--->-->Moo2(): Missing Description
; compiling file "/var/aw/var/LatexWiki/MOO2.NRLIB/MOO2.lsp" (written 08 AUG 2025 09:10:30 PM):
; wrote /var/aw/var/LatexWiki/MOO2.NRLIB/MOO2.fasl
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
Moo2 is now explicitly exposed in frame initial
Moo2 will be automatically loaded when needed from
/var/aw/var/LatexWiki/MOO2.NRLIB/MOO2Fixed in OpenAxiom --gdr, Fri, 16 May 2008 19:23:26 -0700 reply
Status: open => fixed somewhere