help links subscribe changes refresh edit

	ZWiki
	↑	→ WikiWikiWeb

SandboxExportType

Edit detail for SandboxExportType revision 1 of 4

	1 2 3 4
Editor: kratt6 Time: 2008/09/13 16:08:27 GMT-7
Note:

changed:
-
\begin{spad}
)abbrev package TEST Test
Test(x: Ring): with
    baseRing: () -> Ring
  == add
    baseRing() == x
\end{spad}
\begin{axiom}
--)tr bottomUp
--)tr evaluateType
--)tr evaluateFormAsType
--)tr isDomainValuedVariable
--)tr objMode
I := baseRing()$TEST(INT)

1$I
\end{axiom}

spad

)abbrev package TEST Test
Test(x: Ring): with
    baseRing: () -> Ring
  == add
    baseRing() == x

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/5734208900702123411-25px001.spad using 
      old system compiler.
   TEST abbreviates package Test 
------------------------------------------------------------------------
   initializing NRLIB TEST for Test 
   compiling into NRLIB TEST 
   compiling exported baseRing : () -> Ring
Time: 0.01 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Test| REDEFINED

;;;     ***       |Test| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor Test
      Time: 0.01 seconds

   finalizing NRLIB TEST 
   Processing Test for Browser database:
--->-->Test((baseRing ((Ring)))): Not documented!!!!
--->-->Test(constructor): Not documented!!!!
--->-->Test(): Missing Description
------------------------------------------------------------------------
   Test is now explicitly exposed in frame initial 
   Test will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/TEST.NRLIB/code

axiom

--)tr bottomUp
--)tr evaluateType
--)tr evaluateFormAsType
--)tr isDomainValuedVariable
--)tr objMode
I := baseRing()$TEST(INT)

   >> System error:
   Caught fatal error [memory may be damaged]