definition: |
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 () |
demand: |
argument 2 |
deterministic: |
deterministic operation |
failfree: |
(_, _) |
indeterministic: |
referentially transparent operation |
infix: |
no fixity defined |
iotype: |
{(_,{:}) |-> _ || (_,{[]}) |-> _} |
name: |
reportTabs |
precedence: |
no precedence defined |
result-values: |
_ |
signature: |
Prelude.Int -> [Prelude.Int] -> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity () |
solution-complete: |
operation might suspend on free variables |
terminating: |
possibly non-terminating |
totally-defined: |
possibly non-reducible on same data term |