 Andreas Abel
|
ca3f66da8d
[ #3732 ] remove Treeless output; differs now between MAlonzo and JA
|
il y a 5 ans |
|
Andreas Abel
|
53de225445
[ fixed #3732 ] GHC backend: No erasure for types with a COMPILE binding
|
il y a 5 ans |
 Ulf Norell
|
4f1270097e
[ treeless ] detect (and erase) unused arguments that appear in unused lets
|
il y a 7 ans |
|
Ulf Norell
|
ec8f897e44
[ debug ] pretty print unused treeless bindings as '_'
|
il y a 7 ans |
|
Ulf Norell
|
f0e8c05598
[ treeless ] erase function (or constructor) arguments based on their types
|
il y a 8 ans |
|
Ulf Norell
|
9aef611184
[ treeless ] erase obviously unreachable catch all cases
|
il y a 8 ans |
|
Ulf Norell
|
5685f07d19
[ treeless ] don't print unreachable catch-all clauses
|
il y a 8 ans |
|
Ulf Norell
|
d470588433
[ treeless ] restore @-patterns in treeless
|
il y a 8 ans |
