liquidhaskell-boot build failure
src/Language/Haskell/Liquid/Bare/Elaborate.hs:275:34: error: [GHC-83865]
• Couldn't match type: [GenLocated
GHC.Parser.Annotation.SrcSpanAnnA
(Language.Haskell.Syntax.Pat.Pat (GHC.Hs.Extension.GhcPass p0))]
with: GenLocated
GHC.Parser.Annotation.EpaLocation
[GenLocated
GHC.Parser.Annotation.SrcSpanAnnA
(Language.Haskell.Syntax.Pat.Pat
(GHC.Hs.Extension.GhcPass GHC.Hs.Extension.Parsed))]
Expected: GHC.Parser.Annotation.LocatedE
[Language.Haskell.Syntax.Pat.LPat
(GHC.Hs.Extension.GhcPass GHC.Hs.Extension.Parsed)]
Actual: [GenLocated
GHC.Parser.Annotation.SrcSpanAnnA
(Language.Haskell.Syntax.Pat.Pat (GHC.Hs.Extension.GhcPass p0))]
• In the first argument of ‘mkHsLam’, namely
‘[nlVarPat (varSymbolToRdrName bind)]’
In the expression: mkHsLam [nlVarPat (varSymbolToRdrName bind)] res
In a \case alternative:
RFunF bind _ (tin, _) (_, res) _
| isClassType tin -> res
| otherwise -> mkHsLam [nlVarPat (varSymbolToRdrName bind)] res
|
275 | | otherwise -> mkHsLam [nlVarPat (varSymbolToRdrName bind)] res
|
Seems like this was broken by ghc@118a1292
Edited by Ryan Scott