Data.Binary.decodeFile을 사용하여 "demandInput : bytes not enough bytes"오류가 발생했습니다.

Question

Data.Binary에서 encodeFile 및 decodeFile 함수를 사용하여 매우 큰 데이터 구조를 저장하여 다시 계산할 필요가 없습니다. 이 프로그램을 실행할 때마다.

writePlan :: IO() 
writePlan = do (d, _, bs) <- return subjectDomain 
       outHandle <- openFile "outputfile" WriteMode 
       ((ebsP, aP), cacheData) <- preplanDomain d bs 
       putStrLn "Calculated." 

       let toWrite = ((map pseudofyOverEBS ebsP, aP), 
           pseudofyOverMap cacheData) :: WrittenData 
       in do encodeFile preplanFilename $ encode toWrite 
        putStrLn "Done." 


readPlan :: IO (([EvaluatedBeliefState], [Action]), MVar HeuCache) 
readPlan = do (d, _, _) <- return subjectDomain 
       inHandle <- openFile "outputfile" ReadMode 

       ((ebsP, aP), cacheData) <- decodeFile preplanFilename :: IO WrittenData 

       fancyCache <- newMVar (M.empty, depseudofyOverMap cacheData) 
       return $! ((map depseudofyOverEBS ebsP, aP), fancyCache) 

(writePlan하여) 파일을 계산 및 기록하는 프로그램이 거대한 바이너리 파일을 출력하는 에러없이 실행 다음과 같이 관련 encoding- 및 복호 함수이다. 내가 오류에 readPlan 결과를 실행,이 파일에 걸리는 프로그램을 실행할 때, (프로그램 이름은 "실시간"입니다) :

Realtime: demandInput: not enough bytes 

내가 머리도이의 꼬리, 구글을 수색 할 수 없습니다 이 메시지에 대한 실질적인 문서 나 토론이 나오지 않았습니다. 모든 통찰력은 인정 될 것입니다!

Answer 1

나는 파티에 매우 늦었지만 유사한 문제에 대한 도움을 구하는 동안 이것을 발견했다. Data.Binary.Get의 증분 인터페이스로 작업하고 있습니다. here에서 볼 수 있듯이이 함수는 Data.Binary.Get.Internal에 정의되어 있습니다. 이제는 추측하고 있지만 decodeFile 함수는 파싱의 일종을 수행하고 파일이 완전히 파싱되지 않았기 때문에 오류가 발생합니다 (파서는 파일에 다른 내용이 있어야한다고 생각하지만 이미 EOF에 도달 함).

호프는이/비슷한 문제를 가진 사람을 돕습니다!