aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/ProtoTypes.scala
Commit message (Expand)AuthorAgeFilesLines
* Change owner as necessary when typing a TypedSpliceMartin Odersky2016-10-021-1/+1
* Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-231-1/+1
|\
| * Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* | Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-171-0/+4
|/
* Address reviewers comments.Martin Odersky2016-08-211-18/+16
* Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-10/+35
* Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-161-1/+1
* Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-0/+2
|\
| * Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-0/+2
* | Ensure wildApprox maintains kindsMartin Odersky2016-07-111-0/+5
* | Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-1/+1
* | Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-0/+3
|/
* Pretype functional arguments when doing overload resolutionMartin Odersky2016-03-091-1/+1
* Allow adding typevars to an uncommitable constraint setGuillaume Martres2016-03-041-4/+2
* ProtoTypes#wildApprox: fix LazyRef approximationGuillaume Martres2016-02-181-0/+2
* Fix #1044: handle TypevarsMissContext mode in wildApproxGuillaume Martres2016-02-061-5/+9
* Renamings in DefinitionsMartin Odersky2015-11-091-1/+1
* Better handling of implicits over numeric types.Martin Odersky2015-11-011-1/+2
* More @sharable annotationsMartin Odersky2015-07-061-1/+1
* Add @sharable annotationMartin Odersky2015-07-061-2/+2
* Handle normalization of implicit dependent methods.Martin Odersky2015-06-231-10/+16
* Take expected result type into account more often for overloading resolutionMartin Odersky2015-06-191-1/+1
* Correct a large number of typos.Jason Zaugg2015-05-141-1/+1
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-3/+3
* Replace tabs with 4 spaces in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* Stop type inference from creating oprphans.Martin Odersky2015-03-181-1/+1
* Fix of the escaping MethodParam problemMartin Odersky2015-02-121-5/+13
* Cleanups prompted by reviews.Martin Odersky2015-01-281-2/+1
* Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-1/+1
* New constraint handlingMartin Odersky2015-01-181-1/+2
* Added alternative TrackingConstraintMartin Odersky2015-01-131-1/+1
* Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-101-2/+2
* Rename PolyType.copy method. It clashes with generated one.Dmitry Petrashko2014-11-221-1/+1
* FunProtoTyped to be used when args are known to be typedDmitry Petrashko2014-11-221-0/+10
* Code to handle overloaded unapply/unapplySeq methodsMartin Odersky2014-08-031-2/+2
* Simplify result handling in FunProto.Martin Odersky2014-05-301-5/+0
* Always ignore type in selectionProtoMartin Odersky2014-05-301-4/+4
* Refinements in diagnosticsMartin Odersky2014-05-301-1/+7
* Fix of pos/t2429Martin Odersky2014-05-201-4/+5
* More systematic treatment of prototypes.Martin Odersky2014-05-201-11/+30
* Reporter refactoringMartin Odersky2014-05-201-3/+1
* Better wildcard type approximationMartin Odersky2014-05-081-11/+10
* move InfoString from ErrorReporting to Decorators andSamuel Gruetter2014-04-021-1/+1
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-271-1/+1
* Fix of t1123 - Unit discardingMartin Odersky2014-03-211-1/+3
* Added auto-tupling.Martin Odersky2014-03-201-0/+14
* Scond step to typer reorg: Introduce TypeAssigners.Martin Odersky2014-03-071-1/+1
* First step towards Typer Reorganization.Martin Odersky2014-03-071-0/+384
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 14:48:08 +0000