ivory-quickcheck 0.2.0.4 → 0.2.0.5

raw patch · 2 files changed

+7/−6 lines, 2 files

Files

• ivory-quickcheck.cabal +1/−1
• src/Ivory/QuickCheck.hs +6/−5

@@ -1,5 +1,5 @@ name:                ivory-quickcheck-version:             0.2.0.4+version:             0.2.0.5 author:              Galois, Inc. copyright:           2013 Galois, Inc. maintainer:          leepike@galois.com

@@ -193,11 +193,12 @@     -> sampleArray m len ty   I.TyStruct ty     -> sampleStruct m ty-  I.TyProc _ _ -> err-  I.TyVoid     -> err-  I.TyPtr _    -> err-  I.TyCArray _ -> err-  I.TyOpaque   -> err+  I.TyProc _ _    -> err+  I.TyVoid        -> err+  I.TyPtr _       -> err+  I.TyConstPtr _  -> err+  I.TyCArray _    -> err+  I.TyOpaque      -> err   where   err = error $ "I don't know how to make values of type '" ++ show t ++ "'!"