1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

module Check.Src.WhiteSpaces where

import Char (isSpace)

import Curry.Position
import Curry.Span
import Text.Pretty

import Types
import State

checkWSpaces :: SrcLine -> CSM ()
checkWSpaces (n, l) = checkWSpaces' l n 0

checkWSpaces' :: String -> Int -> Int -> CSM ()
checkWSpaces' []     l c = return ()
checkWSpaces' (x:xs) l c = do
  whenM (isWhiteSpace x)
    (report (Message
      (Span
        (Position l c)
        (Position l (c+1)))
      ( colorizeKey "Whitespace aside of spaces, linebreaks and tabs found"
        <+> text "found")
      ( text "delete"
        <+> colorizeKey "Whitespaces")))
  checkWSpaces' xs l (c+1)

isWhiteSpace :: Char -> Bool
isWhiteSpace x | x == ' '         = False
               | x == '\t'        = False
               | x == '\n'        = False
               | otherwise  = isSpace x