aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1634 from dotty-staging/change-tasty-pos-ctdodersky2016-11-211-8/+2
|\
| * Merge syntheticTypeParamNames and syntheticLambdaParamNamesMartin Odersky2016-11-111-1/+1
| * Replace PolyType.fromSymbols with LambdaAbstractMartin Odersky2016-11-111-7/+1
* | Resync copy of the type diagram in docsPaolo G. Giarrusso2016-11-071-0/+2
|/
* Merge pull request #1632 from dotty-staging/fix/hash-assertFelix Mulder2016-11-071-2/+2
|\
| * Avoid calling unsupported computeHash in some situationsGuillaume Martres2016-10-261-2/+2
* | Merge pull request #1655 from dotty-staging/change-future-defs-okodersky2016-11-051-4/+1
|\ \
| * | Fix #1637: Future defs are always OKMartin Odersky2016-10-311-4/+1
| |/
* | Add doc commentMartin Odersky2016-11-041-0/+3
* | Fix #1652: Make assertion more robustMartin Odersky2016-11-031-3/+11
|/
* Merge pull request #1596 from dotty-staging/fix-#1531Guillaume Martres2016-10-141-4/+4
|\
| * Fix #1531: Ignore private members when looking for abstract onesMartin Odersky2016-10-141-4/+4
* | Merge pull request #749 from smarter/fix/escaping-refs-2odersky2016-10-141-4/+11
|\ \ | |/ |/|
| * Typer#escapingRefs: don't let the types of lower bounds escapeGuillaume Martres2016-03-241-4/+11
* | Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-121-141/+78
* | Make PolyType a subtype of TypeLambdaMartin Odersky2016-10-121-20/+45
* | Change type inheritance diagramMartin Odersky2016-10-121-2/+2
* | Harmonize PolyType and TypeLambdaMartin Odersky2016-10-121-70/+63
* | Make TypeLambdas not be ValueTypesMartin Odersky2016-10-121-1/+4
* | Keep or typesMartin Odersky2016-10-111-25/+21
* | Address @smarter's review commentsMartin Odersky2016-10-021-2/+2
* | Drop annotations from dealiasMartin Odersky2016-10-021-10/+22
* | Add inline for valsMartin Odersky2016-10-021-1/+14
* | Add accessors for non-public members accessed from inline methodsMartin Odersky2016-10-021-0/+18
* | Better toString for TermRefWithSigMartin Odersky2016-10-021-0/+1
* | Fix problems handling types in InlinerMartin Odersky2016-10-021-4/+3
* | Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-231-1/+1
|\ \
| * | Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* | | Address reviewer commentsMartin Odersky2016-09-181-2/+2
* | | Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-171-2/+5
* | | Fix #1513: misaligned by name type parameter type boundsOlivier Blanvillain2016-09-151-2/+2
|/ /
* | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-261-5/+6
|\ \
| * | Don't force in isErronous checkMartin Odersky2016-08-211-5/+6
* | | implementation of exhaustivity and redundancy checkliu fengyun2016-08-241-0/+7
|/ /
* | New string infterpolatorsMartin Odersky2016-08-161-4/+4
* | Merge pull request #1398 from dotty-staging/fix-#1269Dmitry Petrashko2016-07-311-5/+1
|\ \
| * | Fix computation of parent types of a classinfo.Martin Odersky2016-07-171-5/+1
* | | Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-271-0/+3
|\ \ \
| * | | Refine HKApply#superTypeMartin Odersky2016-07-281-1/+1
| * | | Fix HkApply#superType if type constructor is a TypeVarMartin Odersky2016-07-271-0/+3
* | | | Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdasGuillaume Martres2016-07-251-1/+0
|\ \ \ \ | |/ / / |/| | |
| * | | Take curried type lambdas into accountMartin Odersky2016-07-221-1/+0
| |/ /
* | | Resume suspensions also when reading from classfilesMartin Odersky2016-07-221-2/+10
* | | Fix #1401: Make sure all refs are forwardedMartin Odersky2016-07-211-1/+12
|/ /
* | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-0/+3
|\ \
| * | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-0/+3
* | | Fix bounds checking of hk applied typedMartin Odersky2016-07-141-31/+14
* | | Allow hk parameters in lower boundsMartin Odersky2016-07-131-1/+3
* | | Simplify variance computationsMartin Odersky2016-07-131-6/+2
* | | Make rewritings of hk applications configurableMartin Odersky2016-07-131-3/+20