diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-11 12:01:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-11 12:01:17 +0200 |
| commit | 4868fb29580a67c7a1560d5c1c7cc658e2634359 (patch) | |
| tree | 1deed7fb92912f09b810e905e351fe4cd796cc6b /.gitignore | |
| parent | 579571e05a08120133173933e7eaf2555846d1d7 (diff) | |
| parent | 198b5cec531a8e0d6c121cc425e19a54b7818868 (diff) | |
| download | dotty-4868fb29580a67c7a1560d5c1c7cc658e2634359.tar.gz dotty-4868fb29580a67c7a1560d5c1c7cc658e2634359.tar.bz2 dotty-4868fb29580a67c7a1560d5c1c7cc658e2634359.zip | |
Merge pull request #1938 from dotty-staging/named-based-patmat
Change case class desugaring and decouple Products and name-based-pattern-matching
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 170cf4823..7508b4932 100644 --- a/.gitignore +++ b/.gitignore @@ -55,3 +55,5 @@ testlogs/ local/ compiler/test/debug/Gen.jar +compiler/before-pickling.txt +compiler/after-pickling.txt |