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

module Check.Src.Tabs where

import List

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

import Types
import State

checkTab :: SrcLine -> CSM ()
checkTab (n,l) = do reportTabs n (map ((+) 1) (elemIndices '\t' l))

reportTabs :: Int -> [Int] -> CSM ()
reportTabs n (i:is) = do report (Message
                                  (Span
                                    (Position n i)
                                    (Position n (i+1)))
                                  (colorizeKey "tab" <+> text "found")
                                  (text "use"
                                  <+> colorizeKey "spaces"
                                  <+> text "instead of"
                                  <+> colorizeKey "tabs")
                                )
                         reportTabs n is
reportTabs _ []     = return ()