From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA03529; Sat, 8 Dec 2001 15:11:45 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA03434 for caml-list@pauillac.inria.fr; Sat, 8 Dec 2001 15:11:45 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA27946 for ; Fri, 7 Dec 2001 23:15:25 +0100 (MET) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fB7MFJT22798 for ; Fri, 7 Dec 2001 23:15:19 +0100 (MET) Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.9.3/8.9.3/Debian 8.9.3-21) id XAA16304; Fri, 7 Dec 2001 23:14:53 +0100 Date: Fri, 7 Dec 2001 23:14:53 +0100 From: Markus Mottl To: Charles Martin Cc: caml-list@inria.fr Subject: Re: [Caml-list] type proofs Message-ID: <20011207231453.A11943@mail4.ai.univie.ac.at> References: <20011207212818.27730.qmail@web9207.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20011207212818.27730.qmail@web9207.mail.yahoo.com>; from joelisp@yahoo.com on Fri, Dec 07, 2001 at 13:28:18 -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 07 Dec 2001, Charles Martin wrote: > Failing such a tool, can anyone suggest some power techniques that will speed > up my type debugging? Two standard techniques: * Make types in the code more general by introducing type holes (e.g. by replacing some suspicious expression with "assert false"). If things suddenly compile, you know where the evil type originates from. * Add explicit type annotations to suspicious expressions to let type errors appear earlier, i.e. more closely to the source of the problem. Regards, Markus Mottl -- Markus Mottl markus@oefai.at Austrian Research Institute for Artificial Intelligence http://www.oefai.at/~markus ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr