aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Changed handling of signatures in TermRefs.Martin Odersky2013-11-015-13/+19
* To tweaks to derivedRefinedType for higher-kinded types.Martin Odersky2013-10-312-14/+48
* Fixes to subtyping tests for constrained parameters.Martin Odersky2013-10-311-16/+38
* Limit size of SImpleMapMartin Odersky2013-10-311-1/+3
* Two fixes for implicit searchMartin Odersky2013-10-313-11/+18
* Made mapValues conservativeMartin Odersky2013-10-301-29/+50
* Fixes to type inferenceMartin Odersky2013-10-293-11/+32
* Fixed unpickling of polymorphic constructors.Martin Odersky2013-10-276-14/+45
* Fixing `apply` insertion.Martin Odersky2013-10-271-2/+6
* Forcing less when determining the class symbol(s) of a type.Martin Odersky2013-10-271-0/+6
* Fixed handling of varargsMartin Odersky2013-10-267-39/+45
* Refinement to tree printing of refs.Martin Odersky2013-10-251-3/+8
* Fixed problem in handing of self types.Martin Odersky2013-10-245-16/+22
* Flipping the logic to determine type leaksMartin Odersky2013-10-241-1/+1
* Parsing and desugaring fixes for blocks.Martin Odersky2013-10-243-4/+13
* Fix: Symbols and interpolated strings are term trees.Martin Odersky2013-10-241-2/+2
* Fix: Missing prefixes are considered stable.Martin Odersky2013-10-241-0/+1
* 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
* Change in how type variables are printed.Martin Odersky2013-10-241-2/+2
* Fixed premature stopping of type variable instantiations.Martin Odersky2013-10-241-2/+8
* Printing trees now honors -Xprint-types option.Martin Odersky2013-10-241-1/+4
* Small cleanups, plus a new test case.Martin Odersky2013-10-242-11/+5
* More informative printing of typed identifiers.Martin Odersky2013-10-241-1/+4
* Added missing case matching against hk type in refinement.Martin Odersky2013-10-231-2/+10
* Making printing refined types more robust.Martin Odersky2013-10-231-2/+5
* Suppressing type error messages against prototypes.Martin Odersky2013-10-231-2/+5
* Fix in parsing int settingsMartin Odersky2013-10-231-1/+1
* Caching asSeenFrom on denotations.Martin Odersky2013-10-233-7/+29
* Avoiding duplication for printing modules.Martin Odersky2013-10-231-0/+2
* Making explanations available outside type comparersMartin Odersky2013-10-231-1/+13
* Refined disambiguating printingMartin Odersky2013-10-231-0/+82
* Added forgotten cases to TypeAccumulators.Martin Odersky2013-10-151-0/+7
* Fixed problem where lifted types leak into OfTypeImplicitsMartin Odersky2013-10-151-8/+16
* Changes to adaptation and local type inference.Martin Odersky2013-10-157-41/+52
* Handles isAsGood with two polymorphic arguments.Martin Odersky2013-10-151-4/+12
* Implemented refined prinitng of function prototypesMartin Odersky2013-10-151-0/+2
* Made tracing appear even when currently in StoreReporter contextMartin Odersky2013-10-143-6/+8
* Fixes to typevar instantiationMartin Odersky2013-10-132-11/+13
* Bug fixes in <:<Martin Odersky2013-10-132-4/+21
* New invariant: refined types must have a refined info that's more specific th...Martin Odersky2013-10-123-11/+14
* Tightening up typer state + printing refinementsMartin Odersky2013-10-1211-32/+94
* Fixed missing type comparisons for bound types.Martin Odersky2013-10-103-14/+46
* Added shortcuiting for type argument aliases.Martin Odersky2013-10-101-4/+49
* Modified printing of variant aliasesMartin Odersky2013-10-101-4/+8
* New TypeArgs flagMartin Odersky2013-10-101-1/+6
* Added disambiguation for reported messages.Martin Odersky2013-10-102-5/+9
* Partial revert of "instance flags" commitMartin Odersky2013-10-091-9/+1
* Cleanup of new scheme for handling local type parameters and type members.Martin Odersky2013-10-095-34/+69
* flags for instancesMartin Odersky2013-10-072-6/+18