aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-075-7/+106
* Add straightforward fix to #1308jvican2016-07-011-1/+1
* Merge pull request #1226 from dotty-staging/static-fixesDmitry Petrashko2016-06-221-1/+1
|\
| * Fix Ycheck: allow assigning fields in static constructors.Dmitry Petrashko2016-06-071-1/+1
* | Merge pull request #1309 from felixmulder/topic/fix#1307Dmitry Petrashko2016-06-221-0/+4
|\ \
| * | Move GADT check to `typeTyped`Felix Mulder2016-06-071-4/+5
| * | Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-1/+4
| |/
* / better handling of overloaded extractorsliu fengyun2016-06-201-2/+2
|/
* Overloading resolution: prefer directly applicable methodsGuillaume Martres2016-06-031-4/+10
* Don't compute implicit scopes for synthetic Lambda traitsGuillaume Martres2016-05-311-1/+4
* Avoid creating AndTypes with AnyGuillaume Martres2016-05-311-1/+1
* OfTypeImplicits: compute refs lazilyGuillaume Martres2016-05-311-1/+1
* Do not miss implicits in type parameters of parentsGuillaume Martres2016-05-311-1/+1
* Fix implicit scope caching bugGuillaume Martres2016-05-311-5/+6
* Document why we cannot cache all implicit scopesGuillaume Martres2016-05-311-1/+12
* Fix `A*` propagating outside matchesFelix Mulder2016-05-271-2/+7
* Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-272-2/+2
* Change typer to infer repeated param instead of Seq in `_*` casesFelix Mulder2016-05-271-1/+2
* Merge pull request #1270 from dotty-staging/fix-bootstrapDmitry Petrashko2016-05-271-1/+9
|\
| * Replace aliases to Unit by UnitMartin Odersky2016-05-231-1/+9
* | Move eqAny to PredefMartin Odersky2016-05-231-2/+2
* | Add Eq instances of standard types to PredefMartin Odersky2016-05-231-2/+14
* | Tweak of valid eqAny conditionMartin Odersky2016-05-231-39/+30
* | Make use of implicitNotFound for eqaulity errorsMartin Odersky2016-05-232-4/+3
* | Print diagnostics to implicits printerMartin Odersky2016-05-231-2/+2
* | Check equality that with == and != makes senseMartin Odersky2016-05-232-12/+45
* | Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-233-46/+86
* | Fixed error in commentMartin Odersky2016-05-231-2/+2
* | Downwards comparisons for implicit search and overloading resolutionMartin Odersky2016-05-232-3/+56
* | Fix caching problem when computing implicit scopesMartin Odersky2016-05-231-1/+1
* | Allow auto-tupling for arguments to overloaded methodsMartin Odersky2016-05-231-6/+20
* | Merge pull request #1249 from dotty-staging/change-early-annotsodersky2016-05-231-2/+3
|\ \ | |/ |/|
| * Add class annotations as first step of completing the class.Martin Odersky2016-05-131-1/+2
| * Evaluate annotations before completing tree of definitionsMartin Odersky2016-05-101-1/+1
* | Handle MergeErrors in RefChecksMartin Odersky2016-05-191-1/+5
* | Revert: ResolveOverloaded should handle alternatives that are the same TermRefMartin Odersky2016-05-181-10/+6
* | ResolveOverloaded should handle alternatives that are the same TermRefMartin Odersky2016-05-181-6/+10
|/
* Refine todo commentMartin Odersky2016-04-291-1/+3
* Allow dependent method type for unapply.Martin Odersky2016-04-271-3/+2
* Revert: Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-271-17/+2
* Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-271-2/+17
* Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-271-1/+1
* Comment out debug printlnMartin Odersky2016-04-221-1/+1
* Support implicitNotFound annotationMartin Odersky2016-04-222-1/+22
* Avoid propagating unresolved implicitsMartin Odersky2016-04-211-1/+1
* Always minimize type variables when interpolating an expected type of an impl...Martin Odersky2016-04-211-6/+7
* Address review comments of #1188Dmitry Petrashko2016-04-181-1/+3
* Separate handling of genericArray creation from normal ones.Dmitry Petrashko2016-04-182-7/+13
* Bring back convertNewArray into typer.Dmitry Petrashko2016-04-182-2/+15
* Decouple handling array constructors from typer.Dmitry Petrashko2016-04-182-12/+2