aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/Run.scala
Commit message (Collapse)AuthorAgeFilesLines
* honor -encoding compiler flag and defaultsMartijn Hoekstra2016-09-071-2/+4
| | | | | | | | | rename test/pos/valueclasses to pos_valueclasses tests/pos/valueclasses generates a valueclasses.flags file in /tests/partest-generated/pos that conflicts with the valueClasses.flags file that tests/neg/valueClasses.scala tries to create
* Make -Xprint-diff an opt-in option.Nicolas Stucki2016-07-201-2/+4
| | | | | | * -Xprint:[...] alone prints the trees without diffs. * -Xprint-diff enables the diff on -Xprint. * -Xprint-diff-del enables the diff with deletes on -Xprint.
* Fix #1312: Improve XprintNicolas Stucki2016-07-151-9/+37
| | | | | | | * Do not reprint a tree that has not changed. * Highlight changes with yellow and insertions in green. * -Xprint-diff-del: Inserts the deleted parts of the tree in red and the parts that where changed in magenta.
* Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-271-3/+3
| | | | | | | | | | There's a trap otherwise that, when in a class inheriting from Context (and with it Reporting) a call to println will go to this.println and therefore might not print at all, if the current context buffers messages. I lost a lot of time on this on several occasions when I scratched my head why a simple debug println would not show. Better avoid this in the future for myself and others.
* Better documentation of main classesMartin Odersky2016-04-011-0/+1
|
* Better encapsulationMartin Odersky2016-03-121-2/+2
| | | | | No more leaking ofMove PatchedFiles in a settings option. Move all patch classes into a `Rewrites` object.
* Add patching functionality for migrationMartin Odersky2016-03-121-0/+2
| | | | | Firs version of patching that can be invoked by dotty compiler itself.
* Print phases with time they needMartin Odersky2016-03-031-1/+2
| | | | | Print a phase after it has run, together with the time it needs. Useful to locate performance problems in transforms.
* Export run contextMartin Odersky2016-02-171-0/+3
|
* Check that access to context base is singlethreaded.Martin Odersky2015-10-311-0/+1
| | | | | | ContextBase is not intended to be threadsafe, We now test that indeed it is not shared by compileUnits calls operating on different threads.
* Shorten ctx.typerState.reporter to ctx.reporterMartin Odersky2015-10-261-1/+1
| | | | ... making use of method in `ctx`.
* Partest 2/3: Compiler prints via context instead of printlnvsalvis2015-06-241-4/+4
|
* Correct a large number of typos.Jason Zaugg2015-05-141-5/+5
| | | | | I scanned the main sources with IntellIJ's spell checker and corrected what showed up.
* Fix to error reporting of compiled unitsMartin Odersky2015-05-021-1/+1
|
* Merge pull request #507 from dotty-staging/add/from-tastyDmitry Petrashko2015-05-021-14/+16
|\ | | | | Compile from Tasty
| * Compiler for embedded TASTY info.Martin Odersky2015-04-281-14/+16
| | | | | | | | `FromTasty` is a main module which compiles TASTY info instead of sources.
* | Display compiled files in case of exceptionMartin Odersky2015-04-281-1/+6
|/ | | | | This is useful for reproducing a problem. It tells us in particular in what order fiels were compiled.
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
|
* Bring back support for -YstopBefore and -YstopAfterDmitry Petrashko2015-02-191-4/+2
|
* Allow recomputing phase schedule per pun.Dmitry Petrashko2015-02-191-9/+5
|
* Check period validity once per run.Dmitry Petrashko2015-02-121-0/+3
|
* Fixed soundness hole in TypeComparerMartin Odersky2015-01-191-0/+1
| | | | | | | Two named types with same names and NoPrefix prefixes are not necessarily equal! The fix uncovered an error in tailrec. When run on Decorators.scala, tailrec in its old position at the end of a group produces not -Ycheckable code. Problem was fixed by moving TailRec into its own group.
* Phase.runOn is now List[ComliplationUnit] => List[ComliplationUnit]Dmitry Petrashko2014-11-031-1/+1
| | | | Allows to alter number of compilation units.
* Print whole TreeTransform name in Ycheck and XprintDmitry Petrashko2014-10-301-1/+5
|
* Incorporating TypeTestsCasts into ErasureDmitry Petrashko2014-09-241-1/+1
|
* More accurate or postcondition conchecking in TreeCheckerMartin Odersky2014-09-241-1/+7
| | | | | | | Previous postcondition checking did not take into account that phases are not flat - they consist in part of macro phases that contain miniphases. In fact the whole set up in Run is dubiuos - we should eliminate the problem at the root, as described in the TODO in run.
* Everything except unapplySeq doesn't explode.Dmitry Petrashko2014-09-171-1/+1
| | | | That doesn't mean that it works.
* Generalize phase postcondition checking.Martin Odersky2014-09-061-4/+5
| | | | | | | Have a general way how a phase can establish a postcondition which will be checked each time a later phase is tree-checked. Moves erasure constraints from TreeChecker to Erasure's post condition.
* Avoid -Ycheck after errorsMartin Odersky2014-05-081-2/+4
|
* Fleshed out Splitter phaseMartin Odersky2014-04-081-1/+1
| | | | | | | Implemented splitting operations As a side effect, this contains a test ruling out structural term member dispatch. Tests 0586 and 0625 which used structural dispatch got moved to neg.
* Add -Ycheck capabilityMartin Odersky2014-03-311-5/+7
| | | | | Right now uses a super-rudementary tree checker: we only check that every tree has a type.
* Fixes to erasureMartin Odersky2014-03-291-1/+1
| | | | | | | | | | Various fixes to the tree transformer. In the denotation transformer we now keep self types around because otherwise sourceModule would stop to work. Conflicts: src/dotty/tools/dotc/core/transform/Erasure.scala
* Take phase control settings into accountMartin Odersky2014-03-291-3/+19
| | | | | | | | | | | | Run now interprets correctly -YstopBefore -YstopAfter -Yskip -Tprint phase settings. For now, we stop by default before erasure, until erasure is fully debugged.
* Refactored denotation transformersMartin Odersky2014-03-181-1/+1
| | | | | | | | Many small and large changes. Added samplePhase to demonstrate functionality. To test functioning, run the compiler with args tests/pos/uncurry.scala -Ylog:sample,terminal
* Stop running phases after errors were encounteredMartin Odersky2014-03-141-2/+4
|
* Use virtual file instead of temporary file for testsDmitry Petrashko2014-03-041-6/+10
|
* Infrastructure for per-phase tests, with inline source as a string.Dmitry Petrashko2014-03-011-0/+10
|
* Move maxConstraint computation to RunInfo to avoid references to stale symbols.Martin Odersky2014-02-091-1/+1
|
* Added unit testing supportMartin Odersky2013-11-181-2/+6
|
* Reporting max constraintMartin Odersky2013-11-101-2/+4
| | | | Instead of throwing an exception if SImpleMap size goes over some threshold, we now report the largest constraint encountered in a run.
* Added option -YheartbeatMartin Odersky2013-10-011-2/+2
| | | | … which shows snapshot of the callstack of tracked operations at fixed intervals.
* Fixes problem with printing summary after compilationMartin Odersky2013-09-281-0/+3
| | | | Used wrong context/wrong reporter before.
* Making definitions permanentMartin Odersky2013-08-171-2/+0
| | | | Need to ensure that specially generated symbols in definitions are valid forever; otherwise they would disappear after first run.
* Integrated parser/typer into compilerMartin Odersky2013-08-141-3/+23
| | | | | Some initial bug fixes. Added -explaintypes diagnostics.
* Added main runner and driver.Martin Odersky2013-08-121-0/+12
Left dummies for Compiler and Run.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 22:51:42 +0000