aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-554/+0
* Harmonize PolyType and TypeLambdaMartin Odersky2016-10-121-1/+0
* Drop dotty.language from DefinitionsMartin Odersky2016-10-111-3/+3
* Keep or typesMartin Odersky2016-10-111-52/+76
* Add missing star in docstringFelix Mulder2016-10-101-1/+1
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Refinements to auto tuplingMartin Odersky2016-08-181-2/+2
* Resume suspensions also when reading from classfilesMartin Odersky2016-07-221-1/+1
* Fix #1401: Make sure all refs are forwardedMartin Odersky2016-07-211-6/+16
* Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-10/+15
|\
| * Fix TypeOps.featureEnabled ignoring import disabling.Nicolas Stucki2016-07-071-9/+10
| * Add scala.Dynamic language feature check.Nicolas Stucki2016-07-071-1/+5
* | Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-111-6/+3
* | Remove refinement encoding of hk typesMartin Odersky2016-07-111-2/+1
* | Various hk related fixes in typesMartin Odersky2016-07-111-21/+30
* | Start new, direct HK schemeMartin Odersky2016-07-111-2/+2
* | Remove old hk schemeMartin Odersky2016-07-111-1/+1
* | Add a second betaReduceMartin Odersky2016-07-111-2/+2
* | Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-111-2/+2
* | Beta-reduce when simplifyingMartin Odersky2016-07-111-1/+2
* | Turn on new hk schemeMartin Odersky2016-07-111-1/+2
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 02:44:07 +0000