diff options
| author | Jim Fehrle | 2018-10-07 15:14:56 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-12-20 13:01:46 -0800 |
| commit | 70a139733dfaa42d665a85736ee4324d926723ed (patch) | |
| tree | d1c78161e8f037a22ef799ff298304f1d65660b8 /dev/ci/docker | |
| parent | 2cad4dec40cef2aecb19c5a0e5a1368392be8d88 (diff) | |
Make diffs work for more input strings
Diff code uses the lexer to recognize tokens in the inputs, which can be
Pp.t's or strings. To add the highlights in the Pp.t, the diff code
matches characters in the input to characters in the tokens. Current
code fails for inputs containing quote marks or "(*" because the quote
marks and comments don't appear in the tokens. This commit adds a "diff
mode" to the lexer to return those characters, making the diff routine
more robust.
Diffstat (limited to 'dev/ci/docker')
0 files changed, 0 insertions, 0 deletions
