Rewrite lint introduction

1 files changed, 12 insertions, 8 deletions

diff --git a/src/Codec/Pesto/Lint.lhs b/src/Codec/Pesto/Lint.lhs
index 0d1c848..eac631f 100644
--- a/src/Codec/Pesto/Lint.lhs
+++ b/src/Codec/Pesto/Lint.lhs
@@ -13,15 +13,15 @@ Linting
 > import Codec.Pesto.Graph hiding (test)
 > import Codec.Pesto.Parse hiding (test)
 
-Not every graph generated in the previous section is a useful recipe, since
-some combinations of instructions just do not make sense. The linting test in
-this section can detect common errors. Failing any of these tests does not
-render a recipe invalid, but *useless*. Thus implementations must not create
-such recipes. They may be accepted the user though.
+Not every graph generated in the previous section is a useful recipe. Some
+instruction sequences just do not make sense. The tests in this section can
+detect those. Failing any of them does not render a stream of instructions or
+graph invalid. They just does not describe a *useful* recipe. Thus
+implementations must not generate or export such documents. However they should
+accept input that fails any of the tests and warn the user about the failure.
 
-Every lint test checks a single aspect of the graph.
-
-> lint nodes edges = concatMap (\f -> f nodes edges) lintTests
+Additionally this section provides guidance on how to use the instructions
+provided by the Pesto language properly.
 
 Metadata
 ++++++++
@@ -324,6 +324,10 @@ Appendix
 > 	| RangeFromLargerThanTo
 > 	deriving (Show, Eq, Ord)
 
+Every lint test checks a single aspect of the graph.
+
+> lint nodes edges = concatMap (\f -> f nodes edges) lintTests
+
 > lintTests = [
 > 	  rootIsResult
 >	, referencesResolved