Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > > Parser does not allow you > > to use keyword in place where normal identfier is expected. > > I rather like the approach given here. > > http://www.aldor.org/docs/HTML/chap4.html#4 > > The symbol # is an identifier, as are 0 and 1 and + and -, etc. > I do not see any

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Ralf Hemmecke
> There are also "symbolic" > keywords (symbolic meaning that they allow special characters > in their names), like '==', ':", ',', '+', '#' ... Keywords > have special meaning to the parser. OK. > Parser does not allow you > to use keyword in place where normal identfier is expected. I rather l

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Bill Page wrote: > On Mon, Nov 23, 2009 at 12:39 PM, Waldek Hebisch wrote: > > What does it mean that "# is an operator"? Why does the spad parser > treat # in a different way than any other library operation? > Parser have no idea what "library operation" means. Parser knows about identifiers a

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Bill Page
On Mon, Nov 23, 2009 at 12:39 PM, Waldek Hebisch wrote: > > Ralf Hemmecke wrote: > > Waldek, I don't understand your argument. Both definitions should behave > > in exactly the same way. #: List(?) -> Integer is a function. Since > > function application binds relatively strong and is left associat

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Ralf Hemmecke wrote: > >> f l == > >> if one?(# l) then true > >> else false > >> - > >> f l == > >> if one? # l then true > >> else false > >> - > > > I am not

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Ralf Hemmecke
>> f l == >> if one?(# l) then true >> else false >> - >> f l == >> if one? # l then true >> else false >> - > I am not sure if this is bug or deliberate restri

Re: [fricas-devel] parse bug with #

2009-11-23 Thread Waldek Hebisch
Martin Rubey wrote: > - > )abbrev package LENCHK LengthCheck > LengthCheck(): with > f: List Integer -> Boolean > == add > > f l == > if one?(# l) then true > else false > - > > is

[fricas-devel] parse bug with #

2009-11-22 Thread Martin Rubey
- )abbrev package LENCHK LengthCheck LengthCheck(): with f: List Integer -> Boolean == add f l == if one?(# l) then true else false - is OK, -