Changes http://wiki.axiom-developer.org/DuckTyping/diff
--
\begin{spad}
)abbrev package TEST1 Test1
Test1(): with
    bobfun:Any->Void
  == add
    bobfun(bob: Any):Void ==
          T :=  ((dom bob) pretend SetCategory)
          t:T:= ((obj bob) pretend T)
          output(t::OutputForm)$OutputPackage
\end{spad}

\begin{axiom}
boblist: List Any :=
      "Ahem!"::String, 
      42::Integer,    
      [1,2,3,4]::List Integer

for bob in boblist repeat bobfun bob
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]

Reply via email to