Duplicate parameters/arguments

[aigarashi]

• Duplicate parameters are not prohibited in function definitions.
• Duplicate arguments are prohibited in function calls
  • which means we cannot pass one variable multiple times as different arguments while calling functions
  • It is not allowed in ESOP2020 paper though
  • It can(?) be translated to let b = a in let x = f (a, b) in { alias(a, b); ... }
  • It seems that the current implementation of ownership inference supports duplicate arguments in function calls.
    Types of arguments are split before being passed to a function