diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-03 12:32:59 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-12-03 13:03:39 +0100 |
commit | d0aaa86a9fe20e00f0cfa4fd1154126579933fb7 (patch) | |
tree | a9a27a4b18b7f6d2d79a578b1566761b0f8005ba /src/repl | |
parent | a89000be9f5b6506bcd891bd076700a9d1e79d01 (diff) | |
download | scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.tar.gz scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.tar.bz2 scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.zip |
SI-8023 Address review comments around typedHigherKindedType
- Make `WildCardType` kind polymorphic
- Factory methods for expected kinds. They are still just
`Type`-s, though.
- Check if the type parameter is initialized, rather than
its owner.
- Take advantage of these to cleanup `typedAppliedTypeTree`
TODO: is this comment totally accurate? If so, should we
refactor `Kind.FromParams(tparams)` to `Kind.Arity(tparams.length)`?
// @M: kind-arity checking is done here and in adapt,
// full kind-checking is in checkKindBounds (in Infer)
Diffstat (limited to 'src/repl')
0 files changed, 0 insertions, 0 deletions