diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-24 14:45:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-24 14:45:25 +0100 |
commit | 3588832eb3c45b151d78e66b5cde1f4e772d52a8 (patch) | |
tree | 9cc2674ac3108d38705bec31c5ae3a1979f81332 /compiler/src/dotty/tools/dotc/reporting/Reporter.scala | |
parent | 3599c243c86ae0a926ef45a435d38b7878dc322f (diff) | |
parent | a911a701e775b5151bc146dc221745110f304057 (diff) | |
download | dotty-3588832eb3c45b151d78e66b5cde1f4e772d52a8.tar.gz dotty-3588832eb3c45b151d78e66b5cde1f4e772d52a8.tar.bz2 dotty-3588832eb3c45b151d78e66b5cde1f4e772d52a8.zip |
Merge pull request #1740 from dotty-staging/fix-#1737
Fix #1737: Enable GADT checking for objects
Diffstat (limited to 'compiler/src/dotty/tools/dotc/reporting/Reporter.scala')
0 files changed, 0 insertions, 0 deletions