On Thu, Jan 19, 2012 at 3:08 AM, Ralf Hemmecke wrote: > > I also don't like the "pretend" in these lines: > > entries(lp:%):List NNI == > entries(lp pretend PrimitiveArray(NNI))$PrimitiveArray(NNI) > > "pretend" should almost nowhere be visible in SPAD code. For this particular > case maybe you want to look at > > http://groups.google.com/group/fricas-devel/browse_thread/thread/a547ad5e2765e3e7 > > I.e. replace "Rep :=" by "Rep ==" and define "rep" and "per" as functions > > rep(x: %): Rep == x pretend Rep > per(x: Rep): % == x pretend % > > inside the domain or as macros at top level > > rep x ==> (x@%) pretend Rep > per x ==> (x@Rep) pretend % > > (This would be the only places where I'd accept "pretend".) > > ((NB: Bill, since I basically neither want to see "Lisp" nor "pretend" in a > spad file (since they are inherently type unsafe). That is my reason for why > I want ")include". In fact, I'd also like to specify which things are in > scope while compilation happens. Just like in Aldor compiling a .spad file > should start with empty knowledge. Imports should be explicit.)) >
Ralf, Why would you suggest using a macro when a function definition is sufficient? These functions do not introduce any overhead. Worse, why suggest two different ways of doing the same thing? :( Regards, Bill Page -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
