diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:24 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:24 +0000 |
| commit | 2416d5724eb7fba3ed5b80092194a27e333a23f3 (patch) | |
| tree | 6432d8e90ca5c1ed1b6c65798ee06679f70b6735 /test | |
| parent | 1ceff6729ae30c61ec43e615daf9ef96ea59aae7 (diff) | |
| download | scala-2416d5724eb7fba3ed5b80092194a27e333a23f3.tar.gz scala-2416d5724eb7fba3ed5b80092194a27e333a23f3.tar.bz2 scala-2416d5724eb7fba3ed5b80092194a27e333a23f3.zip | |
fixed #2246 type checker looping on pos/contrib701
be more careful in isSubType for abstract types: type *constructors*
must be different, not the whole type, which includes type arguments
typeConstructor needed to instantiate the resulting type constructor
with fresh type arguments (derived from type params), otherwise we end
up in the higher-kinded case, and isDifferentTypeConstructor might try
to compare polytypes with type params
that have different (higher-order) arities --> this may still arise on other cases, though -- should fix this while working on #2210
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions