well-typed / generics-sop

Generic Programming using True Sums of Products
BSD 3-Clause "New" or "Revised" License
157 stars 48 forks source link

Broken on ghc 9.8 #172

Closed NorfairKing closed 1 year ago

NorfairKing commented 1 year ago
generics-sop> [12 of 14] Compiling Generics.SOP.TH  ( src/Generics/SOP/TH.hs, dist/build/Generics/SOP/TH.o, dist/build/Generics/SOP/TH.dyn_o )
generics-sop> src/Generics/SOP/TH.hs:136:26: error: [GHC-83865]
generics-sop>     • Couldn't match type ‘()’ with ‘BndrVis’
generics-sop>       Expected: [TyVarBndr BndrVis]
generics-sop>         Actual: [TyVarBndrUnit]
generics-sop>     • In the second argument of ‘tySynD’, namely ‘bndrs’
generics-sop>       In the expression: tySynD codeName' bndrs codeType
generics-sop>       In the first argument of ‘sequence’, namely
generics-sop>         ‘[tySynD codeName' bndrs codeType,
generics-sop>           sigD
generics-sop>             fromName'
generics-sop>             [t| $origType -> $repType |]
generics-sop>             pending(rn) [<spn, repType>, <spn, origType>],
generics-sop>           embedding fromName' cons,
generics-sop>           sigD
generics-sop>             toName'
generics-sop>             [t| $repType -> $origType |]
generics-sop>             pending(rn) [<spn, origType>, <spn, repType>],
generics-sop>           ....]’
generics-sop>     |
generics-sop> 136 |       [ tySynD codeName' bndrs codeType                 -- type TreeCode = '[ '[Int], '[Tree, Tree] ]

Expected according to https://hackage.haskell.org/package/th-abstraction-0.6.0.0/changelog