GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-17 09:50:35 +03:00
Code Issues Projects Releases Wiki Activity

Debug check-exercises failure

Browse Source
This commit is contained in:
Bretton 2022-07-06 13:28:46 -07:00
parent 7bac9db242
commit 9551a157d5
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cryptol/CheckExercises.hs
View File

@ -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