1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 19:49:20 +03:00
juvix/app/Commands/Dev
Jan Mas Rovira f4aa70b13d
Finish the new pretty printing algorithm and delete the old one (#2151)
- Closes #2128 
- Closes #2161 

This pr fully implements the monadic pretty printer based on
`ExactPrint`, which respects comments. Until now, comments inside
expressions were printed after the current statement. Now they are
printed in the correct place, except when a comment occurs before
something that we don't store its location. E.g. parentheses,
semicolons, braces, colons, etc. I proposed that we irone out this issue
in a separate pr.

Since the old non-monadic algorithm is no longer necessary, I removed
it.
2023-06-02 13:02:35 +02:00
..
Asm Add main field to juvix.yaml (#2120) 2023-05-24 15:42:20 +02:00
Core Add main field to juvix.yaml (#2120) 2023-05-24 15:42:20 +02:00
DisplayRoot Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Geb Add Semigroup instance for AnsiText (#2140) 2023-05-31 08:53:08 +01: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 Remove --no-format option (#2121) 2023-05-24 10:46:18 +02: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 Finish the new pretty printing algorithm and delete the old one (#2151) 2023-06-02 13:02:35 +02:00
Termination.hs Update CI to install Smoke, Github actions, and Makefile fixes (#1735) 2023-01-24 11:50:23 +01:00