diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-08-17 20:38:57 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-17 20:38:57 -0700 |
commit | 5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795 (patch) | |
tree | bf3c9bc5760db020986aec535c4f5e086cbac4f4 /test | |
parent | aaa32f70da1df75e0571a080a1738634b8bad6c6 (diff) | |
parent | 0b2ddd0df33bf529b062dc6167b50a33fa5f84b7 (diff) | |
download | dotty-5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795.tar.gz dotty-5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795.tar.bz2 dotty-5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795.zip |
Merge pull request #1452 from dotty-staging/fix-#1432
Fix desugaring of Bind(WILDCARD, _).
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions