From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id A712ABCB0 for ; Fri, 10 Jun 2005 01:43:47 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j59NhlLQ012931 for ; Fri, 10 Jun 2005 01:43:47 +0200 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 BAA27887 for ; Fri, 10 Jun 2005 01:43:47 +0200 (MET DST) Received: from mailx.valdosta.edu (mailx.valdosta.edu [168.18.130.251]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j59NhjCn018547 for ; Fri, 10 Jun 2005 01:43:46 +0200 Received: from blazemail.valdosta.edu (valdosta.edu [168.18.130.208]) by mailx.valdosta.edu (8.13.4/8.13.4) with ESMTP id j59NhiUF015133 for ; Thu, 9 Jun 2005 19:43:45 -0400 (EDT) (envelope-from jtbryant@valdosta.edu) Received: from chunky.valdosta.edu (VO44122.valdosta.edu [168.18.130.102]) by blazemail.valdosta.edu (iPlanet Messaging Server 5.2 HotFix 2.04 (built Feb 8 2005)) with ESMTP id <0IHU002F1CKWUL@blazemail.valdosta.edu> for caml-list@inria.fr; Thu, 09 Jun 2005 19:43:44 -0400 (EDT) Date: Thu, 09 Jun 2005 19:43:44 -0400 From: Jonathan Bryant Subject: Re: [Caml-list] type t = () In-reply-to: <20050609212234.GA32710@furbychan.cocan.org> To: caml-list@inria.fr Message-id: <1118360624.17936.12.camel@chunky.valdosta.edu> MIME-version: 1.0 X-Mailer: Ximian Evolution 1.4.5.2 Content-type: text/plain Content-transfer-encoding: 7BIT References: <20050609212234.GA32710@furbychan.cocan.org> X-PMX-Version: 5.0.1.144180, Antispam-Engine: 2.0.3.2, Antispam-Data: 2005.6.9.29 X-Miltered: at nez-perce with ID 42A8D433.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42A8D432.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 printf:01 printf:01 notepad:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 ...:98 ...:98 wrote:01 expression:01 bin:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Is this a question or a brief rant...? :) On Thu, 2005-06-09 at 17:22, Richard Jones wrote: > I had a program where a type was accidentally defined as (), and the > error messages confused me for ages until I worked out what was going > on ... > > $ ocaml > Objective Caml version 3.08.3 > > # type dummy = ();; > type dummy = () > # let () = Printf.printf "hello";; > This expression has type unit but is here used with type dummy > > Rich. > > -- > Richard Jones, CTO Merjis Ltd. > Merjis - web marketing and technology - http://merjis.com > Team Notepad - intranets and extranets for business - http://team-notepad.com > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs