Resolving dependencies... Configuring base-orphans-0.5.4... Configuring dlist-0.8.0.2... Building base-orphans-0.5.4... Building dlist-0.8.0.2... 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 prelude-extras-0.4.0.3... Installed fmlist-0.9 Building prelude-extras-0.4.0.3... Configuring parallel-3.2.1.0... Installed mtl-2.2.1 Configuring reflection-2.1.2... Installed prelude-extras-0.4.0.3 Building parallel-3.2.1.0... Building reflection-2.1.2... Configuring semigroups-0.18.2... Installed parallel-3.2.1.0 Building semigroups-0.18.2... Configuring primitive-0.6.1.0... Installed semigroups-0.18.2 Building primitive-0.6.1.0... Configuring stm-2.4.4.1... Installed reflection-2.1.2 Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed stm-2.4.4.1 Configuring utf8-string-1.0.1.1... Installed primitive-0.6.1.0 Building transformers-compat-0.5.1.4... Building utf8-string-1.0.1.1... Configuring text-1.2.2.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Installed utf8-string-1.0.1.1 Configuring StateVar-1.1.0.4... Building StateVar-1.1.0.4... Configuring vector-0.11.0.0... Installed StateVar-1.1.0.4 Building vector-0.11.0.0... Configuring exceptions-0.8.3... Installed text-1.2.2.1 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Building tagged-0.8.5... Installed tagged-0.8.5 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Configuring distributive-0.5.0.2... Installed hashable-1.2.4.0 Installed vector-0.11.0.0 Configuring unordered-containers-0.2.7.1... Building unordered-containers-0.2.7.1... Building distributive-0.5.0.2... Installed distributive-0.5.0.2 Configuring void-0.7.1... Building void-0.7.1... Configuring ListLike-4.5... Installed void-0.7.1 Building ListLike-4.5... Configuring contravariant-1.4... Installed unordered-containers-0.2.7.1 Building contravariant-1.4... Installed contravariant-1.4 Configuring comonad-5... Installed ListLike-4.5 Configuring Earley-0.11.0.1... Building Earley-0.11.0.1... Building comonad-5... Installed Earley-0.11.0.1 Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed bifunctors-5.4.1 Configuring profunctors-5.2... Configuring semigroupoids-5.1... 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.10.0.0... Building pinchot-0.10.0.0... Failed to install pinchot-0.10.0.0 Build log ( /home/builder/.cabal/logs/pinchot-0.10.0.0.log ): cabal: Entering directory '/tmp/cabal-tmp-12242/pinchot-0.10.0.0' Configuring pinchot-0.10.0.0... Building pinchot-0.10.0.0... Preprocessing library pinchot-0.10.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:474: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:474: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:474: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:479: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:479: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:479: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:483: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:483: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:483: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:487: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:487: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:487: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:493: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:493: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:493: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:499: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:499: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:499: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:505: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:505: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:505: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:511: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:511: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:511: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:516: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:516: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:516: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:562: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:562: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:562: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:562: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-12242/pinchot-0.10.0.0' cabal: Error: some packages failed to install: pinchot-0.10.0.0 failed during the building phase. The exception was: ExitFailure 1