aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-281-1/+2
* Changed SignaturesMartin Odersky2013-11-271-0/+1
* More posishings of SymDenots/Denotations.Martin Odersky2013-11-261-1/+1
* Dropping the Expanded when computing type parameter variances.Martin Odersky2013-11-251-1/+1
* Final set of Types tweaksMartin Odersky2013-11-251-2/+2
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-254-7/+7
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-236-15/+13
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-222-4/+4
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-221-0/+4
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-212-25/+26
* Better encapsulation for constraints.Martin Odersky2013-11-201-2/+1
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-201-2/+2
* More tweaksMartin Odersky2013-11-201-3/+3
* Various cleanupsMartin Odersky2013-11-181-1/+1
* Converting most uses of NamedType to select.Martin Odersky2013-11-152-5/+5
* Tweaks to adaptation and interpolationMartin Odersky2013-11-155-16/+18
* making all internal errors throw exceptions (for now).Martin Odersky2013-11-142-2/+2
* Some configuation parametersMartin Odersky2013-11-143-10/+6
* replace qualifierType by widenIfUnstable.Martin Odersky2013-11-143-4/+7
* Fixing inference problem and block scope problemMartin Odersky2013-11-074-15/+14
* Fixing several type checking problems.Martin Odersky2013-11-063-53/+100
* Fixing a typerstate confusion in implicit search.Martin Odersky2013-11-061-1/+1
* Upgraded handling of positionsMartin Odersky2013-11-042-2/+2
* Generalizing the idea of lossless dealiasings to all accumulators and typemaps.Martin Odersky2013-11-031-3/+2
* Fixing a problem in overloading resolution.Martin Odersky2013-11-031-0/+2
* Adding simplification and fixing a variance problem.Martin Odersky2013-11-033-2/+10
* Changed handling of signatures in TermRefs.Martin Odersky2013-11-012-3/+3
* To tweaks to derivedRefinedType for higher-kinded types.Martin Odersky2013-10-311-2/+2
* Two fixes for implicit searchMartin Odersky2013-10-313-11/+18
* Fixes to type inferenceMartin Odersky2013-10-292-3/+10
* Fixed unpickling of polymorphic constructors.Martin Odersky2013-10-271-1/+1
* Fixing `apply` insertion.Martin Odersky2013-10-271-2/+6
* Fixed handling of varargsMartin Odersky2013-10-262-15/+13
* Fixed problem in handing of self types.Martin Odersky2013-10-243-15/+18
* Parsing and desugaring fixes for blocks.Martin Odersky2013-10-241-3/+4
* Cleaned up and fixed interpolation of undetermined type variablesMartin Odersky2013-10-242-19/+11
* Added forgfeotten withNewScope when typing value definitions.Martin Odersky2013-10-242-3/+4
* Fixed premature stopping of type variable instantiations.Martin Odersky2013-10-241-2/+8
* Small cleanups, plus a new test case.Martin Odersky2013-10-242-11/+5
* Suppressing type error messages against prototypes.Martin Odersky2013-10-231-2/+5
* Fixed problem where lifted types leak into OfTypeImplicitsMartin Odersky2013-10-151-8/+16
* Changes to adaptation and local type inference.Martin Odersky2013-10-154-33/+43
* Handles isAsGood with two polymorphic arguments.Martin Odersky2013-10-151-4/+12
* Made tracing appear even when currently in StoreReporter contextMartin Odersky2013-10-142-4/+4
* Bug fixes in <:<Martin Odersky2013-10-131-1/+1
* New invariant: refined types must have a refined info that's more specific th...Martin Odersky2013-10-121-0/+1
* Tightening up typer state + printing refinementsMartin Odersky2013-10-124-15/+29
* Fixed missing type comparisons for bound types.Martin Odersky2013-10-101-6/+4
* Added disambiguation for reported messages.Martin Odersky2013-10-101-1/+2
* Cleanup of new scheme for handling local type parameters and type members.Martin Odersky2013-10-091-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 14:17:46 +0000