aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/unary_negation_on_record.elna
blob: d08d2e3644ab32b9428dfc1aba422d4a8cbfcb66 (plain)
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.