MathAction SandBox Cast

Topics

FrontPage
- SandBox
  - SandBox Cast <-- You are here.

This is an example of using pretend to perform a type unsafe operation.

spad

)abbrev package CAST cast
cast(): exports == implementation where

  exports == with

    cast1: Integer -> Float

  implementation == add

    cast1(i:Integer):Float ==
      j:Float := (i pretend Float)

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/76482798552469661-25px001.spad using old
      system compiler.
   CAST abbreviates package cast 
------------------------------------------------------------------------
   initializing NRLIB CAST for cast 
   compiling into NRLIB CAST 
   compiling exported cast1 : Integer -> Float
      CAST;cast1;IF;1 is replaced by LETji 
Time: 0.05 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |cast| REDEFINED

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

   Cumulative Statistics for Constructor cast
      Time: 0.05 seconds

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

This command causes a "memory may be damaged error":

  \begin{axiom}
  cast1(1)$CAST
  \end{axiom}

aldor

#include "axiom"
cast2(i: Integer): Float == {
      j:Float := (i pretend Float)
}

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/casta.as using AXIOM-XL compiler and 
      options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file ./casta.lsp
   Issuing )library command for casta
   Reading /var/zope2/var/LatexWiki/casta.asy

This command also causes a "memory may be damaged error":

  \begin{axiom}
  cast2(1)
  \end{axiom}

subject:

	( 7 subscribers )