Waldek Hebisch <[email protected]> writes:

> Martin Rubey wrote:
>> Waldek Hebisch <[email protected]> writes:
>> 
>> > Create a file like:
> ...
>> > and compile it.
>> 
>> shoul be an input file, analogous to bugs2008-ExportType.spad, and a
>> test in bugs2009, I guess?
>>
>
> IHMO compiler test should be organized differently.  

THat would be ok for me.

> However, ATM our main test is algebra source, so there is little need
> for extra test (the case above is a rare exception).
>
>> > variables).  For example:
>> >
>> >   bar(x : Type) : Integer ==
>> >         x is Integer => 1
>> >    0
>> >
>> > Note: currently it is not possible to use such functions from
>> > interpreter, they only work in Spad code.
>> 
>> both should also be tested (in i-bugs2009 and bugs2009), I'd say...
>>
>
> The construct is used in algebra, so test would be a duplicate.

In Any, right?  But Waldek, at some point it might be removed from
there, lay dormant for a while, and then somebody wants to use it again
but alas, it stopped working.

I'm quite sure that bugs that occured once should go into some testsuite.

> Concerning interpreter: I do not think we should test for
> uniplemented features to the testsuite.  Such tests would just
> add useless noise.  

I think it depends on the feature, and I'm inclined to put everything
into the test suite.  I admit, since the interpreter bugs are not
handled via UnitTest, they add noise, but we could have a separate file
for them.

> Proper place for such test is in bug
> database, more precisely in SourceForge database (because
> extracting tests from wiki is unreliable (in wiki it is too
> easy to alter or delete tests) and tedious).

I didn't even know that the sourceforge database is used at all.  What a
pity that the wiki doesn't work right.  In fact, I thought that at some
point we agreed that only registered people can *alter* old bugs.  Seems
that this was never implemented.

Martin

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to