aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Abstract type parameters out from type symbolsMartin Odersky2016-07-111-18/+25
* | Introduce recursive typesMartin Odersky2016-07-111-2/+29
* | Allow general recursion in refined types.Martin Odersky2016-07-111-3/+2
|/
* Avoid forming ???.T type.Martin Odersky2016-04-271-1/+2
* Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-271-4/+4
* Fix constraint handling in eitherIsSubtypeMartin Odersky2016-04-211-1/+1
* Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-061-2/+16
|\
| * Fix documentation of liftIfHKMartin Odersky2016-03-301-1/+1
| * Don't lambda expand and/or types over named type parametersMartin Odersky2016-03-301-2/+16
* | Make erased value type take a TypeRef instead of a ClassSymbolMartin Odersky2016-04-031-3/+3
* | Move Mode to coreMartin Odersky2016-04-011-1/+0
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-12 19:22:01 +0000