diff options
author | odersky <odersky@gmail.com> | 2015-06-19 10:31:33 +0200 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-06-19 10:31:33 +0200 |
commit | c89e85c45ad3f0398990526572f071f35e781baf (patch) | |
tree | e2c327b77bc1abc00716c52fd08e89caf2de3802 /tests/disabled/macro/pos/t7987 | |
parent | 2ce159fa1707c1e57e22af9b2fe5a87fee94ee8d (diff) | |
parent | 310615e717262243aa899959c3178d7465af74a7 (diff) | |
download | dotty-c89e85c45ad3f0398990526572f071f35e781baf.tar.gz dotty-c89e85c45ad3f0398990526572f071f35e781baf.tar.bz2 dotty-c89e85c45ad3f0398990526572f071f35e781baf.zip |
Merge pull request #599 from dotty-staging/add/existential-skolemization
Tighten comparison of skolem types
Diffstat (limited to 'tests/disabled/macro/pos/t7987')
0 files changed, 0 insertions, 0 deletions