help links subscribe changes refresh edit

	ToDelete
SandBoxActiveAxiomDevelopers ←	↑	→ SandBoxBugGroebnerFactorize

SandBoxBootStrap2

Edit detail for SandBoxBootStrap2 revision 1 of 1

	1
Editor: Time: 2007/11/18 17:51:13 GMT-8
Note: just SPAD compile

changed:
-
\begin{spad}
)lisp (setq |$bootStrapMode| t)
)abbrev domain T T

Decl == Record(name: Symbol, type: T)

T(): Public == Private where
  Public ==> with
    type: Symbol -> %
    decl: (Symbol, %) -> Decl
  Private ==> add
    decl(n:Symbol,t:%):Decl == [n,t]
    type(x:Symbol):% == x pretend %
\end{spad}

Click "here":http://wiki.axiom-developer.org/images/T.NRLIB/code.lsp
to see the generated Lisp code.

fricas

(1) -> <spad>

fricas

)lisp (setq |$bootStrapMode| t)

fricas

)abbrev domain T T

Decl == Record(name: Symbol, type: T)

T(): Public == Private where
  Public ==> with
    type: Symbol -> %
    decl: (Symbol, %) -> Decl
  Private ==> add
    decl(n:Symbol,t:%):Decl == [n,t]
    type(x:Symbol):% == x pretend %</spad>

fricas

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/575440422302135301-25px001.spad
      using old system compiler.
   Your user access level is compiler and this command is therefore not
      available. See the )set userlevel command for more information.

   >> System error:
   Lock on package COMMON-LISP violated when setting the symbol-function of T
while in package BOOT.
See also:
  The SBCL Manual, Node "Package Locks"
  The ANSI Standard, Section 11.1.2.1.2

Click here to see the generated Lisp code.