aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/config/Config.scala
Commit message (Expand)AuthorAgeFilesLines
* Make positions fit for metaMartin Odersky2016-09-241-0/+3
* HK reduction: Remove special-case for typerefsGuillaume Martres2016-07-181-3/+2
* Fix bounds checking of hk applied typedMartin Odersky2016-07-141-3/+2
* Make rewritings of hk applications configurableMartin Odersky2016-07-131-0/+7
* Drop Config.checkKindsMartin Odersky2016-07-111-7/+0
* Cleanup of Signature matchingMartin Odersky2016-07-111-3/+3
* Remove refinement encoding of hk typesMartin Odersky2016-07-111-2/+0
* Drop assertion in TypeMapMartin Odersky2016-07-111-3/+5
* Start new, direct HK schemeMartin Odersky2016-07-111-0/+2
* Remove old hk schemeMartin Odersky2016-07-111-2/+0
* Optionally, check kinds match for & and |Martin Odersky2016-07-111-0/+5
* Turn on new hk schemeMartin Odersky2016-07-111-1/+1
* New type lambda scheme for hk typesMartin Odersky2016-07-111-0/+2
* Fix documentation of Config.checkConstraintsSeparatedGuillaume Martres2016-02-081-4/+4
* Fix docs and namingMartin Odersky2016-02-051-4/+5
* Don't force symbol denotation when taking fingerprint.Martin Odersky2016-01-191-1/+1
* Optionally rewrite projections.Martin Odersky2015-12-151-0/+9
* Eliminate Config.newMatch optionMartin Odersky2015-09-291-6/+0
* Eta expand $apply projected types if neededMartin Odersky2015-09-211-0/+5
* Disable checkConstraintClosed by defaultMartin Odersky2015-06-261-2/+10
* Avoid junk produced by Constraint#replace.Martin Odersky2015-06-221-0/+3
* Deskolemize types inferred for vals and defsMartin Odersky2015-06-061-0/+5
* Calibrate findMember logging thresholds and test caseMartin Odersky2015-05-211-3/+11
* Move threshold values to ConfigMartin Odersky2015-05-211-0/+19
* Correct a large number of typos.Jason Zaugg2015-05-141-2/+2
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-6/+6
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* Cleanups prompted by reviews.Martin Odersky2015-01-281-1/+1
* New constraint implementation: OrderingConstraintMartin Odersky2015-01-241-1/+1
* Make checkPropagated configurableMartin Odersky2015-01-191-0/+6
* New constraint handlingMartin Odersky2015-01-181-6/+0
* Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-091-1/+1
* More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-091-1/+1
* Made fast path for refined subtype checking configurable.Martin Odersky2015-01-091-0/+4
* Fix problem in constraint handlingMartin Odersky2015-01-091-0/+5
* Remove choice between new and old scheme for subtyping refined types.Martin Odersky2015-01-081-1/+1
* Add transitive check for cycles in constraints.Martin Odersky2015-01-081-1/+15
* Make rejection of deep subtype call stack optionalMartin Odersky2014-10-111-3/+0
* @odersky have a look.Dmitry Petrashko2014-09-231-1/+1
* Make type creators work for erased types.Martin Odersky2014-08-241-0/+3
* Optionally check variance of Lambda classes.Martin Odersky2014-06-121-1/+6
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-081-0/+6
* Shadowed referencesMartin Odersky2014-04-081-2/+2
* Reworked TermRef handlingMartin Odersky2014-04-081-0/+7
* Summary printingMartin Odersky2014-03-291-0/+3
* Fix bug for reading type arguments in ClassfileParserMartin Odersky2014-02-061-0/+2
* Fixes to constraint handling.Martin Odersky2014-01-261-1/+5
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-0/+2
* Make implicit scope work in the presence to TypeVarsMartin Odersky2014-01-061-0/+1
* Output cleanupsMartin Odersky2014-01-041-0/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 15:26:45 +0000