Paul Cadman ad3607f104 Fix extra whitespace in text rendering of indented empty lines (#2101) ... The prettyprinter library takes care avoid adding whitespace to empty lines when it is rendering indented text. See: 7e32c010ec/prettyprinter/src/Prettyprinter/Internal.hs (L1999) However it only does this for unannotated text. In our code we were stripping annotations from renderings within `toTextStream` but we must remove the annotations before calling `layoutPretty` to get the proper handling of whitespace with indentations. That's what this PR does.		2023-05-19 11:41:28 +02:00
..
Asm	Support more paths (#2000)	2023-04-19 15:56:48 +01:00
Core	Normalization by Evaluation (#2038)	2023-05-15 18:01:40 +02:00
DisplayRoot	Support basic dependencies (#1622)	2022-12-20 13:05:40 +01:00
Geb	Fix extra whitespace in text rendering of indented empty lines (#2101)	2023-05-19 11:41:28 +02:00
Highlight	Support basic dependencies (#1622)	2022-12-20 13:05:40 +01:00
Internal	Add dev core from-concrete command (#1833)	2023-02-10 12:37:28 +01:00
Parse	Support basic dependencies (#1622)	2022-12-20 13:05:40 +01:00
Repl	Pretty print JuvixCore values consistently with Juvix syntax (#1988)	2023-04-12 12:52:40 +02:00
Runtime	Fix: add supported targets as option for compile commands (#1983)	2023-04-13 14:16:07 +02:00
Scope	Print comments when pretty printing concrete syntax (#1737)	2023-01-24 16:15:24 +01:00
Termination	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00
Asm.hs	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00
Core.hs	Normalization by Evaluation (#2038)	2023-05-15 18:01:40 +02:00
DisplayRoot.hs	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00
Geb.hs	Fix Core-To-Geb translation (#1863)	2023-02-28 18:49:44 +01:00
Highlight.hs	Partial incremental highlighting (#2053)	2023-05-10 13:09:48 +02:00
Internal.hs	Add dev core from-concrete command (#1833)	2023-02-10 12:37:28 +01:00
Options.hs	Add juvix dev repl command (#1941)	2023-03-31 00:57:44 +02:00
Parse.hs	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00
Runtime.hs	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00
Scope.hs	Keep regular comments in html output (#1766)	2023-01-27 13:24:28 +01:00
Termination.hs	Update CI to install Smoke, Github actions, and Makefile fixes (#1735)	2023-01-24 11:50:23 +01:00