1 2 3 4 5 6 7 8 9
type R = record x: Int end proc f(r: R): Int return -r (* @Error Type 'R' cannot be used with unary '-' *) end.