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