summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/typechecker/Infer.scala
Commit message (Expand)AuthorAgeFilesLines
* don't throw error in setError when -YdebugAdriaan Moors2012-03-231-4/+6
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-191-1/+1
* Merge remote-tracking branch 'odersky/topic/inline' into merge-inlinePaul Phillips2012-03-141-0/+4
|\
| * Setting up things to demonstrate a swallowed type error in manifest generation.Martin Odersky2012-02-131-4/+8
* | Merge remote-tracking branches 'adriaanm/ticket/5189' and 'jsuereth/better-st...Paul Phillips2012-03-111-37/+62
|\ \
| * | SI-5189 fixed: safe type infer for constr patternAdriaan Moors2012-03-091-1/+9
| * | SI-5189 1/2: inferConstrInst uses correct varianceAdriaan Moors2012-03-091-1/+1
| * | cleaned up inferConstructorInstance; same behaviorAdriaan Moors2012-03-091-37/+54
* | | Merge remote-tracking branch 'hubertp/issue/5554' into developPaul Phillips2012-03-071-5/+3
|\ \ \
| * | | Closes #SI-5554Hubert Plociniczak2012-03-061-5/+3
* | | | Merge remote-tracking branches 'adriaanm/ticket/5546' and 'hubertp/issue/5553...Paul Phillips2012-03-061-1/+2
|\ \ \ \ | |_|/ / |/| | |
| * | | Closes #5553, review by dragosHubert Plociniczak2012-03-061-1/+2
| |/ /
* / / Whitespace commit.Paul Phillips2012-02-291-4/+4
|/ /
* | Closes #5452.Hubert Plociniczak2012-02-171-6/+10
* | Revert "Make fix for SI-5452 not break other things."Paul Phillips2012-02-151-6/+1
* | Make fix for SI-5452 not break other things.Paul Phillips2012-02-141-1/+6
|/
* Refining the reflection api.Paul Phillips2012-02-051-2/+2
* Replaced LiftCode with a function in MacroContextEugene Burmako2012-02-051-7/+1
* Use context for buffering errors that cannot/shouldn't be reported in the giv...Hubert Plociniczak2012-01-251-225/+113
* Renamed a method and made it more available.Paul Phillips2012-01-241-13/+1
* Streamlining output of -Yinfer-debug.Paul Phillips2012-01-121-37/+13
* Optimizing TypeRef, starting with Symbols.Paul Phillips2012-01-111-4/+1
* Fix for crasher during type inference.Paul Phillips2012-01-061-2/+11
* More performance work.Paul Phillips2011-12-301-51/+29
* Creator for existentials which flattens.Paul Phillips2011-12-301-1/+1
* More warnings eliminations.Paul Phillips2011-12-071-1/+5
* Minor restructuring in Implicits.Paul Phillips2011-11-241-136/+0
* Bringing a bit of order to symbol substitution.Paul Phillips2011-11-191-19/+22
* Better virtpatmat situation.Paul Phillips2011-11-101-1/+2
* misc fixes while working on virtualizing patter...Adriaan Moors2011-10-201-14/+15
* infer singleton when asking for itAdriaan Moors2011-10-201-16/+16
* Better error when abstract methods are missing.Paul Phillips2011-10-141-3/+3
* Back to square one.Hubert Plociniczak2011-09-231-136/+167
* First refactoring related to Error trees.Hubert Plociniczak2011-09-071-167/+136
* Better error message for case class/object matc...Paul Phillips2011-08-071-2/+24
* Improved structural type error messages, and ot...Paul Phillips2011-08-061-1/+24
* Fixed bug in the disambiguation of f(foo='bar')...Paul Phillips2011-08-061-31/+61
* Don't want to chase NPEs around for the rest of...Paul Phillips2011-08-061-1/+1
* Since trunk seems to be undergoing all kinds of...Paul Phillips2011-07-231-14/+11
* A whole bunch of documentation on Trees, arrest...Paul Phillips2011-07-161-8/+11
* Suppressed an error in type constructor bounds ...Paul Phillips2011-07-131-4/+7
* Further refinement of the tiark RefinedType patch.Paul Phillips2011-06-301-4/+3
* Restored tiark's RefinedType-exclusion fast pat...Paul Phillips2011-06-301-5/+7
* Don't infer anonymous classes.Paul Phillips2011-06-271-2/+2
* Small changes to docs only. No review.Martin Odersky2011-06-201-7/+7
* Fixes #4490 and #4467.Kato Kazuyoshi2011-06-181-20/+20
* got rid of grotesque isCompat closure in exprTy...Adriaan Moors2011-06-151-6/+7
* Disabled the addition to isImpossibleSubType wh...Paul Phillips2011-06-121-2/+3
* Don't issue unchecked warnings on higher-kinded...Paul Phillips2011-06-121-0/+1
* A few additional (but less dramatic) optimizati...Paul Phillips2011-06-111-12/+64