On 22 Dec 2005, at 05:20, Adriaan van Os wrote:

Brian Wichmann wrote:

...

Dear developers:

I have a copy of the validation suite for Pascal written years ago by Arthur Sale and myself.

Has this been run on GNU Pascal? If not, I would be happy to do this.

I don't really know, but found the following in the gpc mailing list archive http://www.gnu-pascal.de/crystal/gpc/en/mail12734.html

Regards,

Adriaan van Os

That archived mail from Frank Heckenbach, Sept 2005, discusses the merits of having a published standard (versus Borland etc) and the merits of a free validation suite, with the critical passage for Brian Wichmann being:

And even a non-free test suite can be useful (though less useful than a fully free one, of course). If someone ran the suite through GPC, and only told me which tests fail (and possibly for which reasons), this would already help me. (Scott Moore indicated to me that he is willing to do this after the next GPC release, now that he OCR'd the PVS from the PUG newsletters.)

So at least one GPC developer has said: "no, the Pascal Validation Suite (PVS) has not yet been run on GNU Pascal, and yes it would be useful to do so."

Background: I personally have had a full Pascal system I developed run through the PVS. Despite our putting a lot of attention to following the ISO Pascal Standard, PVS found a number of problems which we were then able to fix.

Willett Kempton

Dear all,

OK. I will do a semi-formal validation. I will run the suite with the --classic-pascal option and list any problems found.

The PVS has long past being of any commercial significance - the original copyright holders have no interest in it. As one of the developers of the PVS, I would be happy to post any tests that fail onto your system.

Brian.

On 22 Dec 2005, at 10:34, Waldek Hebisch wrote:

AFAIK the validation suite has not been run on GNU Pascal. So, please do this.