Added type signature for loop in unescapeText
commitcaca25ec7cbc65a9f358cfec3b03e41eca66e885
authorJames Parker <dev@jamesparker.me>
dateFri 6 Oct 2017, 09:29 (9 years ago)
parent323012a
pure/Data/Aeson/Parser/UnescapePure.hs+1
@@ -170,6 +170,7 @@ unescapeText' bs = runText $ \done -> do
170170 (st', p) ->
171171 return (pos, StateUtf st' p)
172172
173+ loop :: A.MArray s -> (Int, State) -> Int -> ST s (Int, State)
173174 loop _ ps i | i >= len = return ps
174175 loop dest ps i = do
175176 let c = B.index bs i -- JP: We can use unsafe index once we prove bounds with Liquid Haskell.