aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Better encapsulation for constraints.Martin Odersky2013-11-203-40/+44
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-204-11/+16
* More tweaksMartin Odersky2013-11-204-6/+13
* Added unit testing supportMartin Odersky2013-11-1812-108/+106
* Various cleanupsMartin Odersky2013-11-186-55/+44
* Changing some TermRef's to selectsMartin Odersky2013-11-161-4/+4
* Converting most uses of NamedType to select.Martin Odersky2013-11-158-39/+48
* Formign lubs over widened types only.Martin Odersky2013-11-151-1/+6
* Tweaks to adaptation and interpolationMartin Odersky2013-11-157-21/+27
* Tweak to Coder testMartin Odersky2013-11-152-3/+3
* Made stripTypeVar idempotentMartin Odersky2013-11-151-4/+9
* making all internal errors throw exceptions (for now).Martin Odersky2013-11-142-2/+2
* derivedNamedType -> derivedSelectMartin Odersky2013-11-143-12/+17
* Providing for new match scheme.Martin Odersky2013-11-141-8/+9
* Making as seenfrom reduce types.Martin Odersky2013-11-142-32/+22
* Some configuation parametersMartin Odersky2013-11-148-32/+50
* replace qualifierType by widenIfUnstable.Martin Odersky2013-11-143-4/+7
* Changes to dealiasing and wideningMartin Odersky2013-11-141-36/+72
* Debug measure: Report all errors when they are first issuedMartin Odersky2013-11-141-1/+3
* Make undetVars a set with deterministic traversal order.Martin Odersky2013-11-141-1/+1
* widen if unstable prefixMartin Odersky2013-11-133-5/+16
* Fixing a problem in <:< of named types.Martin Odersky2013-11-131-15/+53
* Bringing underlyingIfRepeated up-to-dateMartin Odersky2013-11-113-3/+5
* Dealias before add to constraint.Martin Odersky2013-11-103-5/+18
* Reporting max constraintMartin Odersky2013-11-103-24/+28
* New tests.Martin Odersky2013-11-093-11/+43
* Fixing Position.contains(NoPosition)Martin Odersky2013-11-091-2/+1
* Fixing inference problem and block scope problemMartin Odersky2013-11-076-29/+51
* Fixing NoPosition leaksMartin Odersky2013-11-072-11/+35
* Adding a size method to SimpleMap.Martin Odersky2013-11-061-0/+8
* Fixing several type checking problems.Martin Odersky2013-11-064-53/+105
* Fixing a typerstate confusion in implicit search.Martin Odersky2013-11-061-1/+1
* Special-casing printing of `_` Idents.Martin Odersky2013-11-061-1/+1
* Avoiding to record constraints of the form P <:< P.Martin Odersky2013-11-062-2/+5
* Changing for-expansion for irrefutable patterns.Martin Odersky2013-11-061-10/+33
* Adding a Scala2x flag.Martin Odersky2013-11-062-0/+4
* Fallback to old treatement of tuples.Martin Odersky2013-11-043-6/+64
* Upgraded handling of positionsMartin Odersky2013-11-046-9/+44
* Added capability to print tree positionsMartin Odersky2013-11-042-0/+3
* Changing the type of pairs to be scala.Tuple2.Martin Odersky2013-11-031-1/+1
* Generalizing the idea of lossless dealiasings to all accumulators and typemaps.Martin Odersky2013-11-032-12/+16
* Fixing a problem in overloading resolution.Martin Odersky2013-11-031-0/+2
* Fixing a bug in TypedTrees.Martin Odersky2013-11-031-1/+1
* Added missing case in allOverriddenSymbolsMartin Odersky2013-11-031-1/+4
* Adding simplification and fixing a variance problem.Martin Odersky2013-11-036-9/+71
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 17:04:10 +0000