X-Git-Url: https://code.delx.au/offlineimap/blobdiff_plain/17b59c6cbdcf488945cd8688733f5b0513efc8e4..82cf5be10bb0a98aaa71aa88bfd77f7989337e2f:/testsrc/TestParser.hs diff --git a/testsrc/TestParser.hs b/testsrc/TestParser.hs index 704d656..69a6bfb 100644 --- a/testsrc/TestParser.hs +++ b/testsrc/TestParser.hs @@ -77,7 +77,7 @@ prop_respTextSimple s = prop_respTextAtom :: String -> Property prop_respTextAtom s2 = - isValidAtom s2 && isValidText s1 ==> + isValidAtom s2 && isValidText s1 && ']' `notElem` s1 ==> p respText ("[" ++ s2 ++ "] " ++ s1) @?= Just (RespText (Just s2) s1) where s1 = reverse s2 -- Gen manually to avoid test exhaustion