aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Rename SignedType -> MethodicTypeMartin Odersky2014-07-171-2/+2
* Avoid caching values that depend on typevar state.Martin Odersky2014-06-201-8/+25
* Handling higher-kinded types with lambdasMartin Odersky2014-06-182-14/+26
* Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-122-4/+4
* Avoid classtype checking for refinements.Martin Odersky2014-05-301-1/+2
* Simplify result handling in FunProto.Martin Odersky2014-05-303-32/+7
* Always ignore type in selectionProtoMartin Odersky2014-05-302-5/+5
* typedTyped needs to maintain Mode.Martin Odersky2014-05-301-2/+2
* Fix of t2591.Martin Odersky2014-05-302-2/+7
* Fix of t2504Martin Odersky2014-05-302-24/+53
* Refinements in diagnosticsMartin Odersky2014-05-301-1/+7
* Fix of pos/t2429Martin Odersky2014-05-204-29/+47
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 23:52:18 +0000