Exclude manually verified modules from the report of check_raise

check_raise

@@ -27,17 +27,35 @@ header "Interesting places:" \
 #header "Needs source style:" \
 #  grep -n "Invalid_argument[[:space:]]\"" *.mli
 
+# Modules known to have documentation of exceptions OK
+already_ok=$(mktemp)
+echo "
+batteriesHelp
+batStack
+batSplay
+batReturn
+batRef
+batRandom
+batQueue
+batDeque
+batConcurrent
+batCharParser
+" | sort >$already_ok
+
 use_raise=$(mktemp)
 doc_raise=$(mktemp)
 poor_doc_raise=$(mktemp)
+to_be_verified=$(mktemp)
 
 # Crude check for presence of exceptions in implementations and interfaces
-grep -n "\(raise\|invalid_arg\|failwith\)" *.ml | cut -f1 -d. | uniq >$use_raise
-grep -n @raise *.mli | cut -f1 -d. | uniq >$doc_raise
-grep -n raise *.mli | cut -f1 -d. | uniq >$poor_doc_raise
+grep -n "\(raise\|invalid_arg\|failwith\)" *.ml | cut -f1 -d. | uniq | sort >$use_raise
+grep -n @raise *.mli | cut -f1 -d. | uniq | sort >$doc_raise
+grep -ni raise *.mli | cut -f1 -d. | uniq | sort >$poor_doc_raise
+
+setminus $use_raise $already_ok >$to_be_verified
 
 suspicious=$(mktemp)
-setminus $use_raise $doc_raise >$suspicious
+setminus $to_be_verified $doc_raise >$suspicious
 
 need_doc=$(mktemp)
 setminus $suspicious $poor_doc_raise >$need_doc