aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
* Introduce recursive typesMartin Odersky2016-07-111-1/+22
* Allow general recursion in refined types.Martin Odersky2016-07-111-2/+2
* Base deskolemize on ApproximatingTypeMapMartin Odersky2016-03-301-88/+9
* Fix a case in deskolemize.Martin Odersky2016-03-301-1/+1
* Test language features always in phase typer.Martin Odersky2016-03-121-1/+1
* Make named parameter alias handling more robustMartin Odersky2016-02-191-1/+1
* Augment test caseMartin Odersky2016-02-191-4/+10
* Big realizability refactoringMartin Odersky2016-02-091-93/+0
* Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-3/+41
* Remove isVolatile and DNF methodsMartin Odersky2016-02-091-91/+1
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-10/+15
* Fix path error disgnasticsMartin Odersky2016-02-091-6/+5
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-091-4/+13
* Move realizability logic from Types to TypeOps.Martin Odersky2016-02-091-2/+42
* Drop redundant context parameterMartin Odersky2016-02-081-1/+1
* Slight optimizationMartin Odersky2016-02-041-6/+8
* Try to make refinements match in approximateUnionsMartin Odersky2016-02-041-2/+22
* Push `|' into corresponding RefinedTypes in approximateUnionMartin Odersky2016-02-041-22/+41
* Fix #998Martin Odersky2016-01-201-3/+22
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-1/+1
* Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-1/+1
* Make asSeenFrom idempotentMartin Odersky2015-12-211-29/+22
* Fix problem handling SuperTypes in asSeenFromMartin Odersky2015-12-141-11/+12
* Make all arg bindings have flag BaseTypeArg.Martin Odersky2015-12-141-6/+15
* Swap order of arguments in annotationsMartin Odersky2015-11-221-1/+1
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-091-1/+1
* Add scalaMode and testScalaMode to TypeOpsMartin Odersky2015-11-051-0/+10
* Project all high-kinded types with #ApplyMartin Odersky2015-09-181-1/+1
* Pull out isLegal prefix.Martin Odersky2015-09-111-2/+5
* Add @sharable annotationMartin Odersky2015-07-061-2/+3
* Document asSeenFromMartin Odersky2015-06-061-2/+46
* Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-8/+11
* Move deskolemization from TypeComparer to TypeOpsMartin Odersky2015-06-061-0/+97
* Track unstability in asSeenFromMartin Odersky2015-06-061-4/+21
* Split RefinedThis and SkolemTypeMartin Odersky2015-06-061-0/+3
* Make normalizeToRef survive annotated typesMartin Odersky2015-05-211-4/+5
* Fix #523: Instantiate lower bound when bounds checkingMartin Odersky2015-05-021-1/+2
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-2/+2
* Move more functionality from Namer proper to context ops.Martin Odersky2015-03-181-17/+0
* Moved part of computation of types of DefDefs from Namer to TypeOpsMartin Odersky2015-03-181-1/+18
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-15/+0
* Refacttored skolemization logicMartin Odersky2015-01-081-102/+0
* Add deSkolemize method.Martin Odersky2015-01-081-0/+102
* Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-1/+16
* Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-2/+7
* Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-1/+15
* Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-6/+7
|\
| * Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-101-4/+4
| * Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-101-2/+3
* | Fix to asSeenFrom for package object membersMartin Odersky2014-12-151-0/+2
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 20:17:20 +0000