diff options
| author | Pierre-Marie Pédrot | 2014-11-03 09:13:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-11-03 09:28:21 +0100 |
| commit | 4fb06717f96ce761dbe20f781128609cf41f9bef (patch) | |
| tree | bd5e46e3d246121afdc3da45363c4300898fdba5 /stm/asyncTaskQueue.ml | |
| parent | 1eb0880eea75a27909a68af2c894529d358f1305 (diff) | |
Fixing inefficiency in typeclass resolution.
Instead of keeping checking that evars are pending, we cache the pending
evars in a proper set computed once and for all.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions