aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Linker Specific: allow phases to get to TASTY section.Dmitry Petrashko2015-12-201-0/+8
* Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-141-3/+9
* Better diagnostics for clashing classesMartin Odersky2015-12-141-1/+1
* Adaptations to checkSymAssignMartin Odersky2015-12-141-3/+8
* Do not report data races between symbols defined in class and its selftypeMartin Odersky2015-12-141-4/+10
* Shortcut in derivesFrom for high bound Any.Martin Odersky2015-12-131-14/+17
* Avoid cycle when computing setsMartin Odersky2015-12-131-1/+21
* Allow bottom types as hk type argumentsMartin Odersky2015-12-111-1/+1
* Avoid false positives when extracting AppliedTypeMartin Odersky2015-12-061-1/+11
* Switch to new hk scheme.Martin Odersky2015-12-061-23/+13
* Fix bug computing typeParams for hk typesMartin Odersky2015-12-061-1/+1
* Drop redundant check in beta reduceMartin Odersky2015-12-061-6/+4
* Add missing type params in testMartin Odersky2015-12-061-6/+6
* Drop requirement that an isRef type cannot be refined.Martin Odersky2015-12-061-3/+2
* Swap order of arguments in annotationsMartin Odersky2015-11-221-14/+13
* Fix ambiguity errors with polymorphic implicitsGuillaume Martres2015-11-181-0/+5
* Merge pull request #921 from dotty-staging/polytypes-hashcodesDmitry Petrashko2015-11-101-4/+21
|\
| * Address review comments.Dmitry Petrashko2015-11-101-1/+2
| * Add stable hash codes to PolyParams.Dmitry Petrashko2015-11-041-4/+20
* | Don't inspect info when dealiasing classesMartin Odersky2015-11-091-2/+3
* | Avoid taking references before toplevel symbols are entered.Martin Odersky2015-11-091-1/+1
* | Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-091-1/+1
* | Renamings in DefinitionsMartin Odersky2015-11-091-1/+1
* | Avoid overhead of generating symbol sets on each accessMartin Odersky2015-11-091-2/+2
* | Merge pull request #902 from dotty-staging/fix-numeric-implicit-argsodersky2015-11-091-1/+4
|\ \ | |/ |/|
| * Better handling of implicits over numeric types.Martin Odersky2015-11-011-1/+4
* | Allow existential types in hk typesMartin Odersky2015-10-241-12/+32
|/
* Better handling of merge errorsMartin Odersky2015-10-221-3/+1
* Revert "Make prefix covariant in type maps."Martin Odersky2015-10-061-1/+7
* Make prefix covariant in type maps.Martin Odersky2015-10-061-7/+1
* underlyingChain -> underlyingIteratorMartin Odersky2015-10-011-4/+10
* Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-011-6/+11
* Fix a long sleeper bugMartin Odersky2015-09-301-0/+1
* Eliminate Config.newMatch optionMartin Odersky2015-09-291-6/+3
* Eta expand $apply projected types if neededMartin Odersky2015-09-211-4/+16
* Remove magic from derivedRefinedType.Martin Odersky2015-09-181-17/+3
* Rename of hk args HK$x -> hk$xMartin Odersky2015-09-181-3/+3
* Rename Apply -> hkApplyMartin Odersky2015-09-181-2/+2
* Allow to use safe substitution in LambdaAbstractMartin Odersky2015-09-181-1/+1
* Black hole detection for LazyRefsMartin Odersky2015-09-181-1/+10
* New phase: ExplicitSelfMartin Odersky2015-09-171-1/+4
* Follow TermRefs when constant foldingMartin Odersky2015-09-141-0/+8
* Make literalize work for TermRefs of constant type.Martin Odersky2015-08-231-2/+1
* Merge pull request #735 from dotty-staging/ycheck-methodsodersky2015-08-041-1/+1
|\
| * Survive Nodenotation in computeDenotMartin Odersky2015-07-271-1/+1
* | Don't add lower bounds of abstract types to the implicit scopeGuillaume Martres2015-07-111-0/+2
|/
* Merge pull request #708 from dotty-staging/add/check-reentrantodersky2015-07-061-7/+9
|\
| * Add @sharable annotationMartin Odersky2015-07-061-7/+9
* | Error instead of crash when sigName comes up with a missing reference.Martin Odersky2015-07-061-5/+15
|/
* Disable checkConstraintClosed by defaultMartin Odersky2015-06-261-0/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-24 18:57:31 +0000