Skip to content

Commit

Permalink
Fix bug in dumpableType function. Fixes #946.
Browse files Browse the repository at this point in the history
The function now works as documented, and succeeds on function
types that do not have `Bit` as a return type.
  • Loading branch information
Brian Huffman committed Nov 2, 2020
1 parent ee0f60c commit ec5a504
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Cryptol/Testing/Random.hs
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ dumpableType ty =
case tIsFun ty of
Just (t1, t2) ->
do g <- randomValue Concrete t1
as <- testableTypeGenerators t2
as <- dumpableType t2
return (g : as)
Nothing ->
do (_ :: Gen g Concrete) <- randomValue Concrete ty
Expand Down

0 comments on commit ec5a504

Please sign in to comment.