Bill Page <bill.p...@newsynthesis.org> writes:
| Gaby,
|
| Thank you. That's very interesting to me. I just built OpenAxiom from
| trunk and I get:
|
| page@asus:~/open-axiom-build$ open-axiom
|
| OpenAxiom: The Open Scientific Computation Platform
| Version: OpenAxiom 1.4.0-2011-04-20
| Built on Sunday April 24, 2011 at 13:29:12
| -----------------------------------------------------------------------------
| Issue )copyright to view copyright notices.
| Issue )summary for a summary of useful system commands.
| Issue )quit to leave OpenAxiom and return to shell.
| -----------------------------------------------------------------------------
|
|
| (1) -> )sh MappingCategory
| The )show system command is used to display information about types
| or partial types. For example, )show Integer will show
| information about Integer .
|
| MappingCategory is not the name of a known type constructor. If
| you want to see information about any operations named
| MappingCategory , issue
| )display operations MappingCategory
|
| If I try Hyperdoc I get:
|
| (1) ->
| >> System error:
| The value _ is not of type CHARACTER.
|
| and Hyperdoc crashes. Maybe somehow MappingCategory is not known to
| the interpreter? I wonder what MappingCategory exports?
MappingCategory isn't known to Hyperdoc yet.
Although MappingCategory was added on 2011-02-10, I did not get around
to make an Hyperdoc entry for it. (In fact I needed for some internal
project and forgot to provide the complete feature for the publically
available OpenAxiom.) That should be fixed in the new few days.
|
| But your example code does compile for me:
and you can test it in the interpreter too :-)
f: MyFunction INT := myFunction *
f 90
[...]
| Is this a temporary problem? Am I missing something?
temporary problem; thanks for reporting back.
-- Gaby
------------------------------------------------------------------------------
Fulfilling the Lean Software Promise
Lean software platforms are now widely adopted and the benefits have been
demonstrated beyond question. Learn why your peers are replacing JEE
containers with lightweight application servers - and what you can gain
from the move. http://p.sf.net/sfu/vmware-sfemails
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
