login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : gdr at: 2008-05-15T02:22:31-07:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

Status: open => fixed somewhere




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: