Skip to content

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