liquidhaskell-boot build error (WithUserRdr)

Vladislav Zavialov
2025-04-11T16:29:27Z

Occurred in https://gitlab.haskell.org/ghc/head.hackage/-/jobs/2165747

Errors seem to be caused by https://gitlab.haskell.org/ghc/ghc/-/commit/ecfec4df3521c02cc881f41d7418430b15077b8f, cc @sheaf

```
src/Language/Haskell/Liquid/GHC/Misc.hs:1015:24: error: [GHC-83865]
• Couldn't match type ‘GHC.Types.Name.Reader.WithUserRdr Name’
with ‘Name’
Expected: Language.Haskell.Syntax.Extension.XRec
GhcRn (Language.Haskell.Syntax.Extension.IdOccP GhcRn)
Actual: GenLocated GHC.Parser.Annotation.SrcSpanAnnN Name
• In the first argument of ‘nameToTy’, namely ‘aName’
In the expression: nameToTy aName
In an equation for ‘aTy’: aTy = nameToTy aName
|
1015 | let aTy = nameToTy aName
| ^^^^^
```
```
src/Language/Haskell/Liquid/GHC/Misc.hs:1025:43: error: [GHC-18872]
• Couldn't match type ‘GHC.Types.Name.Reader.WithUserRdr Name’
with ‘Name’
arising from a use of ‘intTy'’
• In the second argument of ‘mkHsFunTy’, namely ‘intTy'’
In the second argument of ‘($)’, namely
‘mkHsFunTy (listTy aTy) intTy'’
In the second argument of ‘($)’, namely
‘HsForAllTy
Ghc.noExtField
(mkHsForAllInvisTele
Ghc.noAnn
[toLoc
$ Ghc.HsTvb
Ghc.noAnn Ghc.SpecifiedSpec (Ghc.HsBndrVar Ghc.noExtField aName)
(Ghc.HsBndrNoKind Ghc.noExtField)])
$ mkHsFunTy (listTy aTy) intTy'’
|
1025 | ) $ mkHsFunTy (listTy aTy) intTy'
| ^^^^^^
```