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 EAA00212; Fri, 19 Sep 2003 04:06:15 +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 EAA14284 for ; Fri, 19 Sep 2003 04:06:14 +0200 (MET DST) Received: from sark.cc.gatech.edu (sark.cc.gatech.edu [130.207.7.23]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8J26Dj14656 for ; Fri, 19 Sep 2003 04:06:13 +0200 (MET DST) Received: from gaia.cc.gatech.edu (gaia.cc.gatech.edu [130.207.3.8]) by sark.cc.gatech.edu (8.12.10/8.12.8) with ESMTP id h8J26Auj026538; Thu, 18 Sep 2003 22:06:10 -0400 (EDT) Received: (from fernando@localhost) by gaia.cc.gatech.edu (8.12.9/8.12.8) id h8J269rs010332; Thu, 18 Sep 2003 22:06:09 -0400 (EDT) Date: Thu, 18 Sep 2003 22:06:09 -0400 From: Fernando Alegre To: malc Cc: Fernando Alegre , caml-list@pauillac.inria.fr Subject: Re: [Caml-list] possible typechecker bug Message-ID: <20030919020609.GA25816@gaia.cc.gatech.edu> References: <20030918161112.GA14205@gaia.cc.gatech.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4.1i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; alegre:01 gatech:01 caml-list:01 bug:01 0400,:01 malc:01 bug:01 caml:01 workaround:01 workaround:01 sep:01 typechecker:02 wrote:03 types:03 seems:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Sep 19, 2003 at 06:00:35AM +0400, malc wrote: > http://caml.inria.fr/archives/200211/msg00058.html Yes. This seems to be another instance of possibly the same bug. The workaround suggested in your case was to add "and" between the types... However, in our case, there is only one type, so I cannot add an "and"... Can anyone suggest another workaround? Thanks, Fernando ------------------- 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