Skip to content
Browse files

Let check_raise find more exception raising

  • Loading branch information...
1 parent cf05081 commit 91615a292410538a129cd75fa59c70244c894bfa @toton toton committed Dec 9, 2011
Showing with 2 additions and 1 deletion.
  1. +2 −1 check_raise
View
3 check_raise
@@ -1,3 +1,4 @@
+#!/bin/bash
# Simple sanity checking of documentation of exceptions.
# Usage: go to src/ and run ../check_raise
@@ -31,7 +32,7 @@ doc_raise=$(mktemp)
poor_doc_raise=$(mktemp)
# Crude check for presence of exceptions in implementations and interfaces
-grep -n raise *.ml | cut -f1 -d. | uniq >$use_raise
+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

0 comments on commit 91615a2

Please sign in to comment.
Something went wrong with that request. Please try again.