@@ -2820,7 +2820,7 @@ toOperatorReport source context operator row col =
28202820 ,
28212821 D.stack
28222822 [ D.reflow $
2823− "It makes sense to see arrows around here, so I suspect it is something earlier."
2823+ "It makes sense to see arrows around here, so I suspect it is something earlier. Maybe this pattern is indented a bit farther than the previous patterns?"
28242824 , noteForCaseIndentError
28252825 ]
28262826 )
@@ -3536,8 +3536,9 @@ noteForCaseIndentError =
35363536 , D.indent 8 $ D.fillSep [D.dullyellow "400"]
35373537 ]
35383538 , D.reflow $
3539− "Notice the indentation! Each pattern is aligned, and each branch is indented\
3540− \ a bit more than the corresponding pattern. That is important!"
3539+ "Notice the indentation! Patterns are aligned with each other. Same indentation.\
3540+ \ The expressions after each arrow are all indented a bit more than the patterns.\
3541+ \ That is important!"
35413542 ]
35423543
35433544