 Ulf Norell
|
5685f07d19
[ treeless ] don't print unreachable catch-all clauses
|
%!s(int64=8) %!d(string=hai) anos |
|
Ulf Norell
|
a751e811a8
[ test ] use Agda.Builtin.* in test/Common
|
%!s(int64=8) %!d(string=hai) anos |
|
Ulf Norell
|
011e3197ee
[ treeless ] do an extra pass of simplification and erasure
|
%!s(int64=9) %!d(string=hai) anos |
|
Ulf Norell
|
3c52658f76
[ treeless ] minor tweaks to arithmetic simplification
|
%!s(int64=9) %!d(string=hai) anos |
|
Ulf Norell
|
954e01e4d6
[ test ] more simplified debug output
|
%!s(int64=9) %!d(string=hai) anos |
|
Ulf Norell
|
86ca8dc8cc
[ treeless ] changed debug output
|
%!s(int64=9) %!d(string=hai) anos |
|
Ulf Norell
|
c91ba7d7b4
[ treeless ] use primitive minus for a - b if b =< a
|
%!s(int64=9) %!d(string=hai) anos |
|
Ulf Norell
|
14b54b86ba
[ test ] test for repeated case optimisation
|
%!s(int64=9) %!d(string=hai) anos |
