Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
add recompile comment in --trace-compile in terminal color mode too (#…
…56275) Update: Just adds the comment in color terminal mode too --- I didn't think adding the `# recompile` text to the end in the repl was a good idea as it increases likelihood of text wrapping. And the color should be sufficient for local review, but when people copy from a color terminal we lose the recompile info. So this just adds a zero-length change indicator, for people to look out for.
- Loading branch information