aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/TypeAssigner.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-1/+1
* Drop redundant conditionMartin Odersky2015-12-141-1/+1
* Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
* Swap order of arguments in annotationsMartin Odersky2015-11-221-1/+1
* Fix #938 - escaping reference.Martin Odersky2015-11-171-4/+3
* Renamings in DefinitionsMartin Odersky2015-11-091-1/+1
* Allow existential types in hk typesMartin Odersky2015-10-241-2/+1
* TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-091-6/+21
* TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-091-14/+11
* TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-091-2/+10
* Fix problem with avoid.Martin Odersky2015-09-291-3/+4
* Matching denotations should take infos into accountMartin Odersky2015-09-291-1/+2
* Correct a large number of typos.Jason Zaugg2015-05-141-1/+1
* TypeAssigner: fix return type of clone() for arraysGuillaume Martres2015-04-271-1/+7
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-2/+2
* Fixing conflicts between #361 and #394Dmitry Petrashko2015-03-181-1/+1
* Avoid dependent methods being closures.Martin Odersky2015-03-181-0/+4
* Fix problems in avoidMartin Odersky2015-03-181-2/+6
* Merge pull request #361 from dotty-staging/fix/testLiftedDmitry Petrashko2015-03-181-2/+11
|\
| * Fix to testLiftedMartin Odersky2015-02-111-2/+11
* | Eliminate Throw as a typed TreeMartin Odersky2015-03-041-3/+0
|/
* 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
* | Simplified and commented makePackageObjPrefixExplicitMartin Odersky2014-12-171-1/+1
* | Refactored common behavior from TypeAssigner and TypeErasureMartin Odersky2014-12-171-16/+1
|/
* Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-1/+1
|\
| * Get rid of TypeBounds.onAliasMartin Odersky2014-12-101-1/+1
| * Distinguish calls to create real type bounds from alias type bounds.Martin Odersky2014-12-101-1/+1
* | Merge pull request #282 from dotty-staging/fix/i0239-package-objectsodersky2014-12-161-8/+8
|\ \
| * | Fix #239 - handling of package objectsMartin Odersky2014-12-131-8/+8
| |/
* / Fix typechecking rules for Binds of type trees.Martin Odersky2014-12-151-2/+2
|/
* Simplification in type assigning SeqLiteralsMartin Odersky2014-12-031-1/+1
* Previous scheme was buggy; leaked Array types to backend.Martin Odersky2014-11-281-1/+0
* Fix typeAssigner ignoring existence of JavaSeqLiteralDmitry Petrashko2014-11-221-5/+8
* Fixed typing of supertypes.Martin Odersky2014-11-091-1/+2
* Improved version of mixin.Martin Odersky2014-11-091-2/+3
* Restructure Try node.Dmitry Petrashko2014-10-301-6/+3
* Rewrite assignType for TryDmitry Petrashko2014-10-301-2/+5
* Avoid hoisting local classesMartin Odersky2014-10-261-1/+15
* Avoid creating ConstantTypes by TypeAssigner after erasure.Martin Odersky2014-10-121-2/+3
* Fix tree typing to account for trees after constructors is run.Martin Odersky2014-10-111-1/+1
* Take environment into account when typing a closure.Martin Odersky2014-10-111-1/+3
* Allow relaxed typing of applicationsMartin Odersky2014-10-111-2/+2
* Fix handling of Array#clone in ErasureMartin Odersky2014-09-121-2/+4
* Fixes to erasure to make -Ycheck:all work.Martin Odersky2014-08-281-3/+16
* Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-271-1/+1
* thisType of a module class is a term ref to the source module.Martin Odersky2014-08-261-1/+1
* Account for package objects when constructing types of idents.Martin Odersky2014-08-241-3/+27
* Fix context for super callsMartin Odersky2014-08-241-10/+2
* Refactored TreeTypeMapMartin Odersky2014-08-181-3/+0
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 11:13:03 +0000