úÎNiNone    NoneType for "doc_test".&Generating defaultMain with a list of Test= from "doc_test", "case_<somthing>", and "prop_<somthing>".     test-framework-th-prime-0.0.7Test.Framework.TH.PrimeTest.Framework.TH.Prime.ParserDocTestsdefaultMainGeneratorsymbolstring unitPropTeststoCasetoProptoTestgetTests parseTest isFunBind isPatBind fromPatBind fromFunBind isDefineddocTestKeyworddocTests