aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Remove extraneous printlnMartin Odersky2015-12-211-1/+1
* Make asSeenFrom idempotentMartin Odersky2015-12-211-5/+29
* Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-1/+1
* More tweaks to override checks.Martin Odersky2015-12-151-2/+2
* Change <:< to overridesMartin Odersky2015-12-151-1/+1
* Check types for overriding conditions.Martin Odersky2015-12-141-5/+15
* Generalize overriding checking from isDefinedMartin Odersky2015-12-141-1/+1
* Only select parameterless get methods in unapplys.Martin Odersky2015-12-141-1/+1
* Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+6
* Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
* Better diagnostics for clashing classesMartin Odersky2015-12-141-4/+15
* Drop redundant conditionMartin Odersky2015-12-141-1/+1
* Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
* Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-141-4/+34
* Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
* Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
* Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-141-1/+1
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-132-2/+2
* Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-111-4/+1
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-114-6/+14
* Reset constraint when one of several implicit arguments is not found.Martin Odersky2015-12-061-1/+7
* Switch to new hk scheme.Martin Odersky2015-12-062-6/+5
* More uses of adaptIfHKMartin Odersky2015-12-062-18/+20
* Drop argumnt interpolation.Martin Odersky2015-11-301-1/+1
* Swap order of arguments in annotationsMartin Odersky2015-11-225-6/+6
* Annotate `isAsSpecific` with references to its documentationGuillaume Martres2015-11-181-9/+9
* Fix ambiguity errors with polymorphic implicitsGuillaume Martres2015-11-181-6/+23
* Fix #938 - escaping reference.Martin Odersky2015-11-171-4/+3
* More refined treatement of pattern type variablesMartin Odersky2015-11-171-3/+8
* Generalize test to function classesMartin Odersky2015-11-161-2/+2
* Flag trailing `_' following non-function as an errorMartin Odersky2015-11-161-2/+13
* Make secondary constructor type parameters aliasesMartin Odersky2015-11-161-0/+7
* More refined Retyping tracingMartin Odersky2015-11-091-3/+4
* Disable "Exception while typing" trace in retyper.Martin Odersky2015-11-091-2/+2
* Don't try to transform sources of primitive value classes after FrontEnd.Martin Odersky2015-11-091-1/+14
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-093-6/+6
* Renamings in DefinitionsMartin Odersky2015-11-093-4/+4
* First versions of Definitions based on TypeRefs not Symbols.Martin Odersky2015-11-092-5/+5
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-093-11/+8
|\
| * Check bounds of inferred typevars in PostTyper.Martin Odersky2015-11-052-9/+8
| * Drop test that lower bound must be a subtype of upper bound.Martin Odersky2015-11-051-2/+0
* | Merge pull request #905 from dotty-staging/fix-nested-pkg-member-2odersky2015-11-091-1/+3
|\ \
| * | Fix problem when accessing same identifier from nested packages.Martin Odersky2015-11-021-1/+3
* | | Merge pull request #902 from dotty-staging/fix-numeric-implicit-argsodersky2015-11-092-5/+28
|\| |
| * | Disable failing testMartin Odersky2015-11-011-5/+5
| * | Better handling of implicits over numeric types.Martin Odersky2015-11-012-5/+28
* | | Handle variance unsoundness in scalacMartin Odersky2015-11-051-4/+8
| |/ |/|
* | Merge pull request #889 from dotty-staging/fix-#877odersky2015-11-051-1/+3
|\ \
| * | Make a new fresh name creator for each unitMartin Odersky2015-10-301-1/+3
* | | Merge pull request #901 from dotty-staging/fix-#851Dmitry Petrashko2015-11-031-1/+2
|\ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 18:21:24 +0000