no_warning: modules without a module clause do not cause `missing-doc` warnings
authorJean Privat <jean@pryen.org>
Sat, 3 Jan 2015 22:03:38 +0000 (17:03 -0500)
committerJean Privat <jean@pryen.org>
Sat, 3 Jan 2015 22:03:38 +0000 (17:03 -0500)
commit1042cace600f00a2391d948f3cfce38e5124ce47
treec848d94c2287dc2b1941b0ac44c8d3c980d98b64
parent206c9d257b41452abdef646f250848fe6b1adddc
no_warning: modules without a module clause do not cause `missing-doc` warnings

Rationale: the presence of a `module` clause is a good heuristic to
discriminate quick and dirty prototypes from nice and clean modules

Signed-off-by: Jean Privat <jean@pryen.org>
src/frontend/no_warning.nit