From 8a0c8d61fcc0d534b5766b719d51b3f1f1f9c4f0 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Fri, 19 Aug 2022 18:35:07 +0200 Subject: [PATCH] use --stdin in flycheck mode --- juvix-mode/flycheck-juvix.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/juvix-mode/flycheck-juvix.el b/juvix-mode/flycheck-juvix.el index 4b7fc1f5f9..93044ee759 100644 --- a/juvix-mode/flycheck-juvix.el +++ b/juvix-mode/flycheck-juvix.el @@ -9,9 +9,10 @@ (flycheck-define-checker juvix "A Juvix syntax checker." - :command ("juvix" "internal" "microjuvix" "typecheck" "--only-errors" "--no-colors" + :command ("juvix" "internal" "microjuvix" "typecheck" "--only-errors" "--no-colors" "--stdin" (option-flag "--no-stdlib" juvix-disable-embedded-stdlib) source-original) + :standard-input t :error-patterns ( (error line-start (file-name) ":" line ":" column ": error:" (message (one-or-more (not "ת"))))