@@ -19,8 +19,9 @@ unlit f s = do let s' = map ulLine (lines s)
1919data LineType = Prog | Blank | Comm
2020
2121ulLine :: String -> (LineType, String)
22−ulLine ('>':' ':xs) = (Prog, xs)
23−ulLine ('>':xs) = (Prog, xs)
22+ulLine ('>':' ':xs) = (Prog, ' ':' ':xs) -- Replace with spaces, otherwise text position numbers will be bogus.
23+ulLine ('>':xs) = (Prog, ' ' :xs) -- The parser can deal with this, because /every/ (code) line is prefixed
24+ -- with a '>'.
2425ulLine xs | all isSpace xs = (Blank, "")
2526-- make sure it's not a doc comment
2627 | otherwise = (Comm, '-':'-':' ':'>':xs)
@@ -29,7 +30,7 @@ check :: FilePath -> Int -> [(LineType, String)] -> TC ()
2930check f l (a:b:cs) = do chkAdj f l (fst a) (fst b)
3031 check f (l+1) (b:cs)
3132check f l [x] = return ()
32−check f l [] = return ()
33+check f l [ ] = return ()
3334
3435-- Issue #1593 on the issue checker.
3536--