aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Nothing is not a superclass of Null.Martin Odersky2014-05-201-1/+5
* Avoid hoisting of local classes out of method bodies.Martin Odersky2014-05-202-5/+9
* More systematic treatment of prototypes.Martin Odersky2014-05-204-52/+93
* Fix of SI 2133Martin Odersky2014-05-201-1/+2
* Reporter refactoringMartin Odersky2014-05-201-3/+1
* Adding descriptive message to no-implicits-after-typer assertion.Martin Odersky2014-05-081-1/+3
* Tightening of rules for explicit types for implicit defsMartin Odersky2014-05-084-81/+77
* Better wildcard type approximationMartin Odersky2014-05-081-11/+10
* Excluding <:< from eligible candidates for views.Martin Odersky2014-05-081-1/+1
* Avoid retyping of LiteralsMartin Odersky2014-05-081-0/+3
* Changed handling of repeated parameters.Martin Odersky2014-05-082-8/+5
* Addiong an adapt to implicit parameters.Martin Odersky2014-05-081-1/+1
* Avoid checking for tpt non empty in implicit defs after typer.Martin Odersky2014-05-081-1/+4
* isAfterTyper testMartin Odersky2014-05-082-1/+3
* Better error message if position of tree isn't set.Dmitry Petrashko2014-05-061-1/+1
* Merge pull request #118 from dotty-staging/fix/annotationsDmitry Petrashko2014-04-091-5/+6
|\
| * Fixing annotationsMartin Odersky2014-04-091-5/+6
* | Shadowed referencesMartin Odersky2014-04-081-2/+2
* | CleanupsMartin Odersky2014-04-082-2/+2
* | Flag self names that conflict with parameters or membersMartin Odersky2014-04-082-3/+10
* | Avoid creating a local dummy when retyping.Martin Odersky2014-04-082-4/+9
* | Corrected computations of union denotations.Martin Odersky2014-04-081-2/+2
|/
* fix: isSensical in d"..." impl must inspect contents of List argSamuel Gruetter2014-04-021-0/+1
* replace some s"..." by i"..."Samuel Gruetter2014-04-023-15/+15
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-028-58/+58
* remove SuppressedMessage exception and update Diagnostic as neededSamuel Gruetter2014-04-021-1/+0
* add d string interpolator (marks nonsensical error messages)Samuel Gruetter2014-04-021-0/+28
* move InfoString from ErrorReporting to Decorators andSamuel Gruetter2014-04-025-42/+4
* Factored re-typing logic into seperate ReTyper classMartin Odersky2014-03-312-34/+96
* Renaming clear->setNewMartin Odersky2014-03-314-11/+11
* More fixes and tests for easure.Martin Odersky2014-03-311-1/+1
* Avoiding type applications after erasure.Martin Odersky2014-03-311-2/+6
* Erasure phase PoCMartin Odersky2014-03-292-55/+60
* Fix error message for missing parametersMartin Odersky2014-03-291-2/+2
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-277-31/+31
* Fix of t1272: overloading resolutionMartin Odersky2014-03-211-3/+9
* Reverting decision what constitutes a double def.Martin Odersky2014-03-211-1/+1
* Fix of t1236: higher-kindedMartin Odersky2014-03-211-0/+2
* Fix of t1280 - type of selfMartin Odersky2014-03-211-1/+1
* Fix of t1123 - Unit discardingMartin Odersky2014-03-211-1/+3
* Fix of t0786: view boundsMartin Odersky2014-03-211-1/+1
* Fix of t0591: implicitlyMartin Odersky2014-03-211-5/+0
* Fix of t0438 - lambdas and eta expansionMartin Odersky2014-03-212-14/+25
* Tests t01xx and t02xxMartin Odersky2014-03-211-1/+1
* Hygienic desugaringMartin Odersky2014-03-203-19/+35
* Generalize derived type tree scheme.Martin Odersky2014-03-202-15/+12
* New scheme for TypeTrees that refer to othersMartin Odersky2014-03-203-11/+29
* Appromiximate union types by intersections.Martin Odersky2014-03-201-1/+1
* Added auto-tupling.Martin Odersky2014-03-203-4/+38
* Merge pull request #69 from odersky/topic/generalize-companionsodersky2014-03-161-1/+0
|\