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 1 of 4

	1 2 3 4
Editor: gdr Time: 2008/05/15 02:22:31 GMT-7
Note:

changed:
-
\begin{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 %
\end{axiom}

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