help links subscribe changes refresh edit

	SandBox
SandboxIsomorphic ←	↑	→ SandboxPamphletStyle

SandboxNullaryVsConstant

Edit detail for SandboxNullaryVsConstant revision 1 of 4

	1 2 3 4
Editor: hemmecke Time: 2008/07/07 16:58:25 GMT-7
Note:

changed:
-
\begin{spad}
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
  Exports ==> with
    myrandom: Integer
--    myrandom: () -> Integer
  Implementation ==> add
    myrandom == 42
--    myrandom == () +-> 17
\end{spad}

\begin{axiom}
myrandom
myrandom()
\end{axiom}

spad)abbrev domain FOO Foo
Foo(): Exports == Implementation where
  Exports ==> with
    myrandom: Integer
--    myrandom: () -> Integer
  Implementation ==> add
    myrandom == 42
--    myrandom == () +-> 17

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/6646244281283455535-25px001.spad using 
      old system compiler.
   FOO abbreviates domain Foo 
   processing macro definition Exports ==>  
   processing macro definition Implementation ==> -- the constructor capsule 
------------------------------------------------------------------------
   initializing NRLIB FOO for Foo 
   compiling into NRLIB FOO 
   cannot produce category object:
|Exports|
   finalizing NRLIB FOO 
   Internal Error
   Unexpected error in call to system function getSlotFromFunctor

axiom
myrandom

(1)

Type: Variable myrandom

axiom

myrandom()

There are no library operations named myrandom Use HyperDoc Browse or issue )what op myrandom to learn if there is any operation containing " myrandom " in its name.

Cannot find a no-argument definition or library operation named myrandom .