prefix-minus-resolution.md

@@ -198,12 +198,22 @@ haskellch3.html\#x8-280003.4
 
 
 extend:
-"patterns are a subset of expressions so in what follows we consider only expressions for simplicity."
+"… patterns are a subset of expressions so in what follows we consider only expressions for simplicity."
 
 
 
 with:
-"Note, that prefix minus within patterns is only allowed for numeric constants that must not be followed by an infix operator of higher precedence without brackets."
+"Note, that prefix minus within patterns is only allowed for numeric constants that must not be followed by an infix (top-level) operator or constructor of higher precedence without brackets around the negated constant."
+
+
+
+replace:
+"The function resolve takes a list in which the elements are expressions or operators, …"
+
+
+
+with:
+"The function resolve takes a list in which the elements are expressions (`lexp`), negation or infix operators, …"