diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-27 19:29:20 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-29 11:45:21 +0100 |
| commit | 03d0ffc637d650da2678619cfb84a09b08273787 (patch) | |
| tree | 4e7709f5a8e17b36bb3366891ac0198e54c4f350 /.gitignore | |
| parent | 3617102b51df4625cbe37f6a3f71caf64ddf7211 (diff) | |
| download | dotty-03d0ffc637d650da2678619cfb84a09b08273787.tar.gz dotty-03d0ffc637d650da2678619cfb84a09b08273787.tar.bz2 dotty-03d0ffc637d650da2678619cfb84a09b08273787.zip | |
Better tracking of implicit search
We now track eligible calls and the number of refs tested in an eligible call.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 4ac590576..af401d568 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,4 @@ bin/ # idea .idea .idea_modules +/.worksheet/ |