Patmat

[DarkDimius]

@odersky this branch has a pattern matcher that passes test, that doesn't yet add outer checks and doesn't use switches.
Unfortunatelly typer dies on this branch on compiling the pattern matcher itself https://gist.github.com/DarkDimius/2e40747122e780e5755a

I'm starting to rebase it over #171 and will make a PR with all the changes and todo's.

[odersky]

Hi Dmitry,

NamedType handling has changed a bit with the later PRs including
explicitOuter and capturedVars. Several possible data races were
eliminated. Can you rebase the pattern matcher to capturedVars and check
whether the problem persists? In that case I'll take a look over the
weekend.

Martin

On Tue, Sep 9, 2014 at 4:49 PM, Dmitry Petrashko notifications@github.com
wrote:

@odersky https://github.com/odersky this branch has a pattern matcher
that passes test, that doesn't yet add outer checks and doesn't use
switches.
Unfortunatelly typer dies on this branch on compiling the pattern matcher
itself https://gist.github.com/DarkDimius/2e40747122e780e5755a

I'm starting to rebase it over #171
#171 and will make a PR with all

the changes and todo's.

You can merge this Pull Request by running

git pull https://github.com/dotty-staging/dotty patmat

Or view, comment on, or merge it at:

#172
Commit Summary

• Allow converting junit test to scalameter benchmark
• Definitions used by pattern matcher
• initValue helper method
• Making all case classes implement Product. Requires adding Product0
• Unapply doc update
• More complicated patterns.
• Definitions used by patmat
• Common functionality to be shared between patmat and typer
• CommonCodegen for patMat
• Optimized codegen for patmat
• TreeMakers for patmat
• add Substitution to patmat.
• Match translator for patmat
• Pattern expanders for patmat
• Helper methods for patmat
• Adapting patmat for dotty
• more of adapting patmat for dotty
• More fixes, added _id for internal tracking of failures
• Most of tests succeed now.
• Everything except unapplySeq doesn't explode.
• Fixed unapplySeq. Patmat passes all test suite but typer itself
  breaks on it.
• Remaining definitions for patmat.
• Remove dead code and add todo about outer tests not being generated

File Changes

• A bench/src/test/scala/TestsAsBenchmarks.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-0 (61)
• M project/Build.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-1 (50)
• M src/dotty/tools/dotc/Run.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-2 (2)
• M src/dotty/tools/dotc/ast/Desugar.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-3 (9)
• M src/dotty/tools/dotc/ast/Trees.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-4 (4)
• M src/dotty/tools/dotc/ast/tpd.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-5 (18)
• M src/dotty/tools/dotc/core/Definitions.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-6 (23)
• M src/dotty/tools/dotc/core/Denotations.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-7 (5)
• M src/dotty/tools/dotc/core/Names.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-8 (2)
• M src/dotty/tools/dotc/core/StdNames.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-9 (59)
• M src/dotty/tools/dotc/transform/LazyVals.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-10 (20)
• M src/dotty/tools/dotc/transform/PatternMatcher.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-11 (1894)
• M src/dotty/tools/dotc/transform/TypeUtils.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-12 (5)
• M src/dotty/tools/dotc/typer/Applications.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-13 (88)
• A src/scala/Product0.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-14 (29)
• M tests/pos/Patterns.scala
  https://github.com/lampepfl/dotty/pull/172/files#diff-15 (24)

Patch Links:

• https://github.com/lampepfl/dotty/pull/172.patch
• https://github.com/lampepfl/dotty/pull/172.diff

—
Reply to this email directly or view it on GitHub
#172.

Martin Odersky
EPFL