diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-14 17:04:54 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-14 17:04:54 +0000 |
commit | 23f878f89ce460ae21a00f00a6faa12987eb33c9 (patch) | |
tree | 252bb614c12e4bb523a09f8c38ad63f098cabe79 /tools | |
parent | de8ca77c2ecce2f9ce400a1f4dcbf0df5a4688c4 (diff) | |
download | scala-23f878f89ce460ae21a00f00a6faa12987eb33c9.tar.gz scala-23f878f89ce460ae21a00f00a6faa12987eb33c9.tar.bz2 scala-23f878f89ce460ae21a00f00a6faa12987eb33c9.zip |
improving fix of #2246: optimised isDifferentTy...
improving fix of #2246: optimised isDifferentTypeConstructor
removed typeConstructor(Boolean), using hasDifferentTypeSymbol instead
switched to new subtyping algorithm (isSubType2)
substitution now uses appliedType
appliedType ensures Any/Nothing never have type args (so don't need to shortcut isSubArgs in firstTry when sym == AnyClass)
appliedType ignores TypeVar's for now (must deal with them, since they
arise during substitution) when tcpoly infer is integrated, TypeVar's
also have type arguments and this case in appliedType must be updated
maybe appliedType should become a member of Type (and rename to
applyTypeArgs?)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions