Resolving dependencies...
Starting     th-abstraction-0.5.0.0
Starting     some-1.0.5
Building     some-1.0.5
Building     th-abstraction-0.5.0.0
Completed    some-1.0.5
Completed    th-abstraction-0.5.0.0
Starting     dependent-sum-template-0.1.2.0
Building     dependent-sum-template-0.1.2.0
Failed to install dependent-sum-template-0.1.2.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/dependent-sum-template-0.1.2.0-I6009nV2S8hJth6DS6WHnR.log ):
cabal: Entering directory '/tmp/cabal-tmp-1071810/dependent-sum-template-0.1.2.0'
Configuring dependent-sum-template-0.1.2.0...
Preprocessing library for dependent-sum-template-0.1.2.0..
Building library for dependent-sum-template-0.1.2.0..
[1 of 4] Compiling Data.Dependent.Sum.TH.Internal ( src/Data/Dependent/Sum/TH/Internal.hs, dist/build/Data/Dependent/Sum/TH/Internal.o, dist/build/Data/Dependent/Sum/TH/Internal.dyn_o )
[2 of 4] Compiling Data.GADT.Compare.Monad ( src/Data/GADT/Compare/Monad.hs, dist/build/Data/GADT/Compare/Monad.o, dist/build/Data/GADT/Compare/Monad.dyn_o )
[3 of 4] Compiling Data.GADT.Compare.TH ( src/Data/GADT/Compare/TH.hs, dist/build/Data/GADT/Compare/TH.o, dist/build/Data/GADT/Compare/TH.dyn_o )

src/Data/GADT/Compare/TH.hs:89:7: error:
    " Couldn't match expected type Pat
                  with actual type [Pat] -> Pat
    " Probable cause: ConP is applied to too few arguments
      In the expression: ConP conName (map VarP lArgNames)
      In the first argument of Clause, namely
        [ConP conName (map VarP lArgNames),
          ConP conName (map VarP rArgNames)]
      In the second argument of ($), namely
        Clause
           [ConP conName (map VarP lArgNames),
            ConP conName (map VarP rArgNames)]
           (NormalB (doUnqualifiedE (stmts ++ [ret]))) []
   |
89 |     [ ConP conName (map VarP lArgNames)
   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Data/GADT/Compare/TH.hs:89:25: error:
    " Couldn't match type Pat with Type
      Expected: Name -> Type
        Actual: Name -> Pat
    " In the first argument of map, namely VarP
      In the second argument of ConP, namely (map VarP lArgNames)
      In the expression: ConP conName (map VarP lArgNames)
   |
89 |     [ ConP conName (map VarP lArgNames)
   |                         ^^^^

src/Data/GADT/Compare/TH.hs:90:7: error:
    " Couldn't match expected type Pat
                  with actual type [Pat] -> Pat
    " Probable cause: ConP is applied to too few arguments
      In the expression: ConP conName (map VarP rArgNames)
      In the first argument of Clause, namely
        [ConP conName (map VarP lArgNames),
          ConP conName (map VarP rArgNames)]
      In the second argument of ($), namely
        Clause
           [ConP conName (map VarP lArgNames),
            ConP conName (map VarP rArgNames)]
           (NormalB (doUnqualifiedE (stmts ++ [ret]))) []
   |
90 |     , ConP conName (map VarP rArgNames) ]
   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Data/GADT/Compare/TH.hs:90:25: error:
    " Couldn't match type Pat with Type
      Expected: Name -> Type
        Actual: Name -> Pat
    " In the first argument of map, namely VarP
      In the second argument of ConP, namely (map VarP rArgNames)
      In the expression: ConP conName (map VarP rArgNames)
   |
90 |     , ConP conName (map VarP rArgNames) ]
   |                         ^^^^

src/Data/GADT/Compare/TH.hs:154:11: error:
    " Couldn't match expected type Pat
                  with actual type [Pat] -> Pat
    " Probable cause: ConP is applied to too few arguments
      In the expression: ConP conName (map VarP lArgNames)
      In the first argument of Clause, namely
        [ConP conName (map VarP lArgNames),
          ConP conName (map VarP rArgNames)]
      In the expression:
        Clause
          [ConP conName (map VarP lArgNames),
           ConP conName (map VarP rArgNames)]
          (NormalB
             (AppE (VarE 'runGComparing) (doUnqualifiedE (stmts ++ [ret]))))
          []
    |
154 |         [ ConP conName (map VarP lArgNames)
    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Data/GADT/Compare/TH.hs:154:29: error:
    " Couldn't match type Pat with Type
      Expected: Name -> Type
        Actual: Name -> Pat
    " In the first argument of map, namely VarP
      In the second argument of ConP, namely (map VarP lArgNames)
      In the expression: ConP conName (map VarP lArgNames)
    |
154 |         [ ConP conName (map VarP lArgNames)
    |                             ^^^^

src/Data/GADT/Compare/TH.hs:155:11: error:
    " Couldn't match expected type Pat
                  with actual type [Pat] -> Pat
    " Probable cause: ConP is applied to too few arguments
      In the expression: ConP conName (map VarP rArgNames)
      In the first argument of Clause, namely
        [ConP conName (map VarP lArgNames),
          ConP conName (map VarP rArgNames)]
      In the expression:
        Clause
          [ConP conName (map VarP lArgNames),
           ConP conName (map VarP rArgNames)]
          (NormalB
             (AppE (VarE 'runGComparing) (doUnqualifiedE (stmts ++ [ret]))))
          []
    |
155 |         , ConP conName (map VarP rArgNames) ]
    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Data/GADT/Compare/TH.hs:155:29: error:
    " Couldn't match type Pat with Type
      Expected: Name -> Type
        Actual: Name -> Pat
    " In the first argument of map, namely VarP
      In the second argument of ConP, namely (map VarP rArgNames)
      In the expression: ConP conName (map VarP rArgNames)
    |
155 |         , ConP conName (map VarP rArgNames) ]
    |                             ^^^^
cabal: Leaving directory '/tmp/cabal-tmp-1071810/dependent-sum-template-0.1.2.0'
Error: cabal: Some packages failed to install:
dependent-sum-template-0.1.2.0-I6009nV2S8hJth6DS6WHnR failed during the
building phase. The exception was:
ExitFailure 1