Moc Check Bug - 'public' as Variant Type

[Quint Daenen]

I was converting this file to Motoko and stumbled on the following bug:

module T {
    public type LogVisibility = { #controllers; #public };
};

moc --check example.mo

syntax error [M0001], unexpected token 'public', expected one of token or sequence:
}
<annot_opt>

[Claudio Russo]

Can one avoid that by suffix the Motoko keyword public with an underscore, here "#public_"? @chenyan-dfinity ? I'll try it on the playground.

actor {
  
  public func name() : async {#public_} {
    #public_
  };
};

https://play.motoko.org/?tag=1499643541

Seems to work, in the sense that the candid interface uses public.

[Claudio Russo]

Quint, try:

module T {
    public type LogVisibility = { #controllers; #public_};
};

[Quint Daenen]

Thanks @crusso!