Norman Ramsey
Norman Ramsey
Line directives without column numbers are getting rejected, as in ``` (*#line 407 "lazyparse.nw"*)fun id x = x ``` Here's a sample: ``` /usr/local/mlton-20210117-1.amd64-linux-glibc2.23/bin/mlton -output a.out asdl.sml Error: asdl.sml 1.1-1.28....
Would love to have this for the MK4 as well. Particularly the ability to sort files by date, as they appear on the printer's screen.
Yes, please!
I hope this is of some use. If you want, I can annotate a version that will timestamp each line of output. ``` nr@homedog ~/n/plfa [1]> /usr/bin/time env MODE=dev cabal...
(For now, I am getting by with `cabal v2-run builder _site/Confluence/index.html` and similar.)
Is it possible that `make build` is forcing git to change to the `dev` branch? Because I'm doing my development on another branch.
I didn't expect the PR to be accepted as is. But I thought a PR the best way to start the discussion. I don't mind removing the bracketed comment or...
> @nrnrnr I'm just a passerby here, but I think you might find this > information useful: When creating a GitHub pull request, it's possible to > mark it as...
I can't duplicate the fault. Please send a complete example plus the weave command you used. [t.nw.txt](https://github.com/nrnrnr/noweb/files/15379658/t.nw.txt) [t.pdf](https://github.com/nrnrnr/noweb/files/15379659/t.pdf)
If you are using Unicode, XeLaTeX is definitely the way to go.