diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2016-06-02 15:35:24 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2016-06-02 15:35:24 +0200 |
| commit | 845b98186047f38013e2f6aa35508e974eedafb7 (patch) | |
| tree | c103566047c298f24d2245bcff24c2f1d485187f /src/dotty/tools/dotc/Driver.scala | |
| parent | a42377d951e2a82408bb5a7af0fa5cb713ac3edd (diff) | |
| parent | 07c5a0ae7281616c410bf7f4397de844c59327ab (diff) | |
| download | dotty-845b98186047f38013e2f6aa35508e974eedafb7.tar.gz dotty-845b98186047f38013e2f6aa35508e974eedafb7.tar.bz2 dotty-845b98186047f38013e2f6aa35508e974eedafb7.zip | |
Merge pull request #1297 from felixmulder/topic/add-position-switch
Fix #1292: give position when failing to emit switch on annotated match
Diffstat (limited to 'src/dotty/tools/dotc/Driver.scala')
0 files changed, 0 insertions, 0 deletions