diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-28 16:00:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-28 16:00:34 +0100 |
| commit | c8bf8c44fd78719408cdfe571134c1766ae5e576 (patch) | |
| tree | c5ef54f46ed3fc0411b694a591f67a13a2e57fdc /project | |
| parent | 566e8f7d193c855ac78cedfb3723192cb04acb65 (diff) | |
| parent | 8f3301e48ed82dbfc316082d293849a45e187d13 (diff) | |
| download | dotty-c8bf8c44fd78719408cdfe571134c1766ae5e576.tar.gz dotty-c8bf8c44fd78719408cdfe571134c1766ae5e576.tar.bz2 dotty-c8bf8c44fd78719408cdfe571134c1766ae5e576.zip | |
Merge pull request #1749 from dotty-staging/fix-i1748
fix #1748: desugaring with StringContext in PatDef
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions