MathAction #420 Tuple, again

Topics

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

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

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