1
1
mirror of https://github.com/anoma/juvix.git synced 2025-01-06 06:53:33 +03:00
juvix/app
Łukasz Czajka fc0d5a3d88
Add --vscode option (#3162)
* Add a `--vscode` option which causes the error messages to be printed
without newlines, in a way compatible with the problem matcher of the
VSCode extension
* Related VSCode extension PR:
https://github.com/anoma/vscode-juvix/pull/153
2024-11-11 10:06:57 +01:00
..
Commands Add --vscode option (#3162) 2024-11-11 10:06:57 +01:00
TopCommand Export Juvix source code to latex (#2917) 2024-08-05 11:28:19 +02:00
App.hs Add --vscode option (#3162) 2024-11-11 10:06:57 +01:00
AsmInterpreter.hs Replace polysemy by effectful (#2663) 2024-03-21 12:09:34 +00:00
CommonOptions.hs Run Nockma in an Anoma node (#3128) 2024-10-29 17:32:59 +01:00
Evaluator.hs Make compile targets a subcommand instead of a flag (#2700) 2024-04-09 13:29:07 +02:00
GlobalOptions.hs Add --vscode option (#3162) 2024-11-11 10:06:57 +01:00
HaskelineJB.hs upgrade to Ghc 9.8.1 (#2624) 2024-02-07 09:47:48 +00:00
Main.hs Export Juvix source code to latex (#2917) 2024-08-05 11:28:19 +02:00
RegInterpreter.hs Replace polysemy by effectful (#2663) 2024-03-21 12:09:34 +00:00
TopCommand.hs Logger (#2908) 2024-07-22 17:14:37 +02:00
TreeEvaluator.hs Replace polysemy by effectful (#2663) 2024-03-21 12:09:34 +00:00