Re: [Axiom-developer] Using ALLPROSE for SPAD programming

[Martin Rubey]

"Bill Page" <address@hidden> writes:

> I am sorry Martin, but I don't understand. ALLPROSE does what already? The
> problem referred to above is related to generating HTML from Axiom pamphlet
> source that can be used on the Axiom Wiki. Does Ralf have a version of
> ALLPROSE that can do that?  If so, could you add some example pages to wiki?

ALLPROSE produces HTML from a format very similar to pamphlet.
 

> I wrote:

> > In fact, I think it's high time to switch to ALLPROSE. As far as I know,
> > the only bit missing is to make it talk to axiom instead of aldor, but that
> > shouldn't be too difficult, Ralf?
 
> :) I have read the ALLPROSE documentation but it is not at all clear to me
> how this could be done. Perhaps you can elaborate on this idea? I think that
> in a open source project saying "that it shouldn't be too difficult" can only
> be interpreted as a "taunt" (i.e. trying to force someone to do something) or
> a promise to actually do something yourself. :)

Sorry, I didn't mean to force anybody. What I did intend was encouragement. In
fact, that's why I wrote ", Ralf?" instead of "!". I don't really know how
difficult it is. Thus, I tried. 

Result: Generating documentation doesn't seem to be very difficult at all. The
main obstacle is, that ALLPROSE expects a semicolon to end a definition. Thus,
I cheated and wrote:


<<exports: testSPAD>>=
      double: R -> R --;
@

It seems that ALLPROSE also expects that the signature appears on one line,
Ralf? At least

<<exports: testSPAD>>=
      double: R -> _
                   R --;
@

did not work.

The main principle obstacle however is pile syntax (sorry Bill). It does not
mix well with neither .pamphlet_s nor .nw_s:

Continuing with

<<exports: testSPAD>>=
       triple: R -> R --;
@

Will produce an error, of course. But I guess, we have to live with that
problem anyway.

For compiling, we would have to change the extension .as to .spad and change
calls to aldor to axiom. This is beyond my knowledge of allprose though.

Martin