aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/config
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove print option from ScalaSettingsEdmund Noble2016-07-061-1/+0
* Merge pull request #1251 from felixmulder/topic/fix-stdoutredirect-replFelix Mulder2016-06-011-0/+1
|\
| * Disable "auto" alternative in `-color` flagFelix Mulder2016-06-011-1/+1
| * Use ChoiceSetting for coloringFelix Mulder2016-05-121-1/+1
| * Add CLI option to disable REPL syntax highlightingFelix Mulder2016-05-121-0/+1
* | Add sbt incremental compilation supportGuillaume Martres2016-05-281-0/+2
|/
* Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-271-4/+4
* Add commandline argument `-Ykeep-comments` to remove hardcodingFelix Mulder2016-04-071-0/+1
* Add binding between Symbol and Untyped tree in base contextFelix Mulder2016-04-071-0/+1
* Merge pull request #1180 from niktrop/dotc-settings-formatDmitry Petrashko2016-03-221-4/+6
|\
| * String options with choices should be followed by colon and argument without ...Nikolay.Tropin2016-03-181-4/+6
* | Merge pull request #1148 from sjrd/scalajs-gen-exprsodersky2016-03-183-0/+17
|\ \
| * | Implement most of the Scala.js IR code generator.Sébastien Doeraene2016-03-101-0/+5
| * | Move the logic of ExpandSAMs.isJvmSam to Platform.isSam.Sébastien Doeraene2016-03-072-0/+12
* | | Merge pull request #1154 from dotty-staging/add-rewriteodersky2016-03-182-2/+12
|\ \ \ | |_|/ |/| |
| * | Better encapsulationMartin Odersky2016-03-121-2/+2
| * | Avoid setupMethod in DriverMartin Odersky2016-03-122-3/+12
| * | Add patching functionality for migrationMartin Odersky2016-03-121-0/+1
| |/
* / make variable name consistent in ScalaSettingsliu fengyun2016-03-141-6/+6
|/
* Store the JSDefinitions in a custom platform SJSPlatform.Sébastien Doeraene2016-03-011-0/+13
* Initial infrastructure and hello world for the Scala.js back-end.Sébastien Doeraene2016-03-011-0/+1
* Remove interpreterSettings logicMartin Odersky2016-02-171-1/+1
* Merge pull request #1058 from dotty-staging/fix-#864-v2Guillaume Martres2016-02-091-4/+5
|\
| * Fix documentation of Config.checkConstraintsSeparatedGuillaume Martres2016-02-081-4/+4
| * Fix docs and namingMartin Odersky2016-02-051-4/+5
* | Do not use the plain printer with -YdebugGuillaume Martres2016-02-061-0/+1
* | Do not store context creation trace with -YdebugGuillaume Martres2016-02-061-0/+1
|/
* Don't force symbol denotation when taking fingerprint.Martin Odersky2016-01-191-1/+1
* Change name of setting: -YshowVarBounds -> -Yshow-var-boundsMartin Odersky2015-12-211-1/+1
* Optionally rewrite projections.Martin Odersky2015-12-151-0/+9
* Print bounds of TypeVars only when option is enabled.Martin Odersky2015-12-151-0/+1
* Fully type annotate PrintersMartin Odersky2015-12-061-9/+9
* Better diagnosis from completions printerMartin Odersky2015-11-091-1/+1
* Renamings in DefinitionsMartin Odersky2015-11-091-4/+2
* Add migration warningsMartin Odersky2015-11-051-0/+1
* Eliminate Config.newMatch optionMartin Odersky2015-09-291-6/+0
* Eta expand $apply projected types if neededMartin Odersky2015-09-211-0/+5
* More @sharable annotationsMartin Odersky2015-07-061-2/+2
* Add @sharable annotationMartin Odersky2015-07-062-4/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 17:52:00 +0000