Packages failing to build against template-haskell-2.16.0.0

[RyanGlScott]

The following packages currently fail to build with template-haskell-2.16.0.0 (bundled with GHC 8.10.1) due to a lack of upper version bounds on template-haskell:

• data-dword-0.3.1.3:

  ``` [2 of 3] Compiling Data.DoubleWord.TH ( src/Data/DoubleWord/TH.hs, dist/build/Data/DoubleWord/TH.o, dist/build/Data/DoubleWord/TH.dyn_o ) src/Data/DoubleWord/TH.hs:554:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [q] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]])’ | 554 | (TupE [ appVN 'signedWord [q] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:555:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV 'signedWord [appVN 'negate [r]] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]])’ | 555 | , appV 'signedWord [appVN 'negate [r]] ])) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:560:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV 'signedWord [appVN 'negate [q]] In the first argument of ‘TupE’, namely ‘[appV 'signedWord [appVN 'negate [...]], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appV 'signedWord [appVN 'negate [...]], appV 'signedWord [appVN 'negate [...]]])’ | 560 | (TupE [ appV 'signedWord [appVN 'negate [q]] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:561:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV 'signedWord [appVN 'negate [r]] In the first argument of ‘TupE’, namely ‘[appV 'signedWord [appVN 'negate [...]], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appV 'signedWord [appVN 'negate [...]], appV 'signedWord [appVN 'negate [...]]])’ | 561 | , appV 'signedWord [appVN 'negate [r]] ]))) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:567:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV 'signedWord [appVN 'negate [q]] In the first argument of ‘TupE’, namely ‘[appV 'signedWord [appVN 'negate [...]], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appV 'signedWord [appVN 'negate [...]], appVN 'signedWord [r]])’ | 567 | (TupE [ appV 'signedWord [appVN 'negate [q]] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:568:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [r] In the first argument of ‘TupE’, namely ‘[appV 'signedWord [appVN 'negate [...]], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appV 'signedWord [appVN 'negate [...]], appVN 'signedWord [r]])’ | 568 | , appVN 'signedWord [r] ])) | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:573:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [q] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appVN 'signedWord [r]])’ | 573 | (TupE [ appVN 'signedWord [q] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:574:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [r] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appVN 'signedWord [r]])’ | 574 | , appVN 'signedWord [r] ]))) | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:581:50: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[zeroE, VarE x]’ In the second argument of ‘match’, namely ‘(TupE [zeroE, VarE x])’ | 581 | [ match (ConP 'LT []) (TupE [zeroE, VarE x]) | ^^^^^ src/Data/DoubleWord/TH.hs:581:57: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE x In the first argument of ‘TupE’, namely ‘[zeroE, VarE x]’ In the second argument of ‘match’, namely ‘(TupE [zeroE, VarE x])’ | 581 | [ match (ConP 'LT []) (TupE [zeroE, VarE x]) | ^^^^^^ src/Data/DoubleWord/TH.hs:584:57: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[zeroE, VarE x]’ In the second argument of ‘match’, namely ‘(TupE [zeroE, VarE x])’ | 584 | [ match (ConP 'LT []) (TupE [zeroE, VarE x]) | ^^^^^ src/Data/DoubleWord/TH.hs:584:64: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE x In the first argument of ‘TupE’, namely ‘[zeroE, VarE x]’ In the second argument of ‘match’, namely ‘(TupE [zeroE, VarE x])’ | 584 | [ match (ConP 'LT []) (TupE [zeroE, VarE x]) | ^^^^^^ src/Data/DoubleWord/TH.hs:585:57: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: oneE In the first argument of ‘TupE’, namely ‘[oneE, zeroE]’ In the second argument of ‘match’, namely ‘(TupE [oneE, zeroE])’ | 585 | , match (ConP 'EQ []) (TupE [oneE, zeroE]) | ^^^^ src/Data/DoubleWord/TH.hs:585:63: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[oneE, zeroE]’ In the second argument of ‘match’, namely ‘(TupE [oneE, zeroE])’ | 585 | , match (ConP 'EQ []) (TupE [oneE, zeroE]) | ^^^^^ src/Data/DoubleWord/TH.hs:589:44: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, t2] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, t2], appWN ['allZeroes, t1]]’ In the expression: TupE [appWN ['allZeroes, t2], appWN ['allZeroes, t1]] | 589 | , TupE [ appWN ['allZeroes, t2] | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:590:44: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, t1] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, t2], appWN ['allZeroes, t1]]’ In the expression: TupE [appWN ['allZeroes, t2], appWN ['allZeroes, t1]] | 590 | , appWN ['allZeroes, t1] ])) | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:593:39: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: oneE In the first argument of ‘TupE’, namely ‘[oneE, appW [zeroE, appVN '(-) [...]]]’ In the second argument of ‘($)’, namely ‘TupE [oneE, appW [zeroE, appVN '(-) [...]]]’ | 593 | TupE [ oneE | ^^^^ src/Data/DoubleWord/TH.hs:594:39: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [zeroE, appVN '(-) [lo, lo']] In the first argument of ‘TupE’, namely ‘[oneE, appW [zeroE, appVN '(-) [...]]]’ In the second argument of ‘($)’, namely ‘TupE [oneE, appW [zeroE, appVN '(-) [...]]]’ | 594 | , appW [zeroE, appVN '(-) [lo, lo']] ] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:600:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [zeroE, appVN 'fromIntegral [t2]] In the first argument of ‘TupE’, namely ‘[appW [zeroE, appVN 'fromIntegral [...]], appW [appVN 'fromIntegral [...], VarE lo]]’ In the expression: TupE [appW [zeroE, appVN 'fromIntegral [...]], appW [appVN 'fromIntegral [...], VarE lo]] | 600 | [ appW [zeroE, appVN 'fromIntegral [t2]] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:601:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [appVN 'fromIntegral [t1], VarE lo] In the first argument of ‘TupE’, namely ‘[appW [zeroE, appVN 'fromIntegral [...]], appW [appVN 'fromIntegral [...], VarE lo]]’ In the expression: TupE [appW [zeroE, appVN 'fromIntegral [...]], appW [appVN 'fromIntegral [...], VarE lo]] | 601 | , appW [appVN 'fromIntegral [t1], VarE lo] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:612:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appWN ['allZeroes, z], oneE] In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], oneE], zeroE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], oneE], zeroE])’ | 612 | [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:615:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], oneE], zeroE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], oneE], zeroE])’ | 615 | , zeroE ]) | ^^^^^ src/Data/DoubleWord/TH.hs:617:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, z] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, z], appWN ['allZeroes, t1]]’ In the third argument of ‘CondE’, namely ‘(TupE [appWN ['allZeroes, z], appWN ['allZeroes, t1]])’ | 617 | [ appWN ['allZeroes, z] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:618:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, t1] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, z], appWN ['allZeroes, t1]]’ In the third argument of ‘CondE’, namely ‘(TupE [appWN ['allZeroes, z], appWN ['allZeroes, t1]])’ | 618 | , appWN ['allZeroes, t1] ])) | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:621:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appWN ['allZeroes, z], litI 2] In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], litI 2], oneE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], litI 2], oneE])’ | 621 | [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:623:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: oneE In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], litI 2], oneE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], litI 2], oneE])’ | 623 | , oneE ]) | ^^^^ src/Data/DoubleWord/TH.hs:630:43: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appWN ['allZeroes, z], litI 2] In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], litI 2], zeroE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], litI 2], zeroE])’ | 630 | [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:632:43: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], litI 2], zeroE]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], litI 2], zeroE])’ | 632 | , zeroE ]) | ^^^^^ src/Data/DoubleWord/TH.hs:634:43: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appWN ['allZeroes, z], oneE] In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], oneE], appW [zeroE, appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], oneE], appW [zeroE, appVN '(+) [...]]])’ | 634 | [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:636:43: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [zeroE, appVN '(+) [t1, 'lsb]] In the first argument of ‘TupE’, namely ‘[appV '(+) [appWN [...], oneE], appW [zeroE, appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appV '(+) [appWN [...], oneE], appW [zeroE, appVN '(+) [...]]])’ | 636 | , appW [ zeroE | ^^^^^^^^^^^^... src/Data/DoubleWord/TH.hs:645:36: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t2 In the first argument of ‘TupE’, namely ‘[VarE t2, appWN ['allZeroes, t1]]’ In the expression: TupE [VarE t2, appWN ['allZeroes, t1]] | 645 | , TupE [VarE t2, appWN ['allZeroes, t1]] )) | ^^^^^^^ src/Data/DoubleWord/TH.hs:645:45: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, t1] In the first argument of ‘TupE’, namely ‘[VarE t2, appWN ['allZeroes, t1]]’ In the expression: TupE [VarE t2, appWN ['allZeroes, t1]] | 645 | , TupE [VarE t2, appWN ['allZeroes, t1]] )) | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:649:39: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: oneE In the first argument of ‘TupE’, namely ‘[oneE, appVN '(-) [x, y]]’ In the second argument of ‘CondE’, namely ‘(TupE [oneE, appVN '(-) [x, y]])’ | 649 | (TupE [oneE, appVN '(-) [x, y]]) | ^^^^ src/Data/DoubleWord/TH.hs:649:45: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [x, y] In the first argument of ‘TupE’, namely ‘[oneE, appVN '(-) [x, y]]’ In the second argument of ‘CondE’, namely ‘(TupE [oneE, appVN '(-) [x, y]])’ | 649 | (TupE [oneE, appVN '(-) [x, y]]) | ^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:650:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [zeroE, appVN 'fromIntegral [q2]] In the first argument of ‘TupE’, namely ‘[appW [zeroE, appVN 'fromIntegral [...]], appVN 'shiftR [r2, t2]]’ In the third argument of ‘CondE’, namely ‘(TupE [appW [zeroE, appVN 'fromIntegral [...]], appVN 'shiftR [r2, t2]])’ | 650 | (TupE [ appW [zeroE, appVN 'fromIntegral [q2]] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:651:40: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'shiftR [r2, t2] In the first argument of ‘TupE’, namely ‘[appW [zeroE, appVN 'fromIntegral [...]], appVN 'shiftR [r2, t2]]’ In the third argument of ‘CondE’, namely ‘(TupE [appW [zeroE, appVN 'fromIntegral [...]], appVN 'shiftR [r2, t2]])’ | 651 | , appVN 'shiftR [r2, t2] ])) | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:676:45: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [q1, 'lsb] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(-) [t7, t5]]’ In the second argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(-) [t7, t5]])’ | 676 | (TupE [ appVN '(-) [q1, 'lsb] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:677:45: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [t7, t5] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(-) [t7, t5]]’ In the second argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(-) [t7, t5]])’ | 677 | , appVN '(-) [t7, t5] ]) | ^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:680:48: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(-) [VarE q1, litI 2] In the first argument of ‘TupE’, namely ‘[appV '(-) [VarE q1, litI 2], appVN '(-) [t9, t5]]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(-) [VarE q1, litI 2], appVN '(-) [t9, t5]])’ | 680 | (TupE [ appV '(-) [VarE q1, litI 2] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:681:48: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [t9, t5] In the first argument of ‘TupE’, namely ‘[appV '(-) [VarE q1, litI 2], appVN '(-) [t9, t5]]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(-) [VarE q1, litI 2], appVN '(-) [t9, t5]])’ | 681 | , appVN '(-) [t9, t5] ]) | ^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:682:48: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(-) [VarE q1, litI 2] In the first argument of ‘TupE’, namely ‘[appV '(-) [VarE q1, litI 2], appV '(+) [appVN '(-) [...], appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appV '(-) [VarE q1, litI 2], appV '(+) [appVN '(-) [...], appVN '(+) [...]]])’ | 682 | (TupE [ appV '(-) [VarE q1, litI 2] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:683:48: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appVN '(-) ['maxBound, t5], appVN '(+) [t9, 'lsb]] In the first argument of ‘TupE’, namely ‘[appV '(-) [VarE q1, litI 2], appV '(+) [appVN '(-) [...], appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appV '(-) [VarE q1, litI 2], appV '(+) [appVN '(-) [...], appVN '(+) [...]]])’ | 683 | , appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:688:42: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [q1, 'lsb] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appV '(+) [appVN '(-) [...], appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appV '(+) [appVN '(-) [...], appVN '(+) [...]]])’ | 688 | (TupE [ appVN '(-) [q1, 'lsb] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:689:42: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [appVN '(-) ['maxBound, t5], appVN '(+) [t7, 'lsb]] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appV '(+) [appVN '(-) [...], appVN '(+) [...]]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appV '(+) [appVN '(-) [...], appVN '(+) [...]]])’ | 689 | , appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:693:38: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE q1 In the first argument of ‘TupE’, namely ‘[VarE q1, appVN '(-) [t6, t5]]’ In the third argument of ‘CondE’, namely ‘(TupE [VarE q1, appVN '(-) [t6, t5]])’ | 693 | (TupE [VarE q1, appVN '(-) [t6, t5]]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:693:47: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [t6, t5] In the first argument of ‘TupE’, namely ‘[VarE q1, appVN '(-) [t6, t5]]’ In the third argument of ‘CondE’, namely ‘(TupE [VarE q1, appVN '(-) [t6, t5]])’ | 693 | (TupE [VarE q1, appVN '(-) [t6, t5]]) | ^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:704:41: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [VarE c, appV '(+) [appW [...], appWN [...]]] In the first argument of ‘TupE’, namely ‘[appV '(+) [VarE c, appV '(+) [...]], VarE t9]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [VarE c, appV '(+) [...]], VarE t9])’ | 704 | (TupE [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:711:41: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t9 In the first argument of ‘TupE’, namely ‘[appV '(+) [VarE c, appV '(+) [...]], VarE t9]’ In the second argument of ‘CondE’, namely ‘(TupE [appV '(+) [VarE c, appV '(+) [...]], VarE t9])’ | 711 | , VarE t9 ]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:734:47: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[zeroE, zeroE]’ In the expression: TupE [zeroE, zeroE] | 734 | , TupE [zeroE, zeroE]])) | ^^^^^ src/Data/DoubleWord/TH.hs:734:54: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[zeroE, zeroE]’ In the expression: TupE [zeroE, zeroE] | 734 | , TupE [zeroE, zeroE]])) | ^^^^^ src/Data/DoubleWord/TH.hs:740:41: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV addT [VarE c, appV addT [TupE [...], TupE [...]]] In the first argument of ‘TupE’, namely ‘[appV addT [VarE c, appV addT [...]], VarE t9]’ In the second argument of ‘CondE’, namely ‘(TupE [appV addT [VarE c, appV addT [...]], VarE t9])’ | 740 | (TupE [ appV addT | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:743:55: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t8 In the first argument of ‘TupE’, namely ‘[VarE t8, VarE t7]’ In the expression: TupE [VarE t8, VarE t7] | 743 | [ TupE [VarE t8 , VarE t7] | ^^^^^^^ src/Data/DoubleWord/TH.hs:743:65: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t7 In the first argument of ‘TupE’, namely ‘[VarE t8, VarE t7]’ In the expression: TupE [VarE t8, VarE t7] | 743 | [ TupE [VarE t8 , VarE t7] | ^^^^^^^ src/Data/DoubleWord/TH.hs:744:55: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: zeroE In the first argument of ‘TupE’, namely ‘[zeroE, VarE t10]’ In the expression: TupE [zeroE, VarE t10] | 744 | , TupE [zeroE, VarE t10] ] | ^^^^^ src/Data/DoubleWord/TH.hs:744:62: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t10 In the first argument of ‘TupE’, namely ‘[zeroE, VarE t10]’ In the expression: TupE [zeroE, VarE t10] | 744 | , TupE [zeroE, VarE t10] ] | ^^^^^^^^ src/Data/DoubleWord/TH.hs:746:41: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t9 In the first argument of ‘TupE’, namely ‘[appV addT [VarE c, appV addT [...]], VarE t9]’ In the second argument of ‘CondE’, namely ‘(TupE [appV addT [VarE c, appV addT [...]], VarE t9])’ | 746 | , VarE t9 ]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:752:48: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t8 In the first argument of ‘TupE’, namely ‘[VarE t8, VarE t7]’ In the expression: TupE [VarE t8, VarE t7] | 752 | , TupE [VarE t8, VarE t7] | ^^^^^^^ src/Data/DoubleWord/TH.hs:752:57: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t7 In the first argument of ‘TupE’, namely ‘[VarE t8, VarE t7]’ In the expression: TupE [VarE t8, VarE t7] | 752 | , TupE [VarE t8, VarE t7] | ^^^^^^^ src/Data/DoubleWord/TH.hs:766:44: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV '(+) [VarE t4, appVN '(+) [lhh, llh]] In the first argument of ‘TupE’, namely ‘[appV '(+) [VarE t4, appVN '(+) [...]], VarE t3]’ In the first argument of ‘NormalB’, namely ‘(TupE [appV '(+) [VarE t4, appVN '(+) [...]], VarE t3])’ | 766 | (NormalB (TupE [ appV '(+) | ^^^^^^^^^... src/Data/DoubleWord/TH.hs:770:44: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t3 In the first argument of ‘TupE’, namely ‘[appV '(+) [VarE t4, appVN '(+) [...]], VarE t3]’ In the first argument of ‘NormalB’, namely ‘(TupE [appV '(+) [VarE t4, appVN '(+) [...]], VarE t3])’ | 770 | , VarE t3 | ^^^^^^^ src/Data/DoubleWord/TH.hs:816:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [q] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]])’ | 816 | (TupE [ appVN 'signedWord [q] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:817:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appV 'signedWord [appVN 'negate [r]] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appV 'signedWord [appVN 'negate [...]]])’ | 817 | , appV 'signedWord [appVN 'negate [r]] ])) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:826:33: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE q1 In the first argument of ‘TupE’, namely ‘[VarE q1, VarE r1]’ In the second argument of ‘CondE’, namely ‘(TupE [VarE q1, VarE r1])’ | 826 | (TupE [VarE q1, VarE r1]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:826:42: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE r1 In the first argument of ‘TupE’, namely ‘[VarE q1, VarE r1]’ In the second argument of ‘CondE’, namely ‘(TupE [VarE q1, VarE r1])’ | 826 | (TupE [VarE q1, VarE r1]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:827:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [q1, 'lsb] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]])’ | 827 | (TupE [ appVN '(-) [q1, 'lsb] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:828:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(+) [r1, y] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]])’ | 828 | , appVN '(+) [r1, y] ])))) | ^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:838:33: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE q1 In the first argument of ‘TupE’, namely ‘[VarE q1, VarE r1]’ In the second argument of ‘CondE’, namely ‘(TupE [VarE q1, VarE r1])’ | 838 | (TupE [VarE q1, VarE r1]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:838:42: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE r1 In the first argument of ‘TupE’, namely ‘[VarE q1, VarE r1]’ In the second argument of ‘CondE’, namely ‘(TupE [VarE q1, VarE r1])’ | 838 | (TupE [VarE q1, VarE r1]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:839:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(-) [q1, 'lsb] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]])’ | 839 | (TupE [ appVN '(-) [q1, 'lsb] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:840:34: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN '(+) [r1, y] In the first argument of ‘TupE’, namely ‘[appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]]’ In the third argument of ‘CondE’, namely ‘(TupE [appVN '(-) [q1, 'lsb], appVN '(+) [r1, y]])’ | 840 | , appVN '(+) [r1, y] ]))) | ^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:845:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [q] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appVN 'signedWord [r]])’ | 845 | (TupE [ appVN 'signedWord [q] | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:846:31: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'signedWord [r] In the first argument of ‘TupE’, namely ‘[appVN 'signedWord [q], appVN 'signedWord [r]]’ In the second argument of ‘LetE’, namely ‘(TupE [appVN 'signedWord [q], appVN 'signedWord [r]])’ | 846 | , appVN 'signedWord [r] ]))) | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:861:38: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appVN 'fromInteger [q] In the first argument of ‘TupE’, namely ‘[appVN 'fromInteger [q], VarE r]’ In the second argument of ‘LamE’, namely ‘(TupE [appVN 'fromInteger [q], VarE r])’ | 861 | (TupE [appVN 'fromInteger [q], VarE r]) | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:861:62: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE r In the first argument of ‘TupE’, namely ‘[appVN 'fromInteger [q], VarE r]’ In the second argument of ‘LamE’, namely ‘(TupE [appVN 'fromInteger [q], VarE r])’ | 861 | (TupE [appVN 'fromInteger [q], VarE r]) | ^^^^^^ src/Data/DoubleWord/TH.hs:1150:41: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE z In the first argument of ‘TupE’, namely ‘[VarE z, VarE t4]’ In the second argument of ‘funXY'’, namely ‘(TupE [VarE z, VarE t4])’ | 1150 | funXY' 'unwrappedAdd (TupE [VarE z, VarE t4]) | ^^^^^^ src/Data/DoubleWord/TH.hs:1150:49: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE t4 In the first argument of ‘TupE’, namely ‘[VarE z, VarE t4]’ In the second argument of ‘funXY'’, namely ‘(TupE [VarE z, VarE t4])’ | 1150 | funXY' 'unwrappedAdd (TupE [VarE z, VarE t4]) | ^^^^^^^ src/Data/DoubleWord/TH.hs:1163:22: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN ['allZeroes, z] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, z], appWN [y, x]]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [appWN ['allZeroes, z], appWN [y, x]])’ | 1163 | (TupE [appWN ['allZeroes, z], appWN [y, x]]) | ^^^^^^^^^^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:1163:45: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appWN [y, x] In the first argument of ‘TupE’, namely ‘[appWN ['allZeroes, z], appWN [y, x]]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [appWN ['allZeroes, z], appWN [y, x]])’ | 1163 | (TupE [appWN ['allZeroes, z], appWN [y, x]]) | ^^^^^^^^^^^^ src/Data/DoubleWord/TH.hs:1205:44: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE x In the first argument of ‘TupE’, namely ‘[VarE x, VarE y]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [VarE x, VarE y])’ | 1205 | funHiLo2' 'unwrappedMul (TupE [VarE x, VarE y]) | ^^^^^^ src/Data/DoubleWord/TH.hs:1205:52: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE y In the first argument of ‘TupE’, namely ‘[VarE x, VarE y]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [VarE x, VarE y])’ | 1205 | funHiLo2' 'unwrappedMul (TupE [VarE x, VarE y]) | ^^^^^^ src/Data/DoubleWord/TH.hs:1229:23: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [appV '(+) [VarE hhh, appV '(+) [...]], appV '(.|.) [appVN 'shiftL [...], appVN 'shiftR [...]]] In the first argument of ‘TupE’, namely ‘[appW [appV '(+) [...], appV '(.|.) [...]], appW [appVN 'fromIntegral [...], VarE lll]]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [appW [appV '(+) [...], appV '(.|.) [...]], appW [appVN 'fromIntegral [...], VarE lll]])’ | 1229 | (TupE [ appW | ^^^^... src/Data/DoubleWord/TH.hs:1239:23: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: appW [appVN 'fromIntegral [t3], VarE lll] In the first argument of ‘TupE’, namely ‘[appW [appV '(+) [...], appV '(.|.) [...]], appW [appVN 'fromIntegral [...], VarE lll]]’ In the second argument of ‘funHiLo2'’, namely ‘(TupE [appW [appV '(+) [...], appV '(.|.) [...]], appW [appVN 'fromIntegral [...], VarE lll]])’ | 1239 | , appW [appVN 'fromIntegral [t3], VarE lll] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ```

• language-haskell-extract-0.2.4:

  ``` [1 of 1] Compiling Language.Haskell.Extract ( src/Language/Haskell/Extract.hs, dist/build/Language/Haskell/Extract.o, dist/build/Language/Haskell/Extract.dyn_o ) src/Language/Haskell/Extract.hs:28:30: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: LitE $ StringL n In the first argument of ‘TupE’, namely ‘[LitE $ StringL n, VarE $ mkName n]’ In the expression: TupE [LitE $ StringL n, VarE $ mkName n] | 28 | let makePair n = TupE [ LitE $ StringL n , VarE $ mkName n] | ^^^^^^^^^^^^^^^^ src/Language/Haskell/Extract.hs:28:49: error: • Couldn't match expected type ‘Maybe Exp’ with actual type ‘Exp’ • In the expression: VarE $ mkName n In the first argument of ‘TupE’, namely ‘[LitE $ StringL n, VarE $ mkName n]’ In the expression: TupE [LitE $ StringL n, VarE $ mkName n] | 28 | let makePair n = TupE [ LitE $ StringL n , VarE $ mkName n] | ^^^^^^^^^^^^^^^ ```

• product-profunctors-0.10.0.0:

  ``` [ 7 of 12] Compiling Data.Profunctor.Product ( Data/Profunctor/Product.hs, dist/build/Data/Profunctor/Product.o, dist/build/Data/Profunctor/Product.dyn_o ) Data/Profunctor/Product.hs:199:1: error: • Occurs check: cannot construct the infinite type: a0 ~ Unit a0 Expected type: p a0 b0 -> p (Unit a0) (Unit b0) Actual type: T1 (p (Unit a0) (Unit b0)) -> p (T1 (Unit a0)) (T1 (Unit b0)) • In the expression: (((Data.Profunctor.Product.Tuples.TH.convert unflatten1) unflatten1) flatten1) pT1 In an equation for ‘p1’: p1 = (((Data.Profunctor.Product.Tuples.TH.convert unflatten1) unflatten1) flatten1) pT1 • Relevant bindings include p1 :: p a0 b0 -> p (Unit a0) (Unit b0) (bound at Data/Profunctor/Product.hs:199:1) | 199 | pNs [0..maxTupleSize] | ^^^^^^^^^^^^^^^^^^^^^ ```

  product-profunctors-0.10.0.0's inclusion is this list is debatable, since the reason it fails to build is not due to an API change in template-haskell per se, but rather a change in the semantics of TupT. I've decided to include it here anyway for completeness.

[phadej]

Looks like there's only

• https://github.com/finnsson/template-helper/issues/12

issue opened upstream

[RyanGlScott]

Oops, I forgot to check for upstream issues. To add another to the list, there's

• mvv/data-dword#5

which has been merged, but not yet released to Hackage.

[phadej]

Made revisions. product-produfunctors-0.10.0.0 also required an addition of other-extensions: LambdaCase to restrict install plans with older GHCs.

I'll close this. Please open new issues if there are more packages broken due missign th-2.16 bounds

[phadej]

I also made revisions to th-lift-instances-0.1.{11,12,13,14} which didn't had liftTyped defined. 0.1.15 should be fine: http://hdiff.luite.com/cgit/th-lift-instances/diff?id=0.1.15&id2=0.1.14