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 /scripts/build | |
| 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 'scripts/build')
0 files changed, 0 insertions, 0 deletions