aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
* Revert <: Product requierment in pattern matchingOlivier Blanvillain2017-04-131-1/+1
* Merge pull request #2225 from dotty-staging/fix-#2192odersky2017-04-111-26/+22
|\
| * Fix #2212: Avoid imports in the wrong namespaceMartin Odersky2017-04-111-26/+22
* | Merge pull request #1938 from dotty-staging/named-based-patmatFelix Mulder2017-04-111-3/+2
|\ \
| * | Move isProductSubType to Applications & rename to canProductMatchOlivier Blanvillain2017-04-111-1/+1
| * | Decouple Product and pattern-matchingOlivier Blanvillain2017-04-061-3/+2
* | | Rename NameExtractor -> NameKindMartin Odersky2017-04-111-1/+1
* | | Drop Config.semanticNames optionMartin Odersky2017-04-111-1/+2
| |/ |/|
* | Fix #2192: Fullow supertypes when determining whether an expect type is a fun...Martin Odersky2017-04-091-2/+12
|/
* PolishingsMartin Odersky2017-04-061-1/+1
* Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-061-4/+2
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-061-2/+2
* Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-061-6/+6
* Eliminate MethodOrPolyMartin Odersky2017-04-061-1/+1
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-1/+1
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-8/+8
* Break out functionality from MethodTypeMartin Odersky2017-04-061-2/+2
* Check there are no forward dependencies to method parametersMartin Odersky2017-03-141-0/+1
* Construct MethodTypes from parameter closureMartin Odersky2017-03-141-4/+4
* Fix #2089: Error when compiling ParSetLike, ParSet, SetLike, in this orderGuillaume Martres2017-03-131-0/+7
* Merge pull request #2080 from dotty-staging/fix#-2066odersky2017-03-121-1/+1
|\
| * Alternative fix of #2066.Martin Odersky2017-03-121-1/+1
* | Improve definition and doc comment for ensureNoLeaksMartin Odersky2017-03-121-22/+21
* | Fix #1569: Improve avoidance algorithmMartin Odersky2017-03-121-4/+10
|/
* Fix #2067: Compute defKind at Typer, not NamerMartin Odersky2017-03-081-0/+1
* Drop named type parameters in classesMartin Odersky2017-03-041-16/+14
* Don't chain implicit conversionsMartin Odersky2017-02-271-1/+1
* Merge pull request #1993 from dotty-staging/add-lazy-implicitsodersky2017-02-251-1/+1
|\
| * Treat implicit by-name arguments as lazy valuesMartin Odersky2017-02-171-1/+1
* | Merge pull request #1974 from dotty-staging/fix/ctx-captureodersky2017-02-211-1/+1
|\ \
| * | ImportInfo: removed ctx parameter from constructorGuillaume Martres2017-02-191-1/+1
* | | Don't inline when errors are detectedMartin Odersky2017-02-211-1/+2
|/ /
* | Fix binding of x @ (e: T) in ClassTag-based patmatGuillaume Martres2017-02-171-7/+5
* | Fix #1991: Use classtag where available in unapplyMartin Odersky2017-02-171-13/+20
|/
* Merge pull request #1962 from dotty-staging/centralize-function-logicodersky2017-02-161-4/+2
|\
| * Add checks for synthetic functions and erased functions.Nicolas Stucki2017-02-131-4/+2
* | Fix #1976: Hack to support scala.xml's $scope (#1977)odersky2017-02-141-0/+5
|/
* Merge pull request #1931 from dotty-staging/fix-#1501Guillaume Martres2017-02-131-0/+2
|\
| * Fix #1501 - Check trait inheritance conditionMartin Odersky2017-02-081-0/+2
* | Merge pull request #1941 from dotty-staging/fix/infix-posodersky2017-02-081-2/+2
|\ \ | |/ |/|
| * Represent untyped operators as Ident instead of NameGuillaume Martres2017-02-051-2/+2
* | Allow implicit-by-name parametersMartin Odersky2017-02-081-1/+2
|/
* Merge pull request #1881 from dotty-staging/add-structural-selectodersky2017-02-011-4/+4
|\
| * Disallow polymorphic refinements in stuctural types.Martin Odersky2017-01-281-1/+3
| * CleanupsMartin Odersky2017-01-051-1/+0
| * Implement structural type member accessMartin Odersky2017-01-051-4/+3
* | Adopt scala's scheme for root import hidingMartin Odersky2017-01-151-1/+1
* | Fix #1878: Use Inline on final vals.Nicolas Stucki2017-01-101-0/+22
* | Merge pull request #1887 from dotty-staging/fix-#1867Guillaume Martres2017-01-071-1/+1
|\ \ | |/ |/|
| * Fix #1867: Set position of empty refined typesMartin Odersky2017-01-041-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-27 04:53:15 +0000