Merge pull request #1320 from well-typed/dom/1074/terminology

Ensure correct usage of terminology

Author: edsko

dev/nomenclature.md

@@ -0,0 +1,13 @@
+Since we use various types of predicates, we agree on the following
+nomenclature:
+
+- In the `Parse` pass, we either _succeed_, _do not attempt_, or _fail_ to parse
+  a declaration.
+- In the `Select` pass, we either _select_ or _deselect_ a declaration.
+- Prescriptive binding specifications can _omit_ types; a declaration can be
+  _extern_ due to an external binding specification.
+
+In particular,
+- we avoid the terms _exclude_, and _skip_.
+- we use the term _omit_ exclusively for the effect of prescriptive binding
+  specifications.

hs-bindgen/app/HsBindgen/App.hs

@@ -458,7 +458,7 @@ parseProgramSlicing =
           , " Select declarations using the select predicate,"
           , " and also select their transitive dependencies;"
           , " program slicing can cause declarations to be included"
-          , " even if they are explicitly excluded by a select predicate"
+          , " even if they are explicitly deselected by a select predicate"
           ]
       ]
 

hs-bindgen/app/hs-bindgen-cli.hs

@@ -150,7 +150,7 @@ selectSliceFooter = Help.vcat [
         , " select declarations using the select predicate,"
         , " and also select their transitive dependencies;"
         , " program slicing can cause declarations to be included"
-        , " even if they are explicitly excluded by a select predicate"
+        , " even if they are explicitly deselected by a select predicate"
         ]
     ]