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 KAA30118; Wed, 12 Jun 2002 10:38:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 KAA30142 for ; Wed, 12 Jun 2002 10:38:08 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g5C8beb18128; Wed, 12 Jun 2002 10:37:40 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA30119; Wed, 12 Jun 2002 10:37:39 +0200 (MET DST) Date: Wed, 12 Jun 2002 10:37:39 +0200 From: Xavier Leroy To: Michal Moskal Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Compiler killer code? Message-ID: <20020612103739.A29875@pauillac.inria.fr> References: <3D02156D.7070303@baretta.com> <20020608143402.GQ6777@holomorphy.com> <3D035829.1060401@baretta.com> <20020609154144.A30403@pauillac.inria.fr> <3D039993.BB852B4F@orcaware.com> <20020610105741.GB31366@ep09.kernel.pl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20020610105741.GB31366@ep09.kernel.pl>; from malekith@pld-linux.org on Mon, Jun 10, 2002 at 12:57:41PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > [Discussion of test suite] > And what about 2 stage bootstrap It's the "bootstrap" entry of the OCaml Makefile, and we've been doing this for years. (We compare executables and gcc compares object files, but that doesn't make any significant differences.) It is a good test, but by no means a complete test suite. In particular, it tests correct source code, while the hardest thing to test in a type-checker and compiler are the error cases (like the initial bug report that triggered this discussion, where source code that should have been rejected was not). - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners