datatype T = A | B

method M(t: T) { // No warnings
  match t
    case A => print "A";
    case B => print "B";
}

method M'(t: T) { // 2 warnings
  print match t
    case A => "A"
    case B => "B";
}

bug.dfy(11,9): Warning: Constructor name 'A' should be followed by parentheses
bug.dfy(12,9): Warning: Constructor name 'B' should be followed by parentheses