@@ -166,7 +166,7 @@ toReport _localizer err =
166 ( Help.stack
166 ( Help.stack
167 [ text "You probably need to change the declaration like this:"
167 [ text "You probably need to change the declaration like this:"
168 , dullyellow $ hsep $
168 , dullyellow $ hsep $
169− map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ ["=", "…"])
169+ map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ ["=", "..."])
@@ -185,7 +185,7 @@ toReport _localizer err =
185 ++ ") that do not appear in the declaration."
185 ++ ") that do not appear in the declaration."
186 , text "You probably need to change the declaration like this:"
186 , text "You probably need to change the declaration like this:"
187 , dullyellow $ hsep $
187 , dullyellow $ hsep $
188− map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ unbound ++ ["=", "…"])
188+ map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ unbound ++ ["=", "..."])
@@ -203,7 +203,7 @@ unboundTypeVars declKind typeName givenVars unboundVars@(tvar:_) =
204 map text (declKind : typeName : givenVars)
204 map text (declKind : typeName : givenVars)
205 ++ map (dullyellow . text) unboundVars
205 ++ map (dullyellow . text) unboundVars
206− ++ map text ["=", "…"]
206+ ++ map text ["=", "..."]
207 , Help.reflowParagraph $
207 , Help.reflowParagraph $
208 "Here's why. Imagine one `" ++ typeName ++ "` where `" ++ tvar ++ "` is an Int and\
208 "Here's why. Imagine one `" ++ typeName ++ "` where `" ++ tvar ++ "` is an Int and\
209 \ another where it is a Bool. When we explicitly list the type variables, type\
209 \ another where it is a Bool. When we explicitly list the type variables, type\