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

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.




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