CurryInfo: stylechecker-2.0.0 / Check.Src.Tabs.reportTabs

 
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 ()

 argument 2

 deterministic operation

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{:}) |-> _ || (_,{[]}) |-> _}

 reportTabs

 no precedence defined

 _

 Prelude.Int -> [Prelude.Int]
-> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity ()

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term