help links subscribe changes refresh edit

	IssueTracker
#42 Escaping $ is tedious... ←	↑	→ #421 improper call to system function bottomUp

#420 Tuple, again

Edit detail for #420 Tuple, again revision 2 of 4

	1 2 3 4
Editor: Bill Page Time: 2008/05/15 22:23:31 GMT-7
Note: List variant

added:
Fails to compile with message::

  coerce  is local and exported


added:

Compare the similar code:
\begin{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 %
\end{axiom}

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 exported

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