From b15a634a44cfd80d396296e278ba05d64ffff50e Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 5 Jan 2021 16:25:43 -0800
Subject: [PATCH] ;check: accept parseable/autobalanced/assertions as
 arguments, for completeness

---
 hledger/Hledger/Cli/Commands/Check.hs | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/hledger/Hledger/Cli/Commands/Check.hs b/hledger/Hledger/Cli/Commands/Check.hs
index aff15c3a7..95661831b 100644
--- a/hledger/Hledger/Cli/Commands/Check.hs
+++ b/hledger/Hledger/Cli/Commands/Check.hs
@@ -52,11 +52,19 @@ cliOptsUpdateReportSpecWith roptsupdate copts@CliOpts{reportspec_} =
     Right rs -> copts{reportspec_=rs}
 
 -- | A type of error check that we can perform on the data.
--- (Currently, just the optional checks that only the check command
--- can do; not the checks done by default or with --strict.)
+-- Some of these imply other checks that are done first,
+-- eg currently Parseable and Autobalanced are always done,
+-- and Assertions are always done unless -I is in effect.
 data Check =
-    Accounts
+  -- done always
+    Parseable
+  | Autobalanced
+  -- done always unless -I is used
+  | Assertions
+  -- done when -s is used, or on demand by check
+  | Accounts
   | Commodities
+  -- done on demand by check
   | Ordereddates
   | Payees
   | Uniqueleafnames
@@ -105,6 +113,8 @@ runCheck copts@CliOpts{rawopts_} j (check,args) = do
       Ordereddates    -> journalCheckOrdereddates copts' j
       Payees          -> journalCheckPayeesDeclared j
       Uniqueleafnames -> journalCheckUniqueleafnames j
+      -- the other checks have been done earlier during withJournalDo
+      _               -> Right ()
 
   case results of
     Right () -> return ()