summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T16373.stderr
blob: 0fe8484609ac638a8c086d10a39b391cc4abab9d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

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

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
testAB = False

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
testAA = True