| definition: |
checkRecord :: SpanInfo -> [ConstrDecl] -> CSM ()
checkRecord si (rd:_)
= case (si, rd) of
(SpanInfo (Span (Position ls cs) (Position le ce)) _,
(RecordDecl (SpanInfo _ symbs@((Span (Position _ c) _):_)) ident fs)) ->
if (ls == (getLi (getSpanInfo ident))) -- one line
then
(if (spanAlign symbs) -- alignment symbols { } ,
then
(if ((c == (cs + 2))||(c == (getCol (getSpanInfo ident)) + 2)) -- indentation of record body
then
(if (spanAlign (gatherSpanFromFieldDecls getNameSpan fs)) -- alignment names
then
(if (spanAlign (gatherSpanFromFieldDecls getSigSpan fs)) -- alignment ::
then
(unless (spanAlign (gatherSpanFromFieldDecls getTypeSpan fs)) -- alignment types
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "Type" <+> text "of record fields not aligned")
( text "align"
<+> colorizeKey "types"
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "::" <+> text "of records fields not aligned")
( text "align"
<+> colorizeKey "::"
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "names :" <+> text "of record fields not aligned")
( text "align"
<+> colorizeKey "names"
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "record body" <+> text "wrong indentation")
( text "indent by"
<+> colorizeKey "2"
<+> text "from record declaration or name of record"
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "record body" <+> text "not aligned")
( text "align"
<+> colorizeKey "{"
<+> text ","
<+> colorizeKey "}"
<+> text "and"
<+> colorizeKey ","
)
)
)
)
else
(report (Message (Span (Position ls cs) (Position le ce))
(colorizeKey "record declaration" <+> text "wrong formatting")
( text "write"
<+> colorizeKey "data"
<+> text "till name of record in one line"
)
)
)
_ -> error "checkRecord: SpanInfo or RecordDecl missing"
checkRecord _ [] = return ()
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Checks various formatting aspects of records. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{:}) |-> _ || (_,{[]}) |-> _}
|
| name: |
checkRecord |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Curry.SpanInfo.SpanInfo -> [Curry.Types.ConstrDecl] -> 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 |