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

Federico Rampazzo

Error:

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)

Fix:

{-# LANGUAGE FlexibleContexts #-}

I've attached a quick dpatch