aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Move more functionality from Namer proper to context ops.Martin Odersky2015-03-181-18/+46
* Moved part of computation of types of DefDefs from Namer to TypeOpsMartin Odersky2015-03-181-15/+1
* Make some tree fields lazyMartin Odersky2015-03-182-13/+14
* Tweaks in commentsMartin Odersky2015-03-182-5/+3
* Stop type inference from creating oprphans.Martin Odersky2015-03-183-6/+14
* Change scheme of translating array creations new Array(...)Martin Odersky2015-03-181-7/+7
* Fix serialization of Bind-defined types in type patterns.Martin Odersky2015-03-181-1/+2
* First prototype of pickler.Martin Odersky2015-03-181-2/+2
* Disallow refinements of types or methods that do not appear in parent.Martin Odersky2015-03-181-0/+4
* Merge pull request #361 from dotty-staging/fix/testLiftedDmitry Petrashko2015-03-181-2/+11
|\
| * Fix to testLiftedMartin Odersky2015-02-111-2/+11
* | Merge pull request #404 from dotty-staging/backend-mergeDmitry Petrashko2015-03-181-2/+2
|\ \
| * | Add comment in Typer.typedReturnDmitry Petrashko2015-03-181-2/+2
* | | add/strictMartin Odersky2015-03-131-1/+1
|/ /
* | Eliminate Throw as a typed TreeMartin Odersky2015-03-042-5/+2
* | Fix bug which prevented New over type-instantiated aliases.Martin Odersky2015-02-281-4/+8
* | Fix of #375 - adapt returned value in erasureMartin Odersky2015-02-261-1/+9
* | Fix of the escaping MethodParam problemMartin Odersky2015-02-121-5/+13
* | Prevent block types with references to local symbolsGuillaume Martres2015-02-111-1/+1
|/
* Java methods: JavaMethodType instead of MethodType, convert Object to AnyOndrej Lhotak2015-02-071-1/+5
* Fixes handling of op-assignments for polymorphic apply/update.Martin Odersky2015-02-072-6/+12
* Fix implicitScope for the case when implicit scopes cannot be cachedOndrej Lhotak2015-02-051-16/+20
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-311-1/+1
|\
| * Use normnalized type to report type errors.Martin Odersky2015-01-271-1/+1
* | Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-315-7/+14
|\ \
| * | Cleanups prompted by reviews.Martin Odersky2015-01-282-2/+7
| * | Fixups taking into account reviewer's comments.Martin Odersky2015-01-272-5/+3
| |/
| * Some small polishings in TypeComparerMartin Odersky2015-01-241-1/+1
| * New constraint handlingMartin Odersky2015-01-182-2/+3
| * Added alternative TrackingConstraintMartin Odersky2015-01-131-1/+1
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-1/+1
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-1/+1
| * New scheme for subtyping refined types.Martin Odersky2015-01-081-1/+4
| * Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-1/+1
* | fix widenForMatchSelector to transparently handle annotated typesOndrej Lhotak2015-01-211-0/+1
* | Merge pull request #313 from dotty-staging/more-testsDmitry Petrashko2015-01-092-17/+11
|\|
| * Eliminate unused method from RefChecks.Martin Odersky2014-12-191-6/+0
| * Fix NoCyclicReference testMartin Odersky2014-12-191-11/+11
* | Merge pull request #317 from dotty-staging/fix/java-varargsDmitry Petrashko2015-01-081-0/+1
|\ \
| * | Create the right method type for Java DefDefsMartin Odersky2014-12-211-0/+1
| |/
* | Merge pull request #309 from dotty-staging/fix/#306-avoidance-problemDmitry Petrashko2014-12-311-1/+1
|\ \
| * | Avpid returning ExprTypes from blocks.Martin Odersky2014-12-181-1/+1
* | | Merge pull request #310 from dotty-staging/fix/#305-annot-bootstrapDmitry Petrashko2014-12-312-5/+5
|\ \ \ | |_|/ |/| |
| * | New method on scopes: openForMutationsMartin Odersky2014-12-181-3/+3
| * | More careful usage of unforced decls in classes.Martin Odersky2014-12-182-2/+2
* | | Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-191-8/+22
|\ \ \ | |/ / |/| |
| * | Made gadt map better encapsulated.Martin Odersky2014-12-161-1/+1
| * | Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-161-8/+22
* | | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-1/+1
* | | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-16/+1
| |/ |/|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 23:53:06 +0000