@@ -376,8 +376,9 @@ totoks pos t =
376 | d < '\128' ->
376 | d < '\128' ->
377 Tok pos Esc1 (T.pack ['^','^',d])
377 Tok pos Esc1 (T.pack ['^','^',d])
378 : totoks (incSourceColumn pos 3) rest''
378 : totoks (incSourceColumn pos 3) rest''
379− _ -> [Tok pos Symbol ("^"),
379+ _ -> Tok pos Symbol ("^") :
380− Tok (incSourceColumn pos 1) Symbol ("^")]
380+ Tok (incSourceColumn pos 1) Symbol ("^") :
381+ totoks (incSourceColumn pos 2) rest'
381 _ -> Tok pos Symbol ("^")
382 _ -> Tok pos Symbol ("^")
382 : totoks (incSourceColumn pos 1) rest
383 : totoks (incSourceColumn pos 1) rest
383 | otherwise ->
384 | otherwise ->