Skip to content

Commit 6fbdd7e

Browse files
committed
Restrict the range of UInt
Also ensure that generated text is of a good size.
1 parent 81823b1 commit 6fbdd7e

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

cuddle.cabal

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
cabal-version: 3.4
22
name: cuddle
3-
version: 0.1.11.0
3+
version: 0.1.12.0
44
synopsis: CDDL Generator and test utilities
55

66
-- description:

src/Codec/CBOR/Cuddle/CBOR/Gen.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ import Codec.CBOR.Cuddle.CDDL.Resolve (MonoRef (..))
3030
import Codec.CBOR.Term (Term (..))
3131
import Codec.CBOR.Term qualified as CBOR
3232
import Codec.CBOR.Write qualified as CBOR
33-
import Control.Monad (replicateM, (<=<))
33+
import Control.Monad (join, replicateM, (<=<))
3434
import Control.Monad.Reader (Reader, runReader)
3535
import Control.Monad.State.Strict (StateT, runStateT)
3636
import Data.ByteString (ByteString)
@@ -42,7 +42,7 @@ import Data.Map.Strict qualified as Map
4242
import Data.Maybe (fromMaybe)
4343
import Data.Text (Text)
4444
import Data.Text qualified as T
45-
import Data.Word (Word64)
45+
import Data.Word (Word32, Word64)
4646
import GHC.Generics (Generic)
4747
import System.Random.Stateful
4848
( Random,
@@ -132,7 +132,7 @@ genBytes :: forall g. (RandomGen g) => Int -> M g ByteString
132132
genBytes n = asksM @"fakeSeed" $ uniformByteStringM n
133133

134134
genText :: forall g. (RandomGen g) => Int -> M g Text
135-
genText n = pure $ T.pack $ take n ['a' ..]
135+
genText n = pure $ T.pack . take n . join $ repeat ['a' .. 'z']
136136

137137
--------------------------------------------------------------------------------
138138
-- Combinators
@@ -158,7 +158,7 @@ genPostlude pt = case pt of
158158
genRandomM
159159
<&> TBool
160160
PTUInt ->
161-
genUniformRM (minBound :: Word, maxBound)
161+
genUniformRM (minBound :: Word32, maxBound)
162162
<&> TInteger
163163
. fromIntegral
164164
PTNInt ->

0 commit comments

Comments
 (0)