diff options
author | liu fengyun <liu@fengy.me> | 2017-04-06 17:03:03 +0200 |
---|---|---|
committer | liu fengyun <liu@fengy.me> | 2017-04-06 17:03:24 +0200 |
commit | 2bf1e1913feb36d90d1c4e857c6cd9610d80ff61 (patch) | |
tree | d1434d16800027f84d9d8ea6f9161118ccad62cf /tests/patmat/enum-HList.scala | |
parent | fe9103d95531bac71adbf47b6d40610bc7ec6000 (diff) | |
download | dotty-2bf1e1913feb36d90d1c4e857c6cd9610d80ff61.tar.gz dotty-2bf1e1913feb36d90d1c4e857c6cd9610d80ff61.tar.bz2 dotty-2bf1e1913feb36d90d1c4e857c6cd9610d80ff61.zip |
simplify exhaustivity check using ConstantType
Now the algorithm is the same as in the paper.
Diffstat (limited to 'tests/patmat/enum-HList.scala')
0 files changed, 0 insertions, 0 deletions