This invalid code:

object template kk;

type t = {
    "a" : long = value("/a")
};

"/a" = 1;

bind "/c" = t;

gives the following insufficient error message:

syntax error [/home/munoz/kk.pan:?]
DML block for default value does not evaluate to a compile-time constant

It should identify that the invalid default value is in line 4.

I've reproduced this on 9.0.0-RC3, 9.3 and 10.0.