Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Creates a new representation for Rink's output in the form of a token tree. The tokens are arbitrary text that's tagged with a hint for their usage, such as numbers, units, etc.
This is then used in rink-cli to provide colored output, instead of the Display implementation that has been use until now.
Adds new config options for whether colors should be enabled (disabled by default), creating custom color themes, and enabling long-form output mode.
Long output is made possible by the ListBegin and ListSep token types. They indicate that something should be rendered as a list. The CLI can then use this to render lists using a Unicode bullet character, this is disabled by default.
Remaining tasks:
Syntax highlighting for actual input as you type it in will be significantly more complicated, because the parser has to pass through span information and be made infallible. That should get done in a followup PR.
Switches to rustyline away from linefeed, for these reasons:
Colors and long output mode both enabled, also a custom prompt set.