testsuite/tests/simplCore/should_compile/T13157.stderr


1
2
3
4
5
6
7
8
9
10
11


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

-- RHS size: {terms: 8, types: 5, coercions: 0, joins: 0/0}
f = \ @t g x ->
      case g x of { __DEFAULT -> True }