@@ -376,8 +376,9 @@ totoks pos t =
376376 | d < '\128' ->
377377 Tok pos Esc1 (T.pack ['^','^',d])
378378 : totoks (incSourceColumn pos 3) rest''
379− _ -> [Tok pos Symbol ("^"),
380− Tok (incSourceColumn pos 1) Symbol ("^")]
379+ _ -> Tok pos Symbol ("^") :
380+ Tok (incSourceColumn pos 1) Symbol ("^") :
381+ totoks (incSourceColumn pos 2) rest'
381382 _ -> Tok pos Symbol ("^")
382383 : totoks (incSourceColumn pos 1) rest
383384 | otherwise ->