From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <forum@x9c.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id F3DE27ED88
	for <caml-list@sympa.inria.fr>; Wed, 29 Aug 2012 21:01:43 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  forum@x9c.fr) identity=pra; client-ip=46.105.59.196;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  forum@x9c.fr designates 46.105.59.196 as permitted sender)
  identity=mailfrom; client-ip=46.105.59.196;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mo6.mail-out.ovh.net) identity=helo;
  client-ip=46.105.59.196;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr";
  x-sender="postmaster@mo6.mail-out.ovh.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvUAAN5mPlAuaTvEmWdsb2JhbABFuxUBAQEBAQgLCwcUJ4MgiV4EvCWORYMcA5VVAYEUCJFe
X-IronPort-AV: E=Sophos;i="4.80,335,1344204000"; 
   d="scan'208";a="154167810"
Received: from 7.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([46.105.59.196])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Aug 2012 21:01:36 +0200
Received: from mail351.ha.ovh.net (b6.ovh.net [213.186.33.56])
	by mo6.mail-out.ovh.net (Postfix) with SMTP id E1D5EFF8135
	for <caml-list@inria.fr>; Wed, 29 Aug 2012 21:07:25 +0200 (CEST)
Received: from b0.ovh.net (HELO queueout) (213.186.33.50)
	by b0.ovh.net with SMTP; 29 Aug 2012 19:01:36 -0000
Received: from ns0.ovh.net (HELO localhost) (213.186.33.20)
  by ns0.ovh.net with SMTP; 29 Aug 2012 19:01:36 -0000
Received: from client-7-137.visitor-network.oxuni.org.uk
 (client-7-137.visitor-network.oxuni.org.uk [192.76.7.137]) by ssl0.ovh.net
 (Horde Framework) with HTTP; Wed, 29 Aug 2012 21:01:36 +0200
Message-ID: <20120829210136.12760ri56vh13ci8@ssl0.ovh.net>
Date: Wed, 29 Aug 2012 21:01:36 +0200
From: forum@x9c.fr
To: caml-list@inria.fr
Cc: forum@x9c.fr
X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net)
MIME-Version: 1.0
Content-Type: text/plain;
 charset=ISO-8859-1;
 DelSp="Yes";
 format="flowed"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
User-Agent: Internet Messaging Program (IMP) H3 (4.3.5)
X-Ovh-Tracer-Id: 7426435786271294240
X-VR-SPAMSTATE: OK
X-VR-SPAMSCORE: 0
X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrfeehucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecunecuhfhrohhmpehfohhruhhmseiglegtrdhfrhenucffohhmrghinhepgieltgdrfhhrnecujfgurhephffvufggtggugfgfsehtjedttddtredu
Subject: [Caml-list] [ANN] Mascot 1.0 release

Dear list,

This post announces the 1.0 release of the Mascot project, whose goal is to
provide a style-checker for OCaml sources.

Home page: http://mascot.x9c.fr

Main changes since 1.0-beta:
   - support for checks based on binary annotations
   - support for binary output mode, and report-only mode
   - new code check: 'catch_all' to detect patterns catching all exceptions
   - new code check: 'code.ignore_unit' check to detect application of  
'ignore' to expression whose type is 'unit'
   - bug #72: allow punctuation after closing a block
   - bug #74: handle the '::' operator
   - bug #75: do not require whitespace after '?' used for optional label
   - bug #76: do not require whitespace around '..' used for character range
   - bug #77: allow absence of whitespace before unary minus if  
previous token is an opening one
   - bug #79: treat '[< ... >]' and '[| ... |]' blocks like '{ ... }' blocks
   - bug #80: allow whitespace after '.' when used to introduce  
polymorphic type
   - bug #81: allow opening token after a label
   - bug #84: use 'center' rather than 'p' tag with 'align' attribute,  
and correct handling of icons
   - bug #87: install shouldn't build anything
   - bug #89: do not activate warnings by default
   - bug #90: output available checks as a ready-to-use config
   - bug #93: 'interface.duplicate' to detect duplicate entries in signatures
   - bug #94: do not require whitespace after colon
   - bug #96: 'typography.trailing_white_space' now has a 'tolerance'  
parameter in order to indicate how many whitespace characters may be  
tolerated
   - update for OCaml 4.00.0


Xavier Clerc