aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Inferencing.scala
Commit message (Expand)AuthorAgeFilesLines
...
* Make argument types of viewproto undergo WildApprox before testing for eligib...Martin Odersky2014-02-011-10/+10
* Add early discarding of methods for eligible check.Martin Odersky2014-01-291-3/+31
* Fixing equality for selection protosMartin Odersky2014-01-291-6/+8
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-271-31/+100
* Accept method types directly in isApplicable.Martin Odersky2014-01-271-3/+7
* New treatment of uniquesMartin Odersky2014-01-261-1/+2
* Refactored RefinedTypes to favor the case where refinedInfo is independent of...Martin Odersky2014-01-261-1/+1
* Fixes to constraint handling.Martin Odersky2014-01-261-7/+5
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-10/+3
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-191-0/+42
* Refinement of fully-defined accumulator.Martin Odersky2014-01-191-4/+10
* Avoid SuppressedError exceptionsMartin Odersky2014-01-171-2/+2
* Flag multiple overloaded variants with default arguments as an error.Martin Odersky2014-01-161-0/+4
* Allow views when matching the result type of a selection prototype.Martin Odersky2014-01-151-10/+13
* Better error message for double definitions.Martin Odersky2014-01-141-5/+9
* Extend type maps and type accumulators to prototypesMartin Odersky2014-01-131-0/+31
* Redo isFullyDefinedAccumulatorMartin Odersky2014-01-131-22/+43
* Special case Unit for result type conformance check.Martin Odersky2014-01-091-1/+1
* Refactoring Reporter.isSlent -> errorCount, wasSilentMartin Odersky2014-01-091-3/+4
* Mapping over a SelectionProto should give a SelectionProto, not a RefinedType.Martin Odersky2014-01-081-0/+8
* Relax isFullyDefined testMartin Odersky2014-01-061-2/+7
* Propagate constraints on result type eagerly into implicit search.Martin Odersky2014-01-041-0/+22
* Generalize overloading resolution to type arguments.Martin Odersky2014-01-041-4/+4
* Making namedPartsWith more robust.Martin Odersky2014-01-031-1/+1
* Making printing configurable.Martin Odersky2014-01-031-5/+6
* Tweak to isFullyDefinedMartin Odersky2014-01-021-2/+14
* Fixing a problem with isFullyDefinedMartin Odersky2014-01-021-4/+6
* Refining checkClassTypeWithStablePrefixMartin Odersky2013-12-241-21/+10
* Typing by-name parameters with ExprTypes.Martin Odersky2013-12-221-1/+1
* Make PolyProto a true prototype.Martin Odersky2013-12-221-1/+9
* Adding () insertion to normalization.Martin Odersky2013-12-211-2/+14
* Following type aliases when pattern matching.Martin Odersky2013-12-191-11/+41
* Fixes to parent types.Martin Odersky2013-12-171-1/+1
* Three bugfixes to typing.Martin Odersky2013-12-171-4/+4
* Fixes for by-name argumentsMartin Odersky2013-12-171-8/+6
* Checking for double definitions among class definitions.Martin Odersky2013-12-161-1/+22
* Fixes to typer.Martin Odersky2013-12-111-5/+3
* Fixing a problem with swallowed errorsMartin Odersky2013-12-101-3/+4
* Fixes to avoid stale symbols and to avoid methods as pattern constructors.Martin Odersky2013-12-091-6/+16
* Better reporting for pattern matching errors.Martin Odersky2013-12-081-1/+1
* Refactoring test compatible.Martin Odersky2013-12-021-5/+8
* Streamlining isApplicableMartin Odersky2013-12-021-2/+2
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-291-4/+2
* Tweaks to InferencingMartin Odersky2013-11-291-118/+165
* Final set of Types tweaksMartin Odersky2013-11-251-2/+2
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-221-0/+4
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-211-21/+25
* Better encapsulation for constraints.Martin Odersky2013-11-201-2/+1
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-201-2/+2
* Various cleanupsMartin Odersky2013-11-181-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 16:19:18 +0000