MathAction #420 Tuple, again

Topics

FrontPage
- IssueTracker
  - #420 Tuple, again <-- You are here.

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/MOO

Compare 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/MOO2

Fixed in OpenAxiom --gdr, Fri, 16 May 2008 19:23:26 -0700 reply

... --gdr, Fri, 16 May 2008 19:23:37 -0700 reply

Status: open => fixed somewhere

Subject: Be Bold !!

	( 15 subscribers )