aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Fixing problem related to overloaded symbolsMartin Odersky2013-09-242-4/+10
| | | | 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-242-3/+9
| | | | Module classes are entered alongisde their source modules in parent scope.
* Better display of list arguments in "i" interpolatorMartin Odersky2013-09-231-4/+8
|
* Fixed a bug related to classfile parsingMartin Odersky2013-09-232-3/+7
| | | | Parsing inner classes of generic outer classes requires a name-unexpansion.
* Avoided a cyclic reference error when dealing with hk types.Martin Odersky2013-09-231-9/+17
|
* Changed Throwing reporting scheme.Martin Odersky2013-09-235-6/+9
| | | | | Changed ThrowingReporter to use an underlying reporter for issuing messages below ERROR. Made ThrowingReporters the default in initialContext.
* Changed type comparers to compare symbols of standard types instead of types ↵Martin Odersky2013-09-231-42/+65
| | | | | | | | | | | | | | | themselves Types themselves are not unique, for instance, scala.Any would be TypeRef(ThisType(scala), Any) or TypeRef(TermRef(ThisType(_root_), scala), Any) Even if we pick only one internally we still risk unpickling both forms when reading scala 2 - compiled files. The only way to avoid this would be to change the ThisType constructor to always return a TypeRef for a module.
* Experimental branch that drops {Term/Type}RefWithSym typesMartin Odersky2013-09-188-64/+81
|
* Made TermRefs always resolve to NotAMethod signature by default.Martin Odersky2013-09-171-23/+23
|
* Made lub/glb fail early when trying to mix a class info with another type type.Martin Odersky2013-09-172-10/+23
| | | | The previous alternative of creating a TypeBounds with the TypeRef back to the class leads to infinite loops when chasing type proxies. Example was infinite loop in baseClasses in showClass test.
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-1615-177/+275
| | | | Main refactoring: lub/glb moves to type comparers.
* Added utility methods for TermRefs.Martin Odersky2013-09-121-2/+8
|
* Implemented "two-hop" implicit adaptation.Martin Odersky2013-09-081-6/+26
| | | | | | That is, in a selection qual.name(args), qual can be adapted to obtain a member "name" that matches args. Important to make usage patterns like this one work: 1 + BigInt(x)
* Fixed an initialization problem in implicitsMartin Odersky2013-09-081-3/+3
|
* Improvements to termref printing.Martin Odersky2013-09-073-18/+43
|
* Made sets of TermRefs work correctly wrt =:=Martin Odersky2013-09-071-2/+26
|
* Improvements in implicits error reportingMartin Odersky2013-09-0612-152/+243
| | | | Plus a few bugfixes for implicits
* Several fixes in typer.Martin Odersky2013-09-053-13/+40
| | | | Also updated tests.
* added widenSingleton method.Martin Odersky2013-09-051-0/+6
| | | | Needed to make normalize correct.
* Made SimpleMap non-variant in key type and added map2 method.Martin Odersky2013-09-051-16/+32
| | | | Better type for foreachKey that way.
* Foleded typeConforms back into <:<Martin Odersky2013-09-051-8/+5
| | | | Reason: It's better that way for explaiing types.
* Fix that avoids constraint pollution when computing cached scope implicits.Martin Odersky2013-09-051-2/+5
|
* File renameMartin Odersky2013-09-051-5/+33
|
* Changes in typecomparersMartin Odersky2013-09-053-10/+20
| | | | | 1) Fixes for <:< 2) Changes in context handling type comparers that allow one to make a new type comparer that "sticks" in nested contexts.
* More tests and fixes related to inference.Martin Odersky2013-08-307-36/+55
| | | | Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference.
* Buf fixing of namer/typer interface.Martin Odersky2013-08-292-76/+96
| | | | Make sure that only expanded trees are passed to functions that require expanded trees.
* Reverting explicit arguments for zipoped/unzipMartin Odersky2013-08-295-10/+18
| | | | | | … after figuring out the root cause: conforms needs to be renamed because otherwise it shadows Predef.conforms. Also fixing two bugs in Desugar.
* Added implicit parameters, need to find out why they are suddenly needed.Martin Odersky2013-08-272-2/+2
|
* Fixed bugs related to typechecking closures.Martin Odersky2013-08-278-18/+29
|
* Added wildcard argument handling to parsingMartin Odersky2013-08-252-8/+60
| | | | It was forgotten in desugaring, and in any case would be difficult to do as a desugaring operation, because the transformation is non-local.
* Inserts AnyRef as a parent if parents of class def or module def are empty.Martin Odersky2013-08-251-8/+9
|
* Inferred singleton type instance of a type variable is widened …Martin Odersky2013-08-251-3/+16
| | | | … if it is instantiated from below and the upper bound is not itself a singleton type
* Inferred type of a valdef or defdef is always widenedMartin Odersky2013-08-251-2/+2
|
* Fixed bug in adaptation that confused tree types and their widened versions.Martin Odersky2013-08-251-17/+17
|
* Optimized case for findMember on a type refinement.Martin Odersky2013-08-241-4/+9
|
* When merging denotations with &, always avoid NoSymbol when you can.Martin Odersky2013-08-241-1/+3
|
* Review of all deompositions of NamedTypeMartin Odersky2013-08-246-8/+12
| | | | Avoid using symbols that might not exist when doing that.
* Fixed two problems that lead to over-zealous lifting.Martin Odersky2013-08-233-4/+6
|
* Fixes in implicit handlingMartin Odersky2013-08-236-30/+49
| | | | Plus a new test file: implicits1
* Fixes bug in erasure.Martin Odersky2013-08-231-1/+1
| | | | Wrong to assume that TypeRefs/TermRefs always have an existing symbol.
* Fixes expansion and general handling of pattern defs.Martin Odersky2013-08-235-59/+66
|
* Fix in printerMartin Odersky2013-08-231-2/+2
| | | | NamedTypes need not have an existing symbol, so one should print the name in the type instead.
* Fixing a cyclic reference error.Martin Odersky2013-08-221-2/+1
|
* Fixing a buf in implicit searchMartin Odersky2013-08-222-2/+8
| | | | … which caused impicit context infos to be always empty
* More typer bug fixes and improvements in error messagesMartin Odersky2013-08-2211-29/+37
|
* Various bug fixes for typer.Martin Odersky2013-08-2210-22/+41
|
* Fixing leak logic by turning a key predicate around.Martin Odersky2013-08-221-4/+4
|
* Emprt package is now a member of Root package, not just owned by it.Martin Odersky2013-08-221-2/+3
|
* Change: MultiDenotation#symbol gives NoSymbol instead of assertion error.Martin Odersky2013-08-221-1/+1
|
* Making FunProto a prototype so that we can use it in implicit search.Martin Odersky2013-08-221-1/+4
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 05:09:54 +0000