diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-19 14:26:07 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-19 14:26:07 +0100 |
commit | 44ddd2ec207d08faa74e43661da664975a588e84 (patch) | |
tree | bd3b8d70e1aa87ea967ee67a07ee1610f085e459 /readme.md | |
parent | c0ce16a03645056016636d7cda514daed2b7ab70 (diff) | |
download | dotty-44ddd2ec207d08faa74e43661da664975a588e84.tar.gz dotty-44ddd2ec207d08faa74e43661da664975a588e84.tar.bz2 dotty-44ddd2ec207d08faa74e43661da664975a588e84.zip |
Change to computing arguments in a pattern match.
Previously, if the result of an unapply arg type is a type with isDefined and get methods, we proceed as follows:
if the get result type is a product: take the produce argument types
otherwise take the get result type itself
The problem is if the get result type is an empty product. We solve this by demanding that the get result type is a ProductN type, not just a subclass of product.
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions