|
|
|
last edited 16 years ago by gdr |
Edit detail for #420 Tuple, again revision 3 of 4
| 1 2 3 4 | ||
|
Editor: gdr
Time: 2008/05/16 19:23:26 GMT-7 |
||
| Note: Fixed in OpenAxiom | ||
added:
From gdr Fri May 16 19:23:26 -0700 2008
From: gdr
Date: Fri, 16 May 2008 19:23:26 -0700
Subject: Fixed in OpenAxiom
Message-ID: <20080516192326-0700@axiom-wiki.newsynthesis.org>
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
processing macro definition Public ==> -- the constructor category
processing macro definition Private ==> -- the constructor capsule
------------------------------------------------------------------------
initializing NRLIB MOO for Moo
compiling into NRLIB MOO
compiling local coerce : Tuple Integer -> $
>> Apparent user error:
coerce is local and exportedCompare 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
processing macro definition Public ==> -- the constructor category
processing macro definition Private ==> -- the constructor capsule
------------------------------------------------------------------------
initializing NRLIB MOO2 for Moo2
compiling into NRLIB MOO2
compiling exported coerce : List Integer -> $
MOO2;coerce;L$;1 is replaced by x
Time: 0.01 SEC.
(time taken in buildFunctor: 0)
;;; *** |Moo2| REDEFINED
;;; *** |Moo2| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor Moo2
Time: 0.01 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
------------------------------------------------------------------------
Moo2 is now explicitly exposed in frame initial
Moo2 will be automatically loaded when needed from
/var/zope2/var/LatexWiki/MOO2.NRLIB/code