HPC의 코드 커버리지에서 쇼 유도를 제외하는 방법은 무엇입니까?

Question

나는 Show을 파생하는 유형이 있습니다.
테스팅에 필요하지만 응용 프로그램의 로직에는 필요하지 않은 개발 용으로 유용합니다. 따라서 테스트가 필요하지 않습니다.

HPC가 테스트에 대해 100 % 적용 범위를 인식하도록하고 싶습니다. 그것을 제외시킬 수있는 방법이 있습니까?
설정이 무엇입니까? 프라그마? 속이는 시험?

seqshow을 시도했지만 처음에는 작동하지 않았습니다. (나중에 문제가 해결되어 답변을 게시했습니다.)

는 또한 테스트 할 때 단지 Show 제외됩니다 매크로 조건을 사용하는 CPP로 확장했지만, quickCheckAll는 좋아하지 않았다 나는 심지어 테스트 -의 경우 실제로 이해할 수있는 (컴파일을하지 않았다 실패).

Answer 1

결국 seq 에드 Show이 제공해야하므로 GHC는 내가 거기에 있다는 사실을 알게 될 것이며 그것을 커버했음을 인정합니다.

prop_fieldShow :: (Show i, Show a) => Field i a -> Bool 
prop_fieldShow field = showList [field] `seq` showsPrec 0 field `seq` show field `seq` True