A few days ago I came across a Pascal implementation called Pascal-XSC, formerly Pascal-SC. This is a portable compiler oriented towards mathematicians originating at Karlsruhe, it is written in and compiles to C and is now GPLed.

It appears to work although I've not exercised it thoroughly. Since I've not seen mention of it in this or related mailing lists I think it worth getting "into the record", without making any judgment as to its value.

http://www.rz.uni-karlsruhe.de/~iam/html/language/pxsc.html http://www2.math.uni-wuppertal.de/wrswt/literatur/PXSCENGL.pdf http://www.xsc.de/

Frankly, from a quick skim read, the only thing I find interesting about that language is the column selection operator, for multidimensional arrays, and I think that it might even be possible to integrate that into FreePascal. Such a feature would make FreePascal much easier to use in scientific computation, but it's not really necessary that often

But otherwise, I think you can do most of it in FPC already