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