aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
...
* Fixes suggested by reviews from @smarter.Martin Odersky2015-01-241-2/+2
* Some finetunigs in TypeComparer.Martin Odersky2015-01-241-5/+8
* Small polishings for isSubTypeMartin Odersky2015-01-191-94/+93
* Streamline TypeComparer/ConstraintHandling interface.Martin Odersky2015-01-191-12/+10
* Move PolyParam test later in isSubType and simplify addConstraintMartin Odersky2015-01-191-25/+15
* Refactorings in TypeComparer fourthTryMartin Odersky2015-01-191-23/+20
* Refactor handling of NamedTypes in isSubTypeMartin Odersky2015-01-191-62/+56
* Compare ThisType refactoringMartin Odersky2015-01-191-10/+12
* Fixed soundness hole in TypeComparerMartin Odersky2015-01-191-2/+7
* Avoid adding constraint under typeVarsMissContext is trueMartin Odersky2015-01-181-13/+15
* New constraint handlingMartin Odersky2015-01-181-23/+9
* Allow to merge TypeBounds and ClassInfos in |, &Martin Odersky2015-01-141-8/+8
* Fixed bug/typo in comparing prefixes of ClassInfo types.Martin Odersky2015-01-141-1/+1
* Removed redundant test in isSubType.Martin Odersky2015-01-141-2/+1
* Rename isConstrained -> canConstrain for clarityMartin Odersky2015-01-141-4/+12
* Fix after review: reset state variable needsGcMartin Odersky2015-01-141-1/+4
* Two new hooks in ConstraintHandlingMartin Odersky2015-01-131-2/+2
* Made constraint data structures pluggable.Martin Odersky2015-01-121-7/+0
* Simplified condition in isSubType.Martin Odersky2015-01-101-2/+2
* Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-3/+3
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-3/+3
* Split off ConstraintHandling into separate trait.Martin Odersky2015-01-101-258/+1
* Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-091-5/+12
* TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
* Made fast path for refined subtype checking configurable.Martin Odersky2015-01-091-2/+2
* Remove unnecessary nested methods in TypeComparer.Martin Odersky2015-01-091-497/+478
* New fast path for checking refined types.Martin Odersky2015-01-091-8/+44
* Fix problem in constraint handlingMartin Odersky2015-01-091-80/+100
* Optimize for case where RefinedThis is absentMartin Odersky2015-01-091-2/+6
* Refacttored skolemization logicMartin Odersky2015-01-081-24/+27
* Remove choice between new and old scheme for subtyping refined types.Martin Odersky2015-01-081-188/+16
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-117/+146
* New scheme for subtyping refined types.Martin Odersky2015-01-081-52/+135
* Make findMember depend on RefinedThis level.Martin Odersky2015-01-031-0/+4
* isSubType reorgMartin Odersky2015-01-011-99/+112
* Removed debug printlnMartin Odersky2015-01-011-1/+1
* Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-2/+2
* Reorg of subtyping.Martin Odersky2015-01-011-439/+439
* Handle subtyping cases involving null.Martin Odersky2014-12-221-6/+8
* Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-191-8/+14
|\
| * Made gadt map better encapsulated.Martin Odersky2014-12-161-1/+1
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-161-8/+14
* | Merge pull request #285 from dotty-staging/fix/catchNonFatalDmitry Petrashko2014-12-171-1/+2
|\ \
| * | Replace Throwable catches with NonFatalMartin Odersky2014-12-151-1/+2
| |/
* | Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-2/+2
|\ \ | |/ |/|
| * Revert TypeBounds.real to TypeBounds.applyMartin Odersky2014-12-101-2/+2
| * Distinguish calls to create real type bounds from alias type bounds.Martin Odersky2014-12-101-2/+2
| * Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-101-2/+2
* | Eliminate GettersSettersMartin Odersky2014-12-141-1/+1
* | Drop NotNull class and associated code.Martin Odersky2014-12-131-2/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 05:45:58 +0000