aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Made blacklist in ScannerTest ignore the source path location of the ↵Martin Odersky2014-02-161-4/+4
| | | | blacklisted file.
* Add Scalac scanning to the Travis CI buildVlad Ureche2014-02-161-8/+13
| | | | | And silence some of the error messages we print so the build log doesn't go above 4MB (Travis' limit)
* New worksheet highlighting some symbol and tree constructionsMartin Odersky2014-02-141-0/+104
|
* Merge branch 'origin/master'Martin Odersky2014-02-111-2/+2
|\
| * Towards #4: dotc.tests working on my machineVlad Ureche2014-02-061-2/+2
| | | | | | | | File name issues
* | New scheme for incremental invalidation of parents.Martin Odersky2014-02-101-1/+9
| |
* | Make Definitions load all symbols in current runId.Martin Odersky2014-02-102-2/+2
| |
* | WIP: Fixes to bring symbols forwardMartin Odersky2014-02-092-1/+2
| |
* | Generalize test infrastructureMartin Odersky2014-02-071-7/+6
| | | | | | | | Compiler tests can now be run with configurable number of compilers and runs in a compiler.
* | Make skolems live forever...Martin Odersky2014-02-061-5/+8
| | | | | | | | ... because there's no way to reload them in a new run.
* | Checking for already existing symbols before creating new ones.Martin Odersky2014-02-061-0/+13
|/ | | | | Otherwise we get spurious "compiled twice" errors on every symbol defined in a run after the first one. Also, fixed a bug so that now run ids are correctly incremented.
* Fixed ScannerTest to make it work with relative pathsMartin Odersky2014-02-061-2/+2
|
* Made showclass tests more robust if fewer stubs are generated than the limit.Martin Odersky2014-02-061-1/+1
|
* One more absolute path changed to relativeDmitry Petrashko2014-02-061-1/+1
|
* Use relative paths in testsDmitry Petrashko2014-02-064-13/+13
|
* Avoid accessing implicits that come from root imports that are hidden by ↵Martin Odersky2014-02-021-1/+1
| | | | | | | | | | | | some nested import. This also changes the criterion when a root import is disabled. A root import is now disabled if there is an inner import from the same package or module, and the inner import contains at least one disabling clause X => _. (The latter crierion is new; without it, we would consider something like import scala.{collections => c} as a hiding import for Scala, which seems to go too far.)
* Cheaper eligibility test for PolyTypes.Martin Odersky2014-02-021-0/+1
| | | | Instead of doing a wildApprox of the whole type, we fuse with the logix for method types and just do a wild approx of the single method type argument we have to test.
* Fixes to constraint handling.Martin Odersky2014-01-261-1/+2
| | | | | | | | In particular, need to unify polyparams before replacing one with the other, if the result wiould lead to a cyclic constraint. Also: Avoid setting `inst` field of a type variable if a subtype operation is in progress, because the constraint might be retracted, and the instantiation should be retracted with it. Third, tighter checks of cyclic constraint, and deep subtype recursions can now be demanded to cause an abort.
* Avoid eager forcing in enterArgBindingMartin Odersky2014-01-201-1/+7
| | | | Caused a cyclic reference error when compiling the three files in test "testNonCyclic".
* Adapt fun prototype when looking for second chance implicits (aka BigInt)Martin Odersky2014-01-191-1/+3
| | | | | | | | | | If we look for aprototype of the form select(name, FunProto(args, ...)) it's important that the result type of the FunProto type is a wildcard type, because implicit views are disabled for that match. --- this commit achieves the first bootstrap of dotty! ---
* More tests.Martin Odersky2014-01-181-0/+2
|
* Fixing the test suite.Martin Odersky2014-01-172-3/+4
| | | | | | - fix wrong directories - add xml where needed to teh classpath - reduce expected stub # because xml was added
* Make RefinedPrinter Dotty compliant.Martin Odersky2014-01-151-0/+1
|
* Avoid stale symbol errors for package objectsMartin Odersky2014-01-151-0/+1
| | | | Happened (albeit non-deterministally) when compiling parsing/*.scala
* Avoid procedure syntaxMartin Odersky2014-01-141-0/+1
|
* Making files in pickling dotty-compliant.Martin Odersky2014-01-141-0/+1
|
* Avoiding cyclic references involving module vals and imports.Martin Odersky2014-01-141-22/+1
| | | | Previousely, compiling all of dotc/core caused a cyclic reference. The cyclic reference was caused by evaluating a module val, which caused it to evaluate its type, which caused the evaluation of all preceding imports, which led via some hops back to the same module val. We now break the cycle by computing the signature of a module val without going through its type.
* More refined handling of avoidable aliases.Martin Odersky2014-01-131-2/+3
|
* Improved avoidance of local symbolsMartin Odersky2014-01-131-1/+23
| | | | If the refinement in a refined type refers to a local symbol, drop it and return only the parent.
* Remove debug outputMartin Odersky2014-01-061-5/+3
|
* Relax isFullyDefined testMartin Odersky2014-01-061-0/+2
| | | | Previously, if forceDegree = noBottom, we failed the test if a type variable was minimized to Null or Nothing. Now we succeed and maximize the type variable instead. It seems Scala2x does soemthing similar, at least the change is needed to make PathResolvers.scala compile.
* Exclude inaccessible definitions from contextual implicit search.Martin Odersky2014-01-061-0/+1
|
* Make implicit scope work in the presence to TypeVarsMartin Odersky2014-01-061-0/+2
| | | | Need to pass a current context to be able to find instances of typevars.
* safeUnderlyingTypeParams now forces uncompleted symbols.Martin Odersky2014-01-031-1/+6
| | | | When removing logging, it turned out that Coder no longer compiled. The problem was tracked to safeUnderlyingTypeParams which did not force enough.
* Fixing a type problem where code does not compile under dotty.Martin Odersky2014-01-021-7/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | ... and I believe should not compile under Scala2x either. The problem is in line 361 of TreeInfo.scala methPart(tree) match { ... Here, tree: tpd.Tree methPart: (tree: this.Tree): Tree So we need to show that tpd.Tree <: this.Tree LHS expands to ast.Tree[Type] RHS expands to ast.Tree[T] where T >: Untyped is TreeInfo's type parameter Since Tree is contravariant, we need to etablish T <: Type but I see nothing that could prove this. The Dotty typechecker detected the problem, yet Scala2x's didn't. Need to follow up on why not. For now, adding the necessary constraint to the codebase.
* Making Desugar.scala dotty-conform.Martin Odersky2014-01-021-0/+1
|
* Better assertions and diagnostics in TypeComparers.Martin Odersky2013-12-311-0/+2
|
* Module classes are now entered into owner's scope when unpickled.Martin Odersky2013-12-262-2/+3
| | | | ... aligning with treatement of module classes elsewhere.
* New testMartin Odersky2013-12-251-0/+3
|
* Fixing problems in treatment of private symbolsMartin Odersky2013-12-241-2/+2
| | | | | | | | | | | | 1) Accessibility check was broken because it looked at symbol's owner, where it should have looked at context owner. 2) Refined treatement if members. Previously, nonPrivate member returned a subset of member, i.e. those denotations returned by member that were not private. This is not correct. In a situation like class A { def x: Int = 1 } class B { private def x: String = "" } extends A (new B).x the non-private member returned should be A#x. Changed membersNamed and friends as well as checkAccessible to account for that.
* Starting to test compiling the compiler.Martin Odersky2013-12-212-1/+22
|
* Handling implicit unapply arguments.Martin Odersky2013-12-201-2/+2
| | | | Changed format of UnApply nodes to also take implicit parameters. See doc comment in class Trees.UnApply
* Special handling of implicit members.Martin Odersky2013-12-171-0/+1
| | | | | The previous treatment would force all members, causing cyclic reference errors. We fix it by filtering early in computeMemberNames itself for implicits.
* Fixes to desugaring and indexing package objectsMartin Odersky2013-12-171-0/+1
| | | | Plus some small tweaks in Typer
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 00:06:15 +0000