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 UAA01790; Sun, 9 Jun 2002 20:08:51 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA01742 for ; Sun, 9 Jun 2002 20:08:49 +0200 (MET DST) Received: from orcaware.com (bdsl.66.12.233.174.gte.net [66.12.233.174]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g59I8ln11117; Sun, 9 Jun 2002 20:08:48 +0200 (MET DST) Received: from orcaware.com (localhost.localdomain [127.0.0.1]) by orcaware.com (8.12.2/8.12.2) with ESMTP id g59I8e60010667; Sun, 9 Jun 2002 11:08:40 -0700 Message-ID: <3D039993.BB852B4F@orcaware.com> Date: Sun, 09 Jun 2002 11:08:19 -0700 From: Blair Zajac X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U) X-Accept-Language: en,x-ns1rfacHe4WNh5,x-ns2U100btwUq5f MIME-Version: 1.0 To: Xavier Leroy CC: Alessandro Baretta , Ocaml Subject: Re: [Caml-list] Compiler killer code? References: <3D02156D.7070303@baretta.com> <20020608143402.GQ6777@holomorphy.com> <3D035829.1060401@baretta.com> <20020609154144.A30403@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Xavier Leroy wrote: > > > Objective Caml version 3.04+13 (2002-06-05) > > > > # type t = t -> t ;; > > type t = t -> t > > # let rec f (x:t) = f f ;; > > Interrupted. > > This looks like a bug in the development version. Without the > -rectypes flag, the declaration of t should be rejected, like it is in > OCaml 3.04. Interestingly, the development version handles your > example just fine when -rectypes is set. > > A note to users of the development version: we appreciate your > testing, but please keep the latest official release around to check > weird behaviors, and when you observe a discrepancy like the above, > report it to caml-bugs@inria.fr. I think this points to something that should be considered for future Ocaml development, that being a comprehensive test suite to check the language. This would also help test porting of the language to new OSes. All of the major compilers I can think of, Perl, Python, GCC, etc, have a test suite and I think from a company's point of view looking to use the language, a test suite written in Caml would give additional credibility and a sense of professionalism that would only help adoption rates. A good model for the test suite would be Perl's test suite which checks every aspect of the language and its modules and is written in Perl itself. Is there any interest in this? Best, Blair -- Blair Zajac Web and OS performance plots - http://www.orcaware.com/orca/ ------------------- 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