@@ -170,6 +170,7 @@ unescapeText' bs = runText $ \done -> do
170 (st', p) ->
170 (st', p) ->
171 return (pos, StateUtf st' p)
171 return (pos, StateUtf st' p)
173+ loop :: A.MArray s -> (Int, State) -> Int -> ST s (Int, State)
173 loop _ ps i | i >= len = return ps
174 loop _ ps i | i >= len = return ps
174 loop dest ps i = do
175 loop dest ps i = do
175 let c = B.index bs i -- JP: We can use unsafe index once we prove bounds with Liquid Haskell.
176 let c = B.index bs i -- JP: We can use unsafe index once we prove bounds with Liquid Haskell.