more exact feedback cleaning including at EOF

Author: ole108

base.go

@@ -109,10 +109,11 @@ func (pd *ParseData) CleanFeedback() {
 	if pd.Result.HasError() || len(pd.Result.Feedback) == 0 { // in error case we need all information
 		return
 	}
-	pos := pd.Result.Pos + len(pd.Result.Text) // clean until here
+	start := pd.Result.Pos
+	end := start + len(pd.Result.Text) // clean until here
 	cleanFeedback := make([]*FeedbackItem, 0, len(pd.Result.Feedback))
 	for _, fb := range pd.Result.Feedback {
-		if fb.Kind != FeedbackPotentialProblem || fb.Pos >= pos {
+		if fb.Kind != FeedbackPotentialProblem || fb.Pos < start || fb.Pos >= end {
 			cleanFeedback = append(cleanFeedback, fb)
 		}
 	}

simple_parser.go

@@ -169,9 +169,23 @@ func ParseEOF(
 		)
 	} else {
 		createMatchedResult(pd, 0)
+		cleanEOFFeedback(pd.Result)
 	}
 	return handleSemantics(pluginSemantics, pd, ctx)
 }
+func cleanEOFFeedback(pr *ParseResult) {
+	if pr.HasError() || len(pr.Feedback) == 0 { // in error case we need all information
+		return
+	}
+	pos := pr.Pos
+	cleanFeedback := make([]*FeedbackItem, 0, len(pr.Feedback))
+	for _, fb := range pr.Feedback {
+		if fb.Kind != FeedbackPotentialProblem || fb.Pos != pos {
+			cleanFeedback = append(cleanFeedback, fb)
+		}
+	}
+	pr.Feedback = cleanFeedback
+}
 
 // NewParseEOFPlugin creates a plugin sporting an EOF parser.
 func NewParseEOFPlugin(pluginSemantics SemanticsOp) SubparserOp {