From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3TKdneI006843
	for <caml-list@sympa-roc.inria.fr>; Fri, 29 Apr 2011 22:39:49 +0200
From: na.xu@inria.fr
X-IronPort-AV: E=Sophos;i="4.64,289,1301868000"; 
   d="scan'208";a="107104936"
Received: from yquem.inria.fr ([128.93.8.37])
  by mail1-relais-roc.national.inria.fr with ESMTP; 29 Apr 2011 22:39:44 +0200
Received: by yquem.inria.fr (Postfix, from userid 16225)
	id E2656E1A7E; Fri, 29 Apr 2011 22:39:44 +0200 (CEST)
Received: from localhost (localhost [127.0.0.1])
	by yquem.inria.fr (Postfix) with ESMTP id E0191E1A3F
	for <caml-list@inria.fr>; Fri, 29 Apr 2011 22:39:44 +0200 (CEST)
Date: Fri, 29 Apr 2011 22:39:44 +0200 (CEST)
To: caml-list@inria.fr
Message-ID: <alpine.DEB.1.10.1104292228410.8041@yquem.inria.fr>
User-Agent: Alpine 1.10 (DEB 962 2008-03-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
Subject: [Caml-list] Dynamic contract checking for OCaml

Dear All,

I have implemented a prototype that does dynamic contract checking
for OCaml code. The prototype is built upon the source code of 
ocamlc-3.11.2. Please see a tutorial for the details:

http://gallium.inria.fr/~naxu/research/camlcontract.pdf

This document also describes where to access the source code.

If you are interested in co-improving it or have any comments, please
feel free to drop me an email.

Best regards,
Dana.