| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
|
| |
1. We forgot to mark declaration symbols Deferred.
2. Types with NoPrefix and the same name got identified. Fixed by adding a new category WithNoPrefix to named types, and changing the way named types get generated.
3. Self types lacked parameters. (Question: Do we need to also track type members?)
4. Printers caused cyclic reference errors. Now some print operations are more careful with forcing.
5. Namedparts accumulator has to be more careful with ThisTypes. Because self types now contain parameters, which might lead back to this, we only add the class name (or the source module, if it's a module class).
6. toBounds in TypeApplications needs to use Co/Contra aliases for expanded name parameters, not just local ones.
|
| |
|
|
|
|
|
| |
Changed ThrowingReporter to use an underlying reporter for issuing messages below ERROR.
Made ThrowingReporters the default in initialContext.
|
| |
|
|
|
|
|
|
| |
Changed the algorithm for & (and also |) to take accessibility into account. Fixed various problems that opened up when doing this.
Under -debug, new and old behavior of & are checked side-by-side and any discrepancy is noted.
|
|
|
|
| |
Also changed Untyped from Nothing to Null, because it avoids type inference problems.
|
|
|
|
| |
Previously, each package nesting level doubled the amount of tests, because of the where doTwice was placed.
|
|
|
|
|
| |
Methods taking a fixed symbol are now called …withSym, methods taking a signature … withSig.
The reason for the change is that we want to liberate the original method names to take optional denotations, thus avoiding to have to go through withDenot each time.
|
| |
|
| |
|
|
|
|
| |
Various refinements to make output look more like source.
|
|
|
|
| |
Can now load and print all of scala, dotty.
|
|
|
|
|
|
| |
Dropped preCompleteDecls for a general refactoring that makes decls available after a class is loaded and before it is completed.
Also some other fixes to classloading problems.
|
|
|
|
| |
Aim: simplification, fewer classes.
|
| |
|
|
|
|
|
|
| |
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.
|
|
|
|
| |
For the pruposes of & and |, NoType is now treated as top type, above Any.
|
| |
|
|
|
|
| |
Moves worksheets to test. Factored out class DottyTest and made it usable from worksheets. Added worksheet test for signatures.
|
| |
|
| |
|
| |
|
|
Can now read entire contents of scala distribution.
|