use --stdin in flycheck mode (#1460)

anoma · Aug 19, 2022 · 74e8925 · 74e8925
1 parent bcaf319
commit 74e8925
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 "ת"))))