aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-2313-57/+58
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-2218-96/+96
* More tweaks to TypesMartin Odersky2013-11-221-74/+74
* Tweaks to SimpleMapMartin Odersky2013-11-221-62/+94
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-224-79/+32
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-216-106/+148
* 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-183-13/+25
* 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-156-17/+25
* Tweak to Coder testMartin Odersky2013-11-151-1/+1
* 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-147-31/+47
* 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-102-4/+16
* Reporting max constraintMartin Odersky2013-11-103-24/+28
* Fixing Position.contains(NoPosition)Martin Odersky2013-11-091-2/+1
* Fixing inference problem and block scope problemMartin Odersky2013-11-075-19/+17
* 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-042-6/+23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 02:23:50 +0000