Permalink
Browse files

New policy for check_raise: don't expose string arguments of standard…

… exceptions
  • Loading branch information...
1 parent bb65d57 commit 15ffb091212da1e85666d08e9abc475788930ddd @toton toton committed Dec 9, 2011
Showing with 7 additions and 0 deletions.
  1. +7 −0 check_raise
View
@@ -66,6 +66,13 @@ header "Documentation of the following modules mentions exceptions and awaits fo
header "The following modules need raised exceptions to be documented (quite likely):" \
cat $need_doc
+# A policy: don't expose string arguments of standard exceptions
+header "String arguments nobody should rely upon:" \
+ grep -n "Invalid_argument[[:space:]]\"" *.mli
+
+header "String arguments nobody should rely upon:" \
+ grep -n "Failure[[:space:]]\"" *.mli
+
# Look for mistakes
header "@raises instead of @raise:" \

0 comments on commit 15ffb09

Please sign in to comment.