Re: [Axiom-developer] A curious algebra failure

[Gabriel Dos Reis]

Gabriel Dos Reis <address@hidden> writes:

[...]

| | By the way, I think the line must read
| | 
| |   v:= ASSOC(p,al) => s=rest v and al
| |                               ====
| | 
| | this makes much more sense logically and should typecheck with 
| | the   pmatch(s,p) == pmatchWithSl(s,p,[nil])
| 
| 
| Yes, it typechecks; I just started a new build; I will report back.
| I like your semantics description and suggested fix better.

It also fails.  But, I believe your suggested fix is the most correct.

-- Gaby