Why does disabling writing to typed constants (with $J or $WRITEABLECONST, see
http://www.freepascal.org/docs-html/prog/progsu40.html#x47-450001.1.40) make it so i cannot use those consts as default values for const parameters.

In other words, why does this produce an illegal expression when compiling?

===============================
program project1;
{$mode objfpc}{$H+}
{$WRITEABLECONST OFF}
type
  TestIntegerType = integer;
const
  TestIntegerZero : TestIntegerType = 0;
  TestIntegerOne : TestIntegerType = 1;
procedure AcceptTestInteger(const val : TestIntegerType = TestIntegerZero);
begin
end;
begin
  AcceptTestInteger();
end.
===============================

I don't see why that's al illegal expression. Is this a compiler bug? If not, can someone explain to me why this is not allowed?

Thanks,

-SG

Seth Grover wrote

I don't see why that's al illegal expression. Is this a compiler bug? If not, can someone explain to me why this is not allowed?

It works the same in delphi.

Best regards,
Paul Ishenin.