diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-07 12:42:38 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-07 13:41:58 +0200 |
commit | 6cca64fa0aa37942812d1c870b99f309dab67352 (patch) | |
tree | 5d2e357e72c22ca64a8fad770a8002fc4ff15bcf /LICENSE.md | |
parent | a8c8bdad57941071b85caa54bc57b84d8ca7d526 (diff) | |
download | dotty-6cca64fa0aa37942812d1c870b99f309dab67352.tar.gz dotty-6cca64fa0aa37942812d1c870b99f309dab67352.tar.bz2 dotty-6cca64fa0aa37942812d1c870b99f309dab67352.zip |
Check that some types are not higher-kinded.
Invalidates #813. Review by @darkdimius.
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions