From 464d2c6da65a275af9a8f6741c746a062714db87 Mon Sep 17 00:00:00 2001 From: Liyang HU Date: Wed, 13 Mar 2013 00:00:54 +0900 Subject: [PATCH] =?UTF-8?q?scripts/stats:=20include=20let=20=E2=80=A6=20in?= =?UTF-8?q?=20=E2=80=A6=20doctests,=20and=20fudge=20type=20operators?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- scripts/stats | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/stats b/scripts/stats index 3161d1cf1..df02ad576 100755 --- a/scripts/stats +++ b/scripts/stats @@ -5,9 +5,11 @@ cd "$(git rev-parse --show-toplevel)" unsafe="$(g -e '\(#\.\|\.#\)' --and --not \ \( -e INLINE --or -e '^\s*(\s*\(#\.\|\.#\)\s*)' \))" -doc="$(g -e '--\s\+>>>\s\+[^:]' --and --not -e '--\s\+>>>\s\+\(import\|let\)')" +doc="$(g -e '--\s\+>>>\s\+[^:]' --and --not -e '--\s\+>>>\s\+\(import\|let\)' \ + --or -e '--\s\+>>>\s\+let\s\+.*\')" ops="$(g '^(.\+)\s*::')" mod="$(find src -name '*.hs' | wc -l)" +((ops+=3)) # :@ :> :>> from Control.Lens.Internal.Zipper echo "unsafeCoerces: $unsafe | doctests: $doc | operators: $ops | modules: $mod"