aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 11:00:50 +0000