blob: 436df0e85e354a60b155503a7a90b376497009ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
diff --git a/src/DeriveArbitrary.hs b/src/DeriveArbitrary.hs
index d42b896..fc94945 100644
--- a/src/DeriveArbitrary.hs
+++ b/src/DeriveArbitrary.hs
@@ -26,7 +26,7 @@ import Data.List.Split
import Data.Maybe
-- Gen
import Language.Haskell.TH
-import Language.Haskell.TH.Syntax
+import Language.Haskell.TH.Syntax as TH
import Test.QuickCheck
import GHC.Exts
import GHC.Types
@@ -38,7 +38,7 @@ import Control.Applicative
import Data.List
-- | Build the arbitrary function with makeArbs
-chooseExpQ :: Name -> Name -> Name -> Integer -> Type -> ExpQ
+chooseExpQ :: Name -> Name -> Name -> Integer -> TH.Type -> ExpQ
chooseExpQ g n t bf (AppT ListT ty) = [| listOf $ resize ($(varE n) `div` 10) arbitrary |]
chooseExpQ g n t bf ty | headOf ty /= t = [| resize (max 0 ($(varE n) - 1)) arbitrary |]
chooseExpQ g n t bf ty =
|
GitWeb
