summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib/integer/integerNegate.stderr
blob: bebc75c44f1d9eeef9701a4aefa681cf73463e3f (plain)
1
2
3
4
5
6
7
8
9
10

==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 3, types: 3, coercions: 0, joins: 0/0}

-- RHS size: {terms: 2, types: 1, coercions: 0, joins: 0/0}
neg_neg = \ x -> x