Resolving dependencies... Configuring base-orphans-0.5.4... Configuring dlist-0.8.0.2... Building dlist-0.8.0.2... Building base-orphans-0.5.4... Installed base-orphans-0.5.4 Configuring fmlist-0.9... Building fmlist-0.9... Configuring mtl-2.2.1... Installed dlist-0.8.0.2 Building mtl-2.2.1... Configuring parallel-3.2.1.0... Installed fmlist-0.9 Building parallel-3.2.1.0... Configuring primitive-0.6.1.0... Installed parallel-3.2.1.0 Building primitive-0.6.1.0... Configuring prelude-extras-0.4.0.3... Installed mtl-2.2.1 Building prelude-extras-0.4.0.3... Configuring reflection-2.1.2... Installed primitive-0.6.1.0 Configuring semigroups-0.18.2... Installed prelude-extras-0.4.0.3 Building reflection-2.1.2... Building semigroups-0.18.2... Configuring stm-2.4.4.1... Installed semigroups-0.18.2 Building stm-2.4.4.1... Configuring text-1.2.2.1... Installed stm-2.4.4.1 Configuring transformers-compat-0.5.1.4... Installed reflection-2.1.2 Building text-1.2.2.1... Building transformers-compat-0.5.1.4... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Installed utf8-string-1.0.1.1 Configuring StateVar-1.1.0.4... Building StateVar-1.1.0.4... Configuring tagged-0.8.5... Installed StateVar-1.1.0.4 Building tagged-0.8.5... Configuring exceptions-0.8.3... Installed tagged-0.8.5 Building exceptions-0.8.3... Configuring vector-0.11.0.0... Installed text-1.2.2.1 Building vector-0.11.0.0... Installed exceptions-0.8.3 Configuring distributive-0.5.0.2... Building distributive-0.5.0.2... Configuring hashable-1.2.4.0... Installed distributive-0.5.0.2 Building hashable-1.2.4.0... Installed hashable-1.2.4.0 Configuring void-0.7.1... Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Configuring contravariant-1.4... Installed unordered-containers-0.2.7.1 Building contravariant-1.4... Installed vector-0.11.0.0 Configuring ListLike-4.5... Building ListLike-4.5... Installed contravariant-1.4 Configuring comonad-5... Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed ListLike-4.5 Configuring Earley-0.11.0.1... Building Earley-0.11.0.1... Installed Earley-0.11.0.1 Installed bifunctors-5.4.1 Configuring semigroupoids-5.1... Configuring profunctors-5.2... Building profunctors-5.2... Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring free-4.12.4... Building free-4.12.4... Installed free-4.12.4 Configuring adjunctions-4.3... Building adjunctions-4.3... Installed adjunctions-4.3 Configuring kan-extensions-5.0.1... Building kan-extensions-5.0.1... Installed kan-extensions-5.0.1 Configuring lens-4.15.1... Building lens-4.15.1... Installed lens-4.15.1 Configuring pinchot-0.8.0.0... Building pinchot-0.8.0.0... Failed to install pinchot-0.8.0.0 Build log ( /home/builder/.cabal/logs/pinchot-0.8.0.0.log ): cabal: Entering directory '/tmp/cabal-tmp-14398/pinchot-0.8.0.0' Configuring pinchot-0.8.0.0... Building pinchot-0.8.0.0... Preprocessing library pinchot-0.8.0.0... [1 of 9] Compiling Pinchot.Intervals ( lib/Pinchot/Intervals.hs, dist/build/Pinchot/Intervals.o ) [2 of 9] Compiling Pinchot.Internal ( lib/Pinchot/Internal.hs, dist/build/Pinchot/Internal.o ) lib/Pinchot/Internal.hs:467:18: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT typeName)] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:467:44: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘newtypeCon’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT typeName)] lib/Pinchot/Internal.hs:467:55: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT typeName)] lib/Pinchot/Internal.hs:472:23: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘dataD’ is applied to too few arguments In the expression: dataD (cxt []) name [] cons derives In a case alternative: RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:472:46: error: • Couldn't match expected type ‘Maybe Syntax.Kind’ with actual type ‘[ConQ]’ • In the fourth argument of ‘dataD’, namely ‘cons’ In the expression: dataD (cxt []) name [] cons derives In a case alternative: RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) lib/Pinchot/Internal.hs:472:51: error: • Couldn't match type ‘Name’ with ‘Q Syntax.Con’ Expected type: [ConQ] Actual type: [Name] • In the fifth argument of ‘dataD’, namely ‘derives’ In the expression: dataD (cxt []) name [] cons derives In a case alternative: RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) lib/Pinchot/Internal.hs:476:22: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘dataD’ is applied to too few arguments In the expression: dataD (cxt []) name [] cons derives In a case alternative: RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:476:45: error: • Couldn't match expected type ‘Maybe Syntax.Kind’ with actual type ‘[ConQ]’ • In the fourth argument of ‘dataD’, namely ‘cons’ In the expression: dataD (cxt []) name [] cons derives In a case alternative: RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) lib/Pinchot/Internal.hs:476:50: error: • Couldn't match type ‘Name’ with ‘Q Syntax.Con’ Expected type: [ConQ] Actual type: [Name] • In the fifth argument of ‘dataD’, namely ‘derives’ In the expression: dataD (cxt []) name [] cons derives In a case alternative: RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) lib/Pinchot/Internal.hs:480:17: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (appT ... (conT typeName))] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:480:43: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘cons’ In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (appT ... (conT typeName))] lib/Pinchot/Internal.hs:480:48: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (appT ... (conT typeName))] lib/Pinchot/Internal.hs:486:33: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:486:59: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘newtypeCon’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] lib/Pinchot/Internal.hs:486:70: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] lib/Pinchot/Internal.hs:492:29: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:492:55: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘newtypeCon’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] lib/Pinchot/Internal.hs:492:66: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (appT ... (conT (mkName inner)))] lib/Pinchot/Internal.hs:498:30: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (TH.tupleT 2 `appT` (conT (mkName inner)) `appT` (... `appT` (conT (mkName inner))))] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:498:56: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘cons’ In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (TH.tupleT 2 `appT` (conT (mkName inner)) `appT` (... `appT` (conT (mkName inner))))] lib/Pinchot/Internal.hs:498:61: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] cons derives In a case alternative: RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [strictType notStrict (TH.tupleT 2 `appT` (conT (mkName inner)) `appT` (... `appT` (conT (mkName inner))))] lib/Pinchot/Internal.hs:504:29: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘newtypeD’ is applied to too few arguments In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT (mkName inner))] In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:504:55: error: • Couldn't match type ‘Q Syntax.Con’ with ‘Maybe Syntax.Kind’ Expected type: Maybe Syntax.Kind Actual type: ConQ • In the fourth argument of ‘newtypeD’, namely ‘newtypeCon’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT (mkName inner))] lib/Pinchot/Internal.hs:504:66: error: • Couldn't match type ‘[Name]’ with ‘Q Syntax.Con’ Expected type: ConQ Actual type: [Name] • In the fifth argument of ‘newtypeD’, namely ‘derives’ In the expression: newtypeD (cxt []) name [] newtypeCon derives In a case alternative: RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [strictType notStrict (conT (mkName inner))] lib/Pinchot/Internal.hs:509:17: error: • Couldn't match expected type ‘Q Syntax.Dec’ with actual type ‘TH.CxtQ -> TH.DecQ’ • Probable cause: ‘dataD’ is applied to too few arguments In the expression: dataD (cxt []) name [] [ctor] derives In a case alternative: RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = '_' : fieldName num nm rn In the expression: case ruleType of { RTerminal _ -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RBranch (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thBranch b1 : toList (fmap thBranch bs) RUnion (b1, bs) -> dataD (cxt []) name [] cons derives where cons = thUnionBranch nm b1 : toList (fmap (thUnionBranch nm) bs) RSeqTerm _ -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] ROptional (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RList1 (Rule inner _ _) -> newtypeD (cxt []) name [] cons derives where cons = normalC name [...] RWrap (Rule inner _ _) -> newtypeD (cxt []) name [] newtypeCon derives where newtypeCon = normalC name [...] RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = ... } lib/Pinchot/Internal.hs:509:40: error: • Couldn't match expected type ‘Maybe Syntax.Kind’ with actual type ‘[ConQ]’ • In the fourth argument of ‘dataD’, namely ‘[ctor]’ In the expression: dataD (cxt []) name [] [ctor] derives In a case alternative: RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = '_' : fieldName num nm rn lib/Pinchot/Internal.hs:509:47: error: • Couldn't match type ‘Name’ with ‘Q Syntax.Con’ Expected type: [ConQ] Actual type: [Name] • In the fifth argument of ‘dataD’, namely ‘derives’ In the expression: dataD (cxt []) name [] [ctor] derives In a case alternative: RRecord sq -> dataD (cxt []) name [] [ctor] derives where ctor = recC name . zipWith mkField [(0 :: Int) .. ] . toList $ sq mkField num (Rule rn _ _) = varStrictType (mkName fldNm) (strictType notStrict (conT (mkName rn))) where fldNm = '_' : fieldName num nm rn lib/Pinchot/Internal.hs:555:30: error: • Couldn't match expected type ‘Syntax.Dec’ with actual type ‘[Syntax.Dec] -> Syntax.Dec’ • Probable cause: ‘Syntax.InstanceD’ is applied to too few arguments In the expression: Syntax.InstanceD [] typ decs In an equation for ‘makeWrapped’: makeWrapped wrappedType nm = Syntax.InstanceD [] typ decs where name = mkName nm local = mkName "_x" typ = (Syntax.ConT ''Lens.Wrapped) `Syntax.AppT` (Syntax.ConT name) decs = [assocType, ....] where assocType = Syntax.TySynInstD ... (Syntax.TySynEqn ... wrappedType) wrapper = Syntax.FunD ... ... where ... lib/Pinchot/Internal.hs:555:43: error: • Couldn't match expected type ‘Maybe Syntax.Overlap’ with actual type ‘[t0]’ • In the first argument of ‘Syntax.InstanceD’, namely ‘[]’ In the expression: Syntax.InstanceD [] typ decs In an equation for ‘makeWrapped’: makeWrapped wrappedType nm = Syntax.InstanceD [] typ decs where name = mkName nm local = mkName "_x" typ = (Syntax.ConT ''Lens.Wrapped) `Syntax.AppT` (Syntax.ConT name) decs = [assocType, ....] where assocType = Syntax.TySynInstD ... (Syntax.TySynEqn ... wrappedType) wrapper = Syntax.FunD ... ... where ... lib/Pinchot/Internal.hs:555:46: error: • Couldn't match type ‘Syntax.Type’ with ‘[Syntax.Pred]’ Expected type: Syntax.Cxt Actual type: Syntax.Type • In the second argument of ‘Syntax.InstanceD’, namely ‘typ’ In the expression: Syntax.InstanceD [] typ decs In an equation for ‘makeWrapped’: makeWrapped wrappedType nm = Syntax.InstanceD [] typ decs where name = mkName nm local = mkName "_x" typ = (Syntax.ConT ''Lens.Wrapped) `Syntax.AppT` (Syntax.ConT name) decs = [assocType, ....] where assocType = Syntax.TySynInstD ... (Syntax.TySynEqn ... wrappedType) wrapper = Syntax.FunD ... ... where ... lib/Pinchot/Internal.hs:555:50: error: • Couldn't match expected type ‘Syntax.Type’ with actual type ‘[Syntax.Dec]’ • In the third argument of ‘Syntax.InstanceD’, namely ‘decs’ In the expression: Syntax.InstanceD [] typ decs In an equation for ‘makeWrapped’: makeWrapped wrappedType nm = Syntax.InstanceD [] typ decs where name = mkName nm local = mkName "_x" typ = (Syntax.ConT ''Lens.Wrapped) `Syntax.AppT` (Syntax.ConT name) decs = [assocType, ....] where assocType = Syntax.TySynInstD ... (Syntax.TySynEqn ... wrappedType) wrapper = Syntax.FunD ... ... where ... cabal: Leaving directory '/tmp/cabal-tmp-14398/pinchot-0.8.0.0' cabal: Error: some packages failed to install: pinchot-0.8.0.0 failed during the building phase. The exception was: ExitFailure 1