aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Added filter utility method to Scope…Martin Odersky2013-04-071-5/+9
| | | | … which is more efficient than toList.filter.
* RenamingsMartin Odersky2013-04-064-14/+14
| | | | | module => sourceModule in class ClassCompleter LazyModuleInfo => ModuleCompleter
* Refactored lazy class completers and module class completers.Martin Odersky2013-04-064-81/+41
| | | | Aim: simplification, fewer classes.
* Weakening disambiguation from =:= to matches.Martin Odersky2013-04-051-1/+1
|
* Added case for ThisType#typeSymbol.Martin Odersky2013-04-051-0/+1
|
* Moved logic from setClassInfo to completer.Martin Odersky2013-04-051-15/+15
| | | | Made sure that unpickled module classes always have a sourceModule.
* Pre-initializing Unpickler NamedTypes with their Denotations.Martin Odersky2013-04-051-1/+1
| | | | | | This fixes a weird problem where we read an external reference to a type parameter with NoPrefix as owner. The problem arises when reading reflect.io.ZipFileArchive, where the reference is to the type parameter of AbstactFile. It might be a known problem for Scala. For the moment there's nothing much we can do on the dotty side to deal with it. We either use .withDenot, and accept that this cannot be reloaded in future runs, or we use a HasFixedSym and risk a stale reference. It seems better to fail than to live with stale references.
* Fixed sourceModule fallback, adapting to new module class naming scheme.Martin Odersky2013-04-051-5/+7
|
* Weakinging of AndType invariant.Martin Odersky2013-04-051-2/+1
| | | | AndTypes over non-value types are possible, for instance ExprType is valid as an argument.
* Use NoType instead of Any as sentinel for upper boundMartin Odersky2013-04-051-1/+1
| | | | This avoids subtyping tests for single bounds, and with them possibles cyclic references.
* Made Erroneous a pre-complete flag.Martin Odersky2013-04-051-1/+2
|
* Made & , | NoType-aware.Martin Odersky2013-04-053-8/+8
| | | | For the pruposes of & and |, NoType is now treated as top type, above Any.
* More tests in worksheets.Martin Odersky2013-04-051-3/+3
|
* Made module class names end in '$'.Martin Odersky2013-04-055-14/+35
| | | | | | If module classes have the same names as their companion classes there is the latent trap that TypeRefs refer to one or the other. To avoid cross-talk, module classes need to have a different name. Also, some fixes to baseType, isSubClass in SymDenotations.
* Fix to array erasure.Martin Odersky2013-04-051-2/+3
| | | | Now treats arrays of value classes correctly.
* Fix to flag translation.Martin Odersky2013-04-051-2/+2
| | | | Now ensures that only termFlags/typeFlags are produced.
* Added new classSymbol method for Types.Martin Odersky2013-04-051-1/+26
|
* Ensures ScalaValueClasses are properly initialized.Martin Odersky2013-04-051-2/+12
|
* Refactored test frameworkMartin Odersky2013-04-055-127/+2
| | | | Moves worksheets to test. Factored out class DottyTest and made it usable from worksheets. Added worksheet test for signatures.
* Added some tracing to asSeenFrom.Martin Odersky2013-04-051-4/+5
|
* Fixed hashcode computation.Martin Odersky2013-04-051-2/+2
| | | | Embarrassiing: Used == instead of = before.
* Adding debug code to disambiguation.Martin Odersky2013-04-051-2/+11
|
* Small change to disjointAsSeenFrom.Martin Odersky2013-04-051-1/+1
| | | | Not sure this matters, but seems to be prudent not ot force signature here.
* Fix to pareamSignatire for arrays.Martin Odersky2013-04-051-1/+1
|
* Fix to superId.Martin Odersky2013-04-051-5/+5
| | | | Big blooper: superId was always -1.
* Fixes to baseType; now respects linearization order.Martin Odersky2013-04-051-22/+14
|
* Consolidated tracing under -YdebugTrace.Martin Odersky2013-04-048-11/+25
|
* Fxing cyclic references during findMemberMartin Odersky2013-04-042-37/+38
| | | | | | 1) Classes and alias type now take precedence over abstract types. 2) When computing members, parents are visited right to left, which corresponds to existing taking precedence over new in mergeDenot.
* Trying to get at the root of cyclic reference problems.Martin Odersky2013-04-045-28/+35
| | | | Part 1: Enabling tracing and avoiding subtype computations in margeDenot.
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-037-73/+92
|
* Getting rid of forceProperType in UnpicklersMartin Odersky2013-03-261-14/+4
|
* Some more fixes of classfile reading.Martin Odersky2013-03-264-8/+10
|
* More fixes to classfile reading.Martin Odersky2013-03-257-110/+41
| | | | Can now read entire contents of scala distribution.
* More fixes for classfile reading.Martin Odersky2013-03-2510-27/+77
| | | | In particular: Survive malformed type errors. Make trees cloneable. and others more.
* More fixes to classfile loading.Martin Odersky2013-03-246-4/+36
|
* Fixes fingerprint problems.Martin Odersky2013-03-2410-46/+51
| | | | Also reducing debug output. Can now read and display all classes and objects in scala.collection.
* Attempt to fix fingerprint problem (disabled for now)Martin Odersky2013-03-236-24/+52
|
* Some more fixes for classfile loadingMartin Odersky2013-03-233-5/+14
|
* More fixes to classfile reading.Martin Odersky2013-03-238-41/+80
| | | | Most important one: Getting equality of NamedTypes right.
* More fixes for classfile reading.Martin Odersky2013-03-227-53/+97
| | | | Including a refactoring of symbol loaders and unpickler traits.
* More fixes to classfile reading.Martin Odersky2013-03-2110-52/+113
| | | | Can now read all classes in scala.collection.generic. Some failures remain for their companion objects.
* Pretty-printing improvements.Martin Odersky2013-03-2017-253/+315
|
* First draft of pretty printing abstractionsMartin Odersky2013-03-201-0/+123
|
* Fixing problem with reading typeParams correctly in UnpicklerMartin Odersky2013-03-193-8/+30
|
* Adding missing methods for type equalityMartin Odersky2013-03-191-9/+46
|
* Some improvements to printingMartin Odersky2013-03-192-6/+10
|
* Excluding empty trees from type mapping tree transformsMartin Odersky2013-03-191-1/+3
|
* More changes for higher-kinded types emulation.Martin Odersky2013-03-188-38/+123
|
* Cleanup of higher-kinded types treatmentMartin Odersky2013-03-183-20/+38
|
* Added emulation of higher-kinded types.Martin Odersky2013-03-1712-21/+136
| | | | Also improvements to toString.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 20:36:51 +0000