@@ -320,7 +320,7 @@ totoks pos t =
320320 : totoks (incSourceColumn pos (1 + T.length cs)) rest'
321321 | c == '\\' ->
322322 case T.uncons rest of
323− Nothing -> [Tok pos Symbol (T.singleton c)]
323+ Nothing -> [Tok pos (CtrlSeq " ") "\\"]
324324 Just (d, rest')
325325 | isLetterOrAt d ->
326326 -- \makeatletter is common in macro defs;
@@ -338,7 +338,7 @@ totoks pos t =
338338 Just ('\n', r2)
339339 -> (T.pack "\n",
340340 T.span isSpaceOrTab r2)
341− _ -> (mempty, (w1, r1))
341+ _ -> (mempty, (mempty, r1))
342342 in case T.uncons r3 of
343343 Just ('\n', _) ->
344344 Tok pos (CtrlSeq " ") ("\\" <> w1)