libnixf/Sema: differentiate lambda argument with and without formals #3090
Job | Run time |
---|---|
3m 1s | |
3m 8s | |
3m 3s | |
3m 0s | |
2m 42s | |
3m 9s | |
2m 52s | |
3m 10s | |
4m 40s | |
4m 36s | |
3m 57s | |
3m 56s | |
4m 11s | |
4m 9s | |
3m 13s | |
3m 31s | |
56m 18s |
Job | Run time |
---|---|
3m 1s | |
3m 8s | |
3m 3s | |
3m 0s | |
2m 42s | |
3m 9s | |
2m 52s | |
3m 10s | |
4m 40s | |
4m 36s | |
3m 57s | |
3m 56s | |
4m 11s | |
4m 9s | |
3m 13s | |
3m 31s | |
56m 18s |