Serge D. Mechveliani wrote:
>
> On Fri, Mar 09, 2012 at 08:10:17PM +0100, Waldek Hebisch wrote:
> > Serge D. Mechveliani wrote:
> > >
> > > Why? Before checking SetCategory, it, probably checks the membership to
> > > LIST. And reports that it is not of LIST (so Product is not applicable).
> > > If so, then the report is precise.
> >
> > No. The message with "LIST" in it reports internal problem in
> > typechecker.
>
> And my noise has occurred useful!
> So, in this case the Spad compiler must report something like
> "Apparent user error:
> Line No 24:
> ... Product(DomainConstruction, SetCategory) ...
> Product requires SetCategory for each component ...
> ".
>
Yes, that would be correct message.
> > 'Error detected within library code:'
> > is for errors which Spad code found.
>
> What might this mean?
This should not happen when you compile something. But when
you give something for evaluation to the interpreter, the
interpreter normally calls Spad library to do computations.
If library detects problems with data then you get
this king of error. An (somewhat obscure) example:
(2) -> 5::PrimeField(6)
>> Error detected within library code:
Argument to prime field must be a prime
--
Waldek Hebisch
[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.
