|
|
|
last edited 15 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
axiom
)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 %
axiom
Compiling FriCAS source code from file
/var/zope2/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.08 SEC.
(time taken in buildFunctor: 0)
;;; *** |Moo| REDEFINED
;;; *** |Moo| REDEFINED
Time: 0.01 SEC.
Cumulative Statistics for Constructor Moo
Time: 0.09 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((coerce (% (Tuple (Integer))))): Not documented!!!!
--->-->Moo(constructor): Not documented!!!!
--->-->Moo(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/MOO.NRLIB/MOO.lsp" (written 12 MAR 2011 09:46:29 PM):
; /var/zope2/var/LatexWiki/MOO.NRLIB/MOO.fasl written
; compilation finished in 0:00:00.135
------------------------------------------------------------------------
Moo is now explicitly exposed in frame initial
Moo will be automatically loaded when needed from
/var/zope2/var/LatexWiki/MOO.NRLIB/MOOCompare the similar code:
axiom
)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 %
axiom
Compiling FriCAS source code from file
/var/zope2/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.09 SEC.
(time taken in buildFunctor: 0)
;;; *** |Moo2| REDEFINED
;;; *** |Moo2| REDEFINED
Time: 0.01 SEC.
Cumulative Statistics for Constructor Moo2
Time: 0.10 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((coerce (% (List (Integer))))): Not documented!!!!
--->-->Moo2(constructor): Not documented!!!!
--->-->Moo2(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/MOO2.NRLIB/MOO2.lsp" (written 12 MAR 2011 09:46:36 PM):
; /var/zope2/var/LatexWiki/MOO2.NRLIB/MOO2.fasl written
; compilation finished in 0:00:00.087
------------------------------------------------------------------------
Moo2 is now explicitly exposed in frame initial
Moo2 will be automatically loaded when needed from
/var/zope2/var/LatexWiki/MOO2.NRLIB/MOO2Fixed in OpenAxiom --gdr, Fri, 16 May 2008 19:23:26 -0700 reply
Status: open => fixed somewhere