aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1634 from dotty-staging/change-tasty-pos-ctdodersky2016-11-211-1/+1
|\
| * Merge syntheticTypeParamNames and syntheticLambdaParamNamesMartin Odersky2016-11-111-1/+1
* | Add warning on != with same type fix isNullable.Nicolas Stucki2016-11-171-1/+1
|/
* Fix #1515: Don't narrow gadt bounds when frozenMartin Odersky2016-10-141-21/+22
* Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-121-7/+8
* Refactor from distribute{And,Or} to {meet,join}InfoMartin Odersky2016-10-121-85/+2
* Make PolyType a subtype of TypeLambdaMartin Odersky2016-10-121-10/+0
* Harmonize PolyType and TypeLambdaMartin Odersky2016-10-121-1/+1
* Make TypeLambdas not be ValueTypesMartin Odersky2016-10-121-1/+1
* Fix cutting problemMartin Odersky2016-10-111-2/+5
* Handle feature interaction between subtyping or types and hk typesMartin Odersky2016-10-111-2/+12
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Generalize self-referential member comparisons.Martin Odersky2016-08-261-3/+5
* Make expressions using GADTs type check in later phasesMartin Odersky2016-08-261-2/+17
* Fixes in comparisons between singleton typesMartin Odersky2016-08-181-8/+4
* Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-171-1/+1
* New string infterpolatorsMartin Odersky2016-08-161-2/+1
* Fix #1447: Make X$ <:< X.type when X is an objectGuillaume Martres2016-08-091-1/+7
* Take curried type lambdas into accountMartin Odersky2016-07-221-5/+14
* Merge pull request #1377 from dotty-staging/#1365odersky2016-07-151-8/+18
|\
| * Fix 1365: Fix bindings in patternsMartin Odersky2016-07-091-8/+18
* | Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-151-12/+18
* | Optimize hk comparisonsMartin Odersky2016-07-131-11/+11
* | Avoid dealiasing on type applicationMartin Odersky2016-07-121-3/+4
* | Address reviewers commentsMartin Odersky2016-07-111-8/+11
* | Fix SI-2712Martin Odersky2016-07-111-13/+40
* | Drop compareAliasedRefinedMartin Odersky2016-07-111-36/+3
* | Add a case where caching was missing.Martin Odersky2016-07-111-3/+4
* | Unify aliases when taking a lub.Martin Odersky2016-07-111-2/+18
* | Drop Config.checkKindsMartin Odersky2016-07-111-1/+1
* | Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-111-8/+5
* | Cleanup of Signature matchingMartin Odersky2016-07-111-2/+2
* | Remove refinement encoding of hk typesMartin Odersky2016-07-111-160/+15
* | Fixes to hk comparisonsMartin Odersky2016-07-111-14/+8
* | Beta-reduce with wildcard arguments if this is safe.Martin Odersky2016-07-111-6/+0
* | When comparing types revert eta-expansion as neededMartin Odersky2016-07-111-11/+37
* | Drop bounds checking for type lambdasMartin Odersky2016-07-111-5/+13
* | Handle TypeLambdas in findMemberMartin Odersky2016-07-111-6/+2
* | Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-9/+10
* | Fix appliedTo and typeParams, and higher kinded subtyping testsMartin Odersky2016-07-111-52/+146
* | Start new, direct HK schemeMartin Odersky2016-07-111-24/+104
* | Remove old hk schemeMartin Odersky2016-07-111-112/+31
* | Various tweaksMartin Odersky2016-07-111-33/+56
* | Change testsMartin Odersky2016-07-111-0/+15
* | Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-111-1/+1
* | Avoid accidental creation of hk typesMartin Odersky2016-07-111-2/+2
* | Add a second betaReduceMartin Odersky2016-07-111-3/+3
* | Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-111-2/+2
* | Multiple fixesMartin Odersky2016-07-111-20/+13
* | Turn on new hk schemeMartin Odersky2016-07-111-25/+119
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 08:09:58 +0000