There is still problem with handling closures, but this problem is fixed.
Theses functions are right :
Need to set:
(1) -> )set function compile on
methodea a == select (t +-> t=3,expand (-10..2*a))
methodea 10
Compiling function methodea with type PositiveInteger -> List( Integer)
methodeb a == select (t +-> t=a,expand (-10..20))
methodeb 10
Compiling function methodeb with type PositiveInteger -> List( Integer)
methode1 := a +-> select (t +-> t=3,expand (-10..2*a))
methode1 10
This last function gives me a System error : The variable #:G30... is unbound. I think that the cause is the test a=t
methode2 := a +-> select (t +-> t=a,expand (-10..20))
methode2 10
http://groups.google.at/group/fricas-devel/browse_thread/thread/93331582de7cfd31
for more information