axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] help function


From: Martin Rubey
Subject: Re: [Axiom-developer] help function
Date: 05 Sep 2007 14:48:50 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Gabriel Dos Reis <address@hidden> writes:

> I don't see '#' more confusing than ')' -- but maybe your point is
> that I'm not a human.

No, you don't seem to have programmed much in Aldor.  Here an example,
constructed from combinat, containing an "obvious" error:

<<exports of List from LibAldor>>=
if S has OutputType then OutputType;
#: % -> ACMachineInteger;
empty: %;
apply: (%, ACMachineInteger) -> S;
set!: (%, ACMachineInteger, S) -> S;
map: (S -> S) -> % -> %;
setRest!: (%, %) -> %;
@

Of course, given the context of the discussion, the error is not hard to spot.
But at least I ran into it several times.

Martin





reply via email to

[Prev in Thread] Current Thread [Next in Thread]