hub.darcs.net :: shelarcy -> regex-tdfa -> issue

Federico Rampazzo

With ghc 7.10 regex-tdfa doesn't build, because of https://ghc.haskell.org/trac/ghc/ticket/8883

{-# LANGUAGE FlexibleContexts #-}

should be enough

Complete error message:

Text/Regex/TDFA/Text/Lazy.hs:77:9:
  Non type-variable argument
    in the constraint: Data.Array.Base.IArray a (Int, Int)
  (Use FlexibleContexts to permit this)
  When checking that ‘go’ has the inferred type
    go :: forall t (a :: * -> * -> *) i.
          (Functor (a i), Num i, GHC.Arr.Ix i,
            Data.Array.Base.IArray a (Int, Int), Extract t) =>
          Int -> t -> [a i (Int, Int)] -> [a i (t, (Int, Int))]
  In the expression:
    let
      go i _ _ | i `seq` False = undefined
      go _i _t [] = []
      go i t (x : xs)
        = let ... in fmap trans x : seq t' (go (off0 + len0) t' xs)
    in go 0 source (matchAll regex source)
  In an equation for ‘matchAllText’:
      matchAllText regex source
        = let
            go i _ _ | i `seq` False = undefined
            go _i _t [] = ...
            go i t (x : xs) = ...
          in go 0 source (matchAll regex source)

Thanks