aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/docker
diff options
context:
space:
mode:
authorJim Fehrle2018-10-07 15:14:56 -0700
committerJim Fehrle2018-12-20 13:01:46 -0800
commit70a139733dfaa42d665a85736ee4324d926723ed (patch)
treed1c78161e8f037a22ef799ff298304f1d65660b8 /dev/ci/docker
parent2cad4dec40cef2aecb19c5a0e5a1368392be8d88 (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