anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-19 04:41:36 +03:00
Code Issues Projects Releases Wiki Activity
786ff9d075
juvix/app/Commands/Dev
History
Łukasz Czajka 98b1daec7d
Print JuvixCore correctly (#1875) 
Print JuvixCore InfoTable in such a way that it can be parsed back by
the JuvixCore parser.

* Depends on PR #1832 
* Depends on PR #1862 
* Closes #1841 
* Adds "JuvixCore print" tests which read the files from
Core/positive/*.jvc, print them, read them back and check if the
evaluation results are preserved.

---------

Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>
2023-03-15 16:41:39 +01:00
..
Asm New compilation pipeline (#1832) 2023-03-14 16:24:07 +01:00
Core Print JuvixCore correctly (#1875) 2023-03-15 16:41:39 +01:00
DisplayRoot Support basic dependencies (#1622) 2022-12-20 13:05:40 +01:00
Geb Fix Core-To-Geb translation (#1863) 2023-02-28 18:49:44 +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
Runtime New compilation pipeline (#1832) 2023-03-14 16:24:07 +01: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 Add dev core from-concrete command (#1833) 2023-02-10 12:37:28 +01: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 Allow shadowing local variables with let function definitions (#1847) 2023-02-22 10:26:54 +01:00
Internal.hs Add dev core from-concrete command (#1833) 2023-02-10 12:37:28 +01:00
Options.hs New compilation pipeline (#1832) 2023-03-14 16:24:07 +01: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