aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
...
| * | Refactoring of findRefMartin Odersky2016-09-161-58/+83
| * | Accommodate Scala2 name resolution schemeMartin Odersky2016-08-261-5/+26
* | | Reformat code after fixes on scala.Dynamic.Nicolas Stucki2016-09-051-13/+4
* | | Fix #1468: Add type parameter support for scala.DynamicNicolas Stucki2016-09-051-5/+7
| |/ |/|
* | Handle case where expected type of a SeqLiteral has an undetermined element t...Martin Odersky2016-08-261-1/+5
* | Type annotations in context enclosing the annotated definitionMartin Odersky2016-08-261-1/+2
* | Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-261-3/+9
* | Retracting special case depending on Ycheck.Martin Odersky2016-08-261-3/+2
* | Be more careful with inserted casts.Martin Odersky2016-08-261-2/+9
* | Make expressions using GADTs type check in later phasesMartin Odersky2016-08-261-1/+4
* | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-261-6/+3
|\ \
| * | Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-6/+3
* | | implementation of exhaustivity and redundancy checkliu fengyun2016-08-241-1/+2
| |/ |/|
* | Merge pull request #1456 from dotty-staging/fix-#1444odersky2016-08-211-1/+36
|\ \ | |/ |/|
| * Fix #1444: Add implicit arguments to supertraitsMartin Odersky2016-08-201-1/+36
* | Refinements to auto tuplingMartin Odersky2016-08-181-9/+10
|/
* New string infterpolatorsMartin Odersky2016-08-161-26/+26
* Merge pull request #1395 from dotty-staging/fix-#1378odersky2016-07-211-0/+10
|\
| * Adress reviewers commentsMartin Odersky2016-07-171-1/+4
| * Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-161-0/+7
* | Allow function prototypes to have wildcards.Martin Odersky2016-07-191-1/+4
|/
* Merge pull request #1377 from dotty-staging/#1365odersky2016-07-151-14/+49
|\
| * Drop superfluous codeMartin Odersky2016-07-151-5/+1
| * Fix 1365: Fix bindings in patternsMartin Odersky2016-07-091-14/+53
* | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-5/+24
|\ \
| * | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-071-1/+7
| * | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-4/+17
| |/
* | Allow hk parameters in lower boundsMartin Odersky2016-07-131-1/+0
* | Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
* | Remove refinement encoding of hk typesMartin Odersky2016-07-111-2/+2
* | Various hk related fixes in typesMartin Odersky2016-07-111-1/+0
* | Remove old hk schemeMartin Odersky2016-07-111-2/+1
* | Avoid creating dependent function types for closuresMartin Odersky2016-07-111-1/+7
* | Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-111-5/+2
* | Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-4/+13
* | Abstract type parameters out from type symbolsMartin Odersky2016-07-111-3/+3
* | Introduce recursive typesMartin Odersky2016-07-111-3/+4
* | New type lambda scheme for hk typesMartin Odersky2016-07-111-0/+9
|/
* Add straightforward fix to #1308jvican2016-07-011-1/+1
* Merge pull request #1226 from dotty-staging/static-fixesDmitry Petrashko2016-06-221-1/+1
|\
| * Fix Ycheck: allow assigning fields in static constructors.Dmitry Petrashko2016-06-071-1/+1
* | Move GADT check to `typeTyped`Felix Mulder2016-06-071-4/+5
* | Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-1/+4
|/
* Fix `A*` propagating outside matchesFelix Mulder2016-05-271-2/+7
* Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-271-2/+1
* Change typer to infer repeated param instead of Seq in `_*` casesFelix Mulder2016-05-271-1/+2
* Check equality that with == and != makes senseMartin Odersky2016-05-231-1/+2
* Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-231-45/+11
* Allow auto-tupling for arguments to overloaded methodsMartin Odersky2016-05-231-6/+20
* Support implicitNotFound annotationMartin Odersky2016-04-221-1/+10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-30 02:34:59 +0000