diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-01 09:35:30 +0100 |
|---|---|---|
| committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-01 11:38:19 +0100 |
| commit | 1a490393d766039332bfccb8b85f264f22c9e9cc (patch) | |
| tree | 60117a37ae646dacbb3d1050b4d5cb7b137019d3 /compiler/src/dotty/tools/io | |
| parent | 83a4f958c3759a7e8b9647ac1fad0654a6e6eb2f (diff) | |
| download | dotty-1a490393d766039332bfccb8b85f264f22c9e9cc.tar.gz dotty-1a490393d766039332bfccb8b85f264f22c9e9cc.tar.bz2 dotty-1a490393d766039332bfccb8b85f264f22c9e9cc.zip | |
Make loop in derivesFrom a tailrec loop.
Diffstat (limited to 'compiler/src/dotty/tools/io')
0 files changed, 0 insertions, 0 deletions