From 9551a157d5f443d7f9eeab92551473a9c703058f Mon Sep 17 00:00:00 2001
From: Bretton <qsctr@users.noreply.github.com>
Date: Wed, 6 Jul 2022 13:28:46 -0700
Subject: [PATCH] Debug check-exercises failure

---
 cryptol/CheckExercises.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cryptol/CheckExercises.hs b/cryptol/CheckExercises.hs
index de34baff..0f9acd4f 100644
--- a/cryptol/CheckExercises.hs
+++ b/cryptol/CheckExercises.hs
@@ -291,7 +291,7 @@ main = do
 
     if Seq.null (rdReplout rd)
       then do let cryCmd = (P.shell (exe ++ " --interactive-batch " ++ inFile ++ " -e"))
-              (cryEC, cryOut, _) <- P.readCreateProcessWithExitCode cryCmd ""
+              (cryEC, cryOut, cryErr) <- P.readCreateProcessWithExitCode cryCmd ""
 
 
               Line lnReplinStart _ Seq.:<| _ <- return $ rdReplin rd
@@ -301,6 +301,7 @@ main = do
                   putStrLn $ "REPL error (replin lines " ++
                     show lnReplinStart ++ "-" ++ show lnReplinEnd ++ ")."
                   putStr cryOut
+                  putStr cryErr
                   exitFailure
                 ExitSuccess -> do
                   -- remove temporary input file