diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-04 19:27:09 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 17:45:38 +0200 |
commit | af27562040631d0bea38ec3ff8912fda9939f34e (patch) | |
tree | c1984c9147ee9271d6f535af006df65e0073e4b2 /interfaces/src | |
parent | 49b19933dc23220e582016fc0bfd0b35961d61a1 (diff) | |
download | dotty-af27562040631d0bea38ec3ff8912fda9939f34e.tar.gz dotty-af27562040631d0bea38ec3ff8912fda9939f34e.tar.bz2 dotty-af27562040631d0bea38ec3ff8912fda9939f34e.zip |
Typecheck usecases in fresh local scope
Diffstat (limited to 'interfaces/src')
0 files changed, 0 insertions, 0 deletions