From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6F4q4S1025125 for ; Fri, 15 Jul 2011 06:52:08 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgYBABvHH068pSHKmWdsb2JhbABUp3EBAQEBAQgLCwcUJYh8w0iFW18Eozs X-IronPort-AV: E=Sophos;i="4.65,533,1304287200"; d="scan'208";a="103092075" Received: from 13.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([188.165.33.202]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Jul 2011 06:52:07 +0200 Received: from mail612.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 757F2FFADE3 for ; Fri, 15 Jul 2011 06:52:37 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 15 Jul 2011 06:52:07 +0200 Received: from ip-149.net-82-216-0.versailles2.rev.numericable.fr (HELO ?192.168.0.10?) (forum%x9c.fr@82.216.0.149) by ns0.ovh.net with SMTP; 15 Jul 2011 06:52:05 +0200 From: "forum@x9c.fr" Content-Type: text/plain; charset=us-ascii X-Ovh-Mailout: 178.32.228.3 (mo3.mail-out.ovh.net) Date: Fri, 15 Jul 2011 06:52:05 +0200 Message-Id: <8C09CCD1-E78F-4252-94A8-A6DF998F2C2D@x9c.fr> Cc: "forum@x9c.fr" To: caml users Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) X-Ovh-Tracer-Id: 14372393786703938337 X-Ovh-Remote: 82.216.0.149 (ip-149.net-82-216-0.versailles2.rev.numericable.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfedvfedrudekucetggdotefuucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenuc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p6F4q4S1025125 Subject: [Caml-list] [ANN] Mascot: 1.0-beta release Dear list, This post announces the 1.0-beta release of the Mascot project, whose goal is to provide a style-checker for Objective Caml sources, released under the GPL v3. Home page: http://mascot.x9c.fr Main changes since 1.0-alpha: - switch to OCaml 3.12.1 - revamped configure/build system - support for checks based on annotation files - support for checks using a state (for cross-file checks) - new code checks: 'empty_for', 'empty_try', and 'empty_while' - new code check: 'deprecated' to detect deprecated elements - new code check: 'tuple_size' to detect lenghty tuples - strict mode for documentation checks (rejects empty comments) - bug #66: allowed modules in 'code.open' check - bug #67: detection of useless parentheses in 'if', 'when', 'while', and 'for' constructs ('code.code_useless_external_parentheses') - bug #68: 'code.physical_comparisons' check added - bug #70: support for preprocessors - bug #71: detection of textual code duplication ('code.textual_duplicate') Xavier Clerc