New Issue: Should parens be required when writing a tertiary method on an imported type?

16762, “mppf”, “Should parens be required when writing a tertiary method on an imported type?”, “2020-11-20T15:50:45Z”

If a type is brought in only with import to enable qualified access, and one wants to define a tertiary method on that type, currently parentheses are required. For example:

module RModule {
  record R {
    var x: int;
  }
}

module MainModule {
  import RModule;

  proc (RModule.R).print() { // HERE
    writeln(this);
  }

  proc main() {
    var myR = new RModule.R(1);
    myR.print();
  }
}

Should one be able to write proc RModule.R.print() { ... } instead of proc (RModule.R).print() { ... } ?