@@ -119,8 +119,6 @@ decode UtfTail1 point word = case word of
119119 w | 0x80 <= w && w <= 0xbf -> (UtfGround, setByte1 point word)
120120 _ -> throwDecodeError
121121
122−{-# INLINE decode #-}
123−
124122decodeHex :: Word8 -> Word16
125123decodeHex 48 = 0 -- '0'
126124decodeHex 49 = 1 -- '1'
@@ -145,12 +143,12 @@ decodeHex 101 = 14 -- 'e'
145143decodeHex 70 = 15 -- 'F'
146144decodeHex 102 = 15 -- 'f'
147145decodeHex _ = throwDecodeError
148−{-# INLINE decodeHex #-}
149146
150147unescapeText' :: ByteString -> Text
151148unescapeText' bs = runText $ \done -> do
152149 dest <- A.new len
153− (pos, finalState) <- B.foldl' (f' dest) (return (0, StateNone)) bs
150+
151+ (pos, finalState) <- loop dest (0, StateNone) 0
154152
155153 -- Check final state. Currently pos gets only increased over time, so this check should catch overflows.
156154 when ( finalState /= StateNone || pos > len)
@@ -172,11 +170,12 @@ unescapeText' bs = runText $ \done -> do
172170 (st', p) ->
173171 return (pos, StateUtf st' p)
174172
175− {-# INLINE runUtf #-}
176−
177− f' dest m c = m >>= \s -> f dest s c
178−
179− {-# INLINE f' #-}
173+ loop :: A.MArray s -> (Int, State) -> Int -> ST s (Int, State)
174+ loop _ ps i | i >= len = return ps
175+ loop dest ps i = do
176+ let c = B.index bs i -- JP: We can use unsafe index once we prove bounds with Liquid Haskell.
177+ ps' <- f dest ps c
178+ loop dest ps' $ i+1
180179
181180 -- No pending state.
182181 f dest (pos, StateNone) c = runUtf dest pos UtfGround 0 c
@@ -253,8 +252,6 @@ unescapeText' bs = runText $ \done -> do
253252 else
254253 writeAndReturn dest pos u StateNone
255254
256− {-# INLINE f #-}
257−
258255write :: A.MArray s -> Int -> Word16 -> ST s ()
259256write dest pos char =
260257 A.unsafeWrite dest pos char
@@ -270,8 +267,6 @@ throwDecodeError :: a
270267throwDecodeError =
271268 let desc = "Data.Text.Internal.Encoding.decodeUtf8: Invalid UTF-8 stream" in
272269 throw (DecodeError desc Nothing)
273−{-# INLINE throwDecodeError #-}
274270
275271unescapeText :: ByteString -> Either UnicodeException Text
276272unescapeText = unsafeDupablePerformIO . try . evaluate . unescapeText'
277−{-# INLINE unescapeText #-}