aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix TypeMismatch not getting nonsensical tags in some casesFelix Mulder2016-10-104-15/+15
| | | | Thanks @smarter!
* Don't force Message twice in MessageContainerFelix Mulder2016-10-102-2/+2
|
* Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-109-43/+55
|
* Add `dotty.jar` to gitignoreFelix Mulder2016-10-101-1/+1
|
* Make `typeDiff` aware of placeholder typesFelix Mulder2016-10-103-28/+45
|
* Refactor explanation interpolatorFelix Mulder2016-10-1010-108/+154
|
* Unrainbow syntax highlightingFelix Mulder2016-10-101-1/+3
|
* Add basic diffing for shown valuesFelix Mulder2016-10-101-3/+25
|
* Fix multiple parsing errors on e.g. `try 1`Felix Mulder2016-10-101-3/+9
| | | | | | | The `CompilingInterpreter` will on a single compile run, make multiple parsings of the given line(s). This results in multiple warnings from the parser. As such, clear the warnings until the actual compile is performed.
* Fix #1525: start repl if first arg to dotr starts with hyphenFelix Mulder2016-10-101-0/+4
|
* Indent 2 after newline in REPLFelix Mulder2016-10-102-5/+4
|
* Better operator highlightingFelix Mulder2016-10-101-4/+5
|
* Fix underline positionFelix Mulder2016-10-101-1/+1
|
* Improve syntax highlighting on polymorphic defsFelix Mulder2016-10-101-2/+5
|
* Add deprecation message on `with` type operatorFelix Mulder2016-10-102-48/+78
|
* Improve syntax highlighting for ValDefsFelix Mulder2016-10-101-17/+37
|
* Remove duplication of console reportersFelix Mulder2016-10-108-198/+148
|
* Make relevant parts of compiler conform to new error handlingFelix Mulder2016-10-1020-338/+317
|
* Make `FancyConsoleReporter` and `Highlighting` obey color settingFelix Mulder2016-10-106-47/+64
| | | | | | | Fancy console reporter and the string interpolator for highlighting now obey the color setting - this means that the next step towards unifying the reporters is to make sure the tests work with `FancyConsoleReporter` under the `-color:never` flag.
* Add modifiers to highlightingFelix Mulder2016-10-1011-78/+89
|
* Add `MissingIdent` message to `Typer`Felix Mulder2016-10-101-2/+3
|
* Factor out explanation header to ReporterFelix Mulder2016-10-107-42/+77
|
* Add coloring utilFelix Mulder2016-10-101-0/+60
|
* Complete better structure to diagnostic messagesFelix Mulder2016-10-1015-150/+198
|
* Refactor common error messages to `diagnostic.basic`Felix Mulder2016-10-109-44/+121
|
* Rename Diagnostic to diagnostic.MessageFelix Mulder2016-10-109-50/+67
|
* Add ability to choose between fancy and non-fancy outputFelix Mulder2016-10-105-61/+110
|
* Rename `ConsoleReporter` => `FancyConsoleReporter`Felix Mulder2016-10-104-5/+5
|
* Add error kind to diagnosticFelix Mulder2016-10-105-33/+26
|
* Add smart comment formatting in ConsoleReporterFelix Mulder2016-10-101-7/+65
|
* Add missing star in docstringFelix Mulder2016-10-101-1/+1
|
* Change layout of ErrorMessagesFelix Mulder2016-10-107-120/+135
|
* Add more examples to TyperFelix Mulder2016-10-102-11/+45
|
* Use highlighting in explanation classesFelix Mulder2016-10-101-18/+27
|
* Simplify "hl" interpolatorFelix Mulder2016-10-101-11/+2
|
* Add highlighting for `???`Felix Mulder2016-10-101-1/+6
|
* Return iterable from highlighting function instead of vectorFelix Mulder2016-10-102-3/+3
|
* Add highlighter string interpolatorFelix Mulder2016-10-101-0/+16
|
* Add initial structure for improved explanations of error messagesFelix Mulder2016-10-104-13/+91
|
* Merge pull request #1566 from felixmulder/topic/migrate-dotty.epfl.chFelix Mulder2016-10-0733-29/+4338
|\ | | | | Migrate dotty.epfl.ch to static site in repository
| * Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-0733-29/+4338
|/
* Merge pull request #1564 from felixmulder/topic/fixyfixy-config.ymlFelix Mulder2016-10-061-1/+1
|\ | | | | Fix gh pages config file
| * Fix gh pages config fileFelix Mulder2016-10-061-1/+1
|/
* Merge pull request #1563 from felixmulder/topic/fix-nonworking-jekyllGuillaume Martres2016-10-065-288/+27
|\ | | | | Remove relative links for markdown plugin
| * Append baseurl to necessary linksFelix Mulder2016-10-062-19/+19
| |
| * Remove relative links for markdown pluginFelix Mulder2016-10-064-270/+9
| | | | | | | | | | This plugin caused the Github site builder to kill the build (github has a limited number of trusted plugins - this wasn't one of them).
* | Merge pull request #1502 from felixmulder/topic/dottydoc-usecases-paramFelix Mulder2016-10-0628-613/+1037
|\ \ | |/ |/| [doc] Usecases with docbase as param
| * Remove `Context` reference in `Comment` and `UseCase`Felix Mulder2016-10-062-17/+29
| |
| * Separate `ContextDocstrings` from `Context` and make it pluggableFelix Mulder2016-10-0613-109/+143
| |
| * Implement docbase as propertyFelix Mulder2016-10-0615-49/+87
| |