aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Better handling of cyclic reference errors.Martin Odersky2013-12-161-1/+1
|
* Checking for double definitions among class definitions.Martin Odersky2013-12-161-1/+2
| | | | | | Also fixes to typedReturn. Adapted tests accordingly.
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-142-3/+3
| | | | | | | | | 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.
* Fixes to typer.Martin Odersky2013-12-111-0/+2
| | | | | | 1. Got rid if InSuperInit mode bit. 2. Fixes to typing assignments 3. Import qualifiers need to be stable
* Fixes and tests for typedIdentMartin Odersky2013-12-101-0/+3
| | | | Fixed a problem where an import and a definition in same scope were erroneously regarded as a conflict (L20 in typedIdents.scala)
* Fixes to inherited result types in Namer.Martin Odersky2013-12-091-0/+1
|
* Fixing expansion and merge companion defs.Martin Odersky2013-12-061-0/+2
|
* Fixes to type applications and unapply.Martin Odersky2013-12-021-1/+2
|
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-011-0/+1
|
* Adapting showClasstests to newly downloaded classpathMartin Odersky2013-11-291-2/+4
|
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-223-96/+95
|
* Added unit testing supportMartin Odersky2013-11-189-95/+81
|
* Fixing problem related to overloaded symbolsMartin Odersky2013-09-241-9/+50
| | | | Now that we have no longer termrefs with fixed syms, we need to create TermRefWithSignatures. Just setting symbol/denotation is not enough because of termref caching.
* Module classes are now enteredMartin Odersky2013-09-241-3/+3
| | | | Module classes are entered alongisde their source modules in parent scope.
* Changed Throwing reporting scheme.Martin Odersky2013-09-232-2/+5
| | | | | Changed ThrowingReporter to use an underlying reporter for issuing messages below ERROR. Made ThrowingReporters the default in initialContext.
* expolaratory worksheetMartin Odersky2013-09-161-0/+29
|
* Added main runner and driver.Martin Odersky2013-08-121-1/+1
| | | | Left dummies for Compiler and Run.
* Added support for pattern variables and Bind.Martin Odersky2013-08-091-0/+16
| | | | Also some fixes in adapt wrt patterns.
* Redesign of trees.Martin Odersky2013-07-274-21/+86
| | | | | | 1) Trees are now contravariant. 2) All creation ops, transformers, copiers are pushed into Instance. 3) Still to do: integrate TreeMappers and tpd.TreeTransformers.
* SeqLiteral refactoringMartin Odersky2013-07-221-2/+2
| | | | SeqLiterals no longer have an elemtpt subtree. Their type is now no longer a RepeatedParamType, but instead an instance of SeqType or ArrayType.
* Added code for adapt and more.Martin Odersky2013-07-211-2/+4
| | | | | | | - Pushed mode into context - Elimintaed scope nesting level - Fixed a desugar bug - Added constant folding
* Adding diagnostics how many stubs were generatedMartin Odersky2013-07-121-1/+3
|
* Taking accessibility into account for &, |Martin Odersky2013-06-192-1/+51
| | | | | | 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.
* Added typedIdent method.Martin Odersky2013-06-181-0/+21
| | | | Also some refactorings that were caused by adding this method.
* Added typer.ModeMartin Odersky2013-06-172-4/+6
| | | | Replaces desugar.Mode. Is now a value class representing a set.
* Removed ClassDef as a Tree node class.Martin Odersky2013-06-151-3/+1
| | | | ClassDefs are now TypeDefs that have a Template as rhs.
* Dropping type parameters from typed TypeDefs.Martin Odersky2013-06-132-66/+12
| | | | | | Typed TypeDefs no longer carry tparams. Untyped ones still do, but there is a special PolyTypeDef node for them in untpd. Also, fixed flatten and DeSugarTest to deal with new tree desugarings which are not idempotent (e.g. desugar.classDef, or desugar.valDef).
* Refactoring: breaking out desugaring into its own object.Martin Odersky2013-06-042-5/+9
| | | | | Also, changing the maps in Namer. More commenting needs to be done. Pushing now to get off this machine and back to the new one, which just came back form repair.
* Added tests for desugaring.Martin Odersky2013-05-246-24/+244
|
* More tweaks to desugaringMartin Odersky2013-05-231-3/+10
| | | | | | (1) Made desugaring reaching a fixed point. (2) Systematic encoding of names. (3) Introduced Closure nodes which represent anonymous functions
* Moved TempTrees to Trees, get automatically flattened in transforms.Martin Odersky2013-05-231-0/+8
|
* Made tpd/untpd toplevel objects.Martin Odersky2013-05-223-3/+3
| | | | Moved all other elements of TypedTrees and UntypedTrees into tpd and untpd.
* More tree refactorings.Martin Odersky2013-05-223-4/+5
| | | | | | | 1) Getting rid of ugen in favor of untpd. 2) Eliminating some unused methods 3) Splitting out CheckTrees from TypedTrees. 4) Moving trees and related classes into separate package dotc.ast
* Refactored Printing architecture.Martin Odersky2013-05-173-5/+18
| | | | | Split printers into several files. Added refined printing of trees. Changed Showable and generalized printing under a precedence.
* Refactored Printers, Showable and Text into new package dotc.printing.Martin Odersky2013-05-142-2/+2
|
* New parser testsMartin Odersky2013-05-133-3/+72
| | | | | | | | | | | | … which take some statistics. So far (on a Macbook pro): code base tested = scala/src + dotty/src lines: 290'000 nodes created: ~1'004'000 parse times + tree building times after 10 iterations: 700-750ms, i.e. ~ 400Klines/sec full transform of 1M nodes without tree copying: ~50ms full transform with full copying: 150-200ms
* new tests and worksheetsMartin Odersky2013-05-124-0/+95
|
* Early initialization of keywords to save space.Martin Odersky2013-05-121-0/+4
|
* Added TreeBuilder and TreeInfo classes.Martin Odersky2013-04-191-1/+1
| | | | Also changed Untyped from Nothing to Null, because it avoids type inference problems.
* Scanners added.Martin Odersky2013-04-172-0/+59
| | | | | | | Moving Positions, Chars to new packages. Added Source positions. Added untyped trees module. Factored out behavior between typed and untyped trees.
* Avoids exponential amount of testing for nested packagesMartin Odersky2013-04-102-3/+4
| | | | Previously, each package nesting level doubled the amount of tests, because of the where doTwice was placed.
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-1/+1
| | | | | 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.
* Added initial denotations to NamedType where feasible.Martin Odersky2013-04-091-1/+1
|
* ShowClass tests now run both with -Ydebug and without.Martin Odersky2013-04-093-3/+10
|
* Refining refined printers.Martin Odersky2013-04-092-4/+4
| | | | Various refinements to make output look more like source.
* More refinements to classfile loading.Martin Odersky2013-04-082-7/+13
| | | | Can now load and print all of scala, dotty.
* Changes to pre complete declsMartin Odersky2013-04-073-3/+10
| | | | | | 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.
* Refactored lazy class completers and module class completers.Martin Odersky2013-04-061-3/+3
| | | | Aim: simplification, fewer classes.
* Weakening disambiguation from =:= to matches.Martin Odersky2013-04-051-3/+3
|
* Adapted backlisting in test framework to new module class name scheme.Martin Odersky2013-04-051-2/+3
| | | | Previsouly, failed to detect backlisted package members that were module classes.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 04:06:09 +0000