diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-06-22 15:35:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-22 15:35:25 +0200 |
commit | 914d465aa13cf90fab71dbdf5ab314f9be191891 (patch) | |
tree | b7da6bca6cae5a6094b317842076011166ab557d /tests/run | |
parent | af93e8821f7885819e04f3dfd6ab798e600d68cf (diff) | |
parent | 2b3c5c60cea83b3add2774bbfa840aa91312cb01 (diff) | |
download | dotty-914d465aa13cf90fab71dbdf5ab314f9be191891.tar.gz dotty-914d465aa13cf90fab71dbdf5ab314f9be191891.tar.bz2 dotty-914d465aa13cf90fab71dbdf5ab314f9be191891.zip |
Merge pull request #1309 from felixmulder/topic/fix#1307
Fix issue with GADT not typechecking without bind in match
Diffstat (limited to 'tests/run')
0 files changed, 0 insertions, 0 deletions