From 3c844982b2f0c0fc35681d61a6e72de1d58a27bc Mon Sep 17 00:00:00 2001 From: Gary Burgess Date: Tue, 6 Jun 2017 13:20:39 +0100 Subject: [PATCH] Ensure `genString` always generates at least one character --- src/Data/String/Gen.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/String/Gen.purs b/src/Data/String/Gen.purs index 6d2a762..e981a11 100644 --- a/src/Data/String/Gen.purs +++ b/src/Data/String/Gen.purs @@ -10,7 +10,7 @@ import Data.String as S -- | Generates a string using the specified character generator. genString :: forall m. MonadRec m => MonadGen m => m Char -> m String genString genChar = sized \size -> do - newSize <- chooseInt 1 size + newSize <- chooseInt 1 (max 1 size) resize (const newSize) $ S.fromCharArray <$> unfoldable genChar -- | Generates a string using characters from the Unicode basic multilingual