diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-11 09:15:32 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-11 09:16:25 +0100 |
| commit | c16ead8d78936cab3dada7aa5e70eeacc5f576d1 (patch) | |
| tree | 4241a66dd37ecb09e5bae9fc261c4d36620fd9e6 /.gitignore | |
| parent | 13b61653439700ca6607074bcded4d714131bdc2 (diff) | |
| download | dotty-c16ead8d78936cab3dada7aa5e70eeacc5f576d1.tar.gz dotty-c16ead8d78936cab3dada7aa5e70eeacc5f576d1.tar.bz2 dotty-c16ead8d78936cab3dada7aa5e70eeacc5f576d1.zip | |
Abstract out lazy local names somewhat
Add operations to NameOps to detect and produce names
for lazy locals.
@darkdimius Maybe there is already another way to do this?
I could not find it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions