aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2209 from dotty-staging/fix-#2152odersky2017-04-131-8/+9
|\
| * Fix #2152: Instantiate dependent result type parametersMartin Odersky2017-04-111-8/+9
* | Revert <: Product requierment in pattern matchingOlivier Blanvillain2017-04-132-6/+3
* | Merge pull request #2225 from dotty-staging/fix-#2192odersky2017-04-111-26/+22
|\ \
| * | Fix #2212: Avoid imports in the wrong namespaceMartin Odersky2017-04-111-26/+22
* | | Add fullyDefinedType for class parent typesMartin Odersky2017-04-111-1/+1
| |/ |/|
* | Merge pull request #1938 from dotty-staging/named-based-patmatFelix Mulder2017-04-112-8/+12
|\ \
| * | Move isProductSubType to Applications & rename to canProductMatchOlivier Blanvillain2017-04-112-5/+7
| * | Decouple Product and pattern-matchingOlivier Blanvillain2017-04-062-7/+9
* | | Lazy entering of names with internal $'s in package scopesMartin Odersky2017-04-111-2/+2
* | | Names are no longer SeqsMartin Odersky2017-04-112-3/+4
* | | Cleanups of NameOpsMartin Odersky2017-04-112-16/+11
* | | Make outer select names semanticMartin Odersky2017-04-111-6/+3
* | | Decentralize unmangling, add new nameKindsMartin Odersky2017-04-111-1/+2
* | | Rename NameExtractor -> NameKindMartin Odersky2017-04-114-4/+4
* | | Make freshName semanticMartin Odersky2017-04-113-7/+9
* | | Get rid of SuperAccessor flagMartin Odersky2017-04-111-1/+1
* | | Drop Config.semanticNames optionMartin Odersky2017-04-111-1/+2
* | | Bug fixesMartin Odersky2017-04-111-1/+1
* | | Merge pull request #2215 from dotty-staging/#2142odersky2017-04-112-4/+21
|\ \ \
| * | | Align safe parameter substitution with other subst methodsMartin Odersky2017-04-102-6/+6
| * | | Skolemize arguments to dependent methods as necessary.Martin Odersky2017-04-102-4/+21
| | |/ | |/|
* | | Merge pull request #2206 from dotty-staging/fix-#2198odersky2017-04-101-2/+4
|\ \ \ | |/ / |/| |
| * | Fix #2198: Don't widen module singletonsMartin Odersky2017-04-091-2/+4
| |/
* / Fix #2192: Fullow supertypes when determining whether an expect type is a fun...Martin Odersky2017-04-091-2/+12
|/
* PolishingsMartin Odersky2017-04-061-1/+1
* Narrow matches from TypeLambda to HKTypeLambda where appropriateMartin Odersky2017-04-061-3/+3
* Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-065-15/+7
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-064-17/+17
* Eliminate LambdaAbstractMartin Odersky2017-04-064-7/+6
* Further refactoringsMartin Odersky2017-04-067-19/+14
* Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-063-10/+10
* Eliminate MethodOrPolyMartin Odersky2017-04-062-2/+2
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-065-5/+5
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-067-18/+18
* Refactor ParamRef so that no type params are neededMartin Odersky2017-04-061-1/+1
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-0614-47/+47
* Break out functionality from MethodTypeMartin Odersky2017-04-067-10/+10
* Encode variances in parameter namesMartin Odersky2017-04-061-1/+1
* Merge pull request #1958 from dotty-staging/add-enumodersky2017-04-062-2/+8
|\
| * Avoid assertion failure on neg testMartin Odersky2017-04-041-1/+8
| * Allow value expansion of modules in mergeCompanionDefsMartin Odersky2017-04-041-1/+0
* | Merge pull request #2190 from dotty-staging/fix-robust-avoidanceGuillaume Martres2017-04-041-2/+8
|\ \
| * | Make leak avoidance more robustMartin Odersky2017-04-041-2/+8
| |/
* | checkNoPrivateLeaks: Do not allow types to refer to leaky aliasesGuillaume Martres2017-04-041-6/+17
* | Merge pull request #2168 from allanrenucci/warningsGuillaume Martres2017-04-041-1/+1
|\ \ | |/ |/|
| * Addresses review commentsAllan Renucci2017-04-041-1/+1
| * Fixes @unchecked warningsAllan Renucci2017-04-031-1/+1
* | Create dummy companions for classes without a real oneGuillaume Martres2017-03-291-5/+16
|/
* Namer#createCompanionLinks: avoid using denotNamedGuillaume Martres2017-03-241-4/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 15:49:24 +0000