| definition: |
checkRecord :: SpanInfo -> [ConstrDecl] -> [QualIdent] -> CSM ()
checkRecord si (cd:_) (deriv:derivs) = case (si, cd) of
(SpanInfo (Span (Position ls cs) (Position le ce))
(_:_:(Span (Position l1d c1d) _):symbs@((Span (Position l1s c1s) (Position _ _)):_)),
(RecordDecl (SpanInfo _ spans ) _ _)) ->
unless (ls == le) --one line
(if (getSpanLi (last spans) == l1d) -- 'deriving' position
then
(unless (le == l1d) --deriving one line
(if (spanAlign symbs) -- alignment symbols of deriving
then
(if (checkAlign getCol (getCol (getSpanInfo deriv)) derivs) -- aligment classes
then
(unless ((c1s == c1d + 2) || (l1s == l1d)) -- indentation
(report (Message (Span (Position l1d c1d) (Position le ce))
(colorizeKey "classes" <+> text "wrong indention")
( text "indent by 2 from"
<+> colorizeKey "deriving"
<+> text "write first class in same line as"
<+> colorizeKey "deriving"
)
)
)
)
else
(report (Message (Span (Position l1d c1d) (Position le ce))
(colorizeKey "classes" <+> text "not aligned")
( text "align derived"
<+> colorizeKey "classes"
)
)
)
)
else
(report (Message (Span (Position l1d c1d) (Position le ce))
(colorizeKey "symbols" <+> text "in deriving body not aligned")
( text "align"
<+> colorizeKey "("
<+> text ","
<+> colorizeKey ")"
<+> text "and"
<+> colorizeKey ","
)
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "deriving" <+> text "wrong formatting")
( text "write"
<+> colorizeKey "deriving"
<+> text "right of"
<+> colorizeKey "}"
)
)
)
)
_ -> return ()
checkRecord _ _ [] = return ()
checkRecord _ [] (_:_) = return ()
|
| demand: |
argument 3 |
| deterministic: |
deterministic operation |
| documentation: |
-- Checks formatting for records. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{:},{:}) |-> _ || (_,{[]},{:}) |-> _ || (_,_,{[]}) |-> _}
|
| name: |
checkRecord |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Curry.SpanInfo.SpanInfo -> [Curry.Types.ConstrDecl] -> [Curry.Ident.QualIdent] -> 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 |