Ralf Hemmecke <r...@hemmecke.de> writes: (roughly)
(1) -> g := (x +-> ((y+-> y+x) 1))
(1) x +-> y +-> y + x(1)
Type: AnonymousFunction
(2) -> g 2
>> System error:
|*1;anonymousFunction;1;frame1;internal|: variable #:G3466 has no value
> g := (x +-> ((y+-> y+x) 1))
> g 2
I think that's related to Issue 274. It would be great to fix this, but
it seems that this would involve a bit of work. Gaby, does this work in
open-axiom meanwhile?
see also
http://groups.google.at/group/fricas-devel/browse_thread/thread/93331582de7cfd31
Martin
------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
