1) If I'm not wrong then local function definitions don't work in the interpreter.
2) For this particular example, you don't need a local function. Or do you see the parameter l used somewhere in leng_aux? 3) Writing generic code is not usually done with Any. Rather you should consider writing a .spad file and then compile it and later use it. See http://axiom-wiki.newsynthesis.org/SandBoxListLength So with the MyListPackage code inside a file foo.spad, ----------- )abbrev category MYLIST MyListPackage MyListPackage(T: Type): with length2: List T -> Integer == add len(count: Integer, l: List T): Integer == empty? l => count len(count + 1, rest l) length2(l: List T): Integer == len(0, l) ------------- you would call )compile foo.spad and then use length2 [1,2,3] length2 ["a", "b", "c", "d"] No need for Any here. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
