[Axiom-developer] Questions

[Stefan Dirnstorfer]

I do have some serious problems with Axiom and recursions. Here are two
problems I encountered in the latest binary release.

1) Here Axiom seems not to correctly bind the variable c

(2) -> cons:= c+->(x+->c)

  (2)  c +-> x +-> c
                                                     Type: 
AnonymousFunction
(3) -> cons 3

  (3)  x +-> G1404
                                                     Type: 
AnonymousFunction
(4) -> % 6

  (4)  G1404



2) The next one might just be a problem of recursive function
definition. How else should it be done?

(1) -> fac:= x+-> if x=0 then 1 else fac(x-1)

  (10)
    x
  +->
    if x= 0
      then 1
      else fac(x - 1)
                                                     Type: 
AnonymousFunction
(2) -> fac 1

  >> System error:
  Bind stack overflow.

protected-symbol-warn called with (NIL)



Thank you very much for any hints.

Regards,
Stefan