On Tue, Jan 31, 2012 at 10:39:40PM +0400, Serge D. Mechveliani wrote:
> People,
> [..]
> ----------------------------------------- t1.spad ------------
> Set1(): Category ==
> Join(Type, CoercibleTo OutputForm) with
> "=" : (\$, \$) -> Boolean
> --------------------------------------------------------------
>
> This is copied from the book Chapter 12.6, with `SetCategory' renamed
> to `Set1'
> [..]
> Then, )compile t1
> produces the report
>
> -----------------------------------------------------------------
> [..]
> ******** Boot Syntax Error detected ********
> The prior line was:
> 1> Join(Type, CoercibleTo OutputForm) with
> The current line is:
> 2> "=" : (\$, \$) -> Boolean
> ^
> [..]
> -----------------------------------------------------------------
Now, I looked for an example into "Browse, Semigroup, Source".
And it shows the source with
% instead of \$ !
A typo in the book?
Now, I put
)abbrev category DPARSE DParse
DParse(): Category ==
Join(Type, CoercibleTo OutputForm) with
dParseLexemes : List String -> Product(%, List String)
At least it is compiled, and I'll see further.
Regards,
------
Sergei
[email protected]
--
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.
