Principal in static module variables - non-static expression in library or moduleMotoko(M0014)

[infu]

Minor hindrance worth mentioning. Not something that we can't get around.

module {
public let default_id = Principal.fromText("lxzze-o7777-77777-aaaaa-cai");

results in
non-static expression in library or moduleMotoko(M0014)

There is no way to put a principal inside a module's static variables

Perhaps something like this would work, similar to how Blob works

module {
public let default_id = "lxzze-o7777-77777-aaaaa-cai":Principal

[crusso]

Yeah, that's annoying. You could declare a constant function instead.

[ggreif]

What about let default_actor : actor {} = actor "lxzze-o7777-77777-aaaaa-cai"; and then turn that into a Principal at the usage site?

[infu]

nice, both options work better than what I tried - putting opt and later trapping if it's not there

[ggreif]

@crusso maybe we can mark certain functions/prims as static-preserving, and as such extend the set of allowed values in modules?