gpc 20070904, based on gcc-3.4.5 (mingw special)
I got a compilation error, "type mismatch", when I passed a string
literal to a routine with a formal parameter of "const var s : string".
In tests, this had been acceptable to the compiler. I find that whether
it is acceptable seems to be a function of whether the call is preceded
by another call (to a different routine), passing a string literal to
(as?) a "const s : string" formal parameter.
jsm1bad.pas gets a "type mismatch" compilation error.
jsm1ok.pas compiles, links, and executes.