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 MAA20678; Tue, 10 Apr 2001 12:07:55 +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 MAA20667 for ; Tue, 10 Apr 2001 12:07:54 +0200 (MET DST) Received: from quincy.inria.fr (quincy.inria.fr [128.93.8.52]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3AA7rb19984; Tue, 10 Apr 2001 12:07:53 +0200 (MET DST) Received: (from mauny@localhost) by quincy.inria.fr (8.10.1/8.10.1) id f3AA9Qb13651; Tue, 10 Apr 2001 12:09:26 +0200 Date: Tue, 10 Apr 2001 12:09:26 +0200 From: Michel Mauny To: Xavier Leroy Cc: caml-list@inria.fr Subject: Re: [Caml-list] variant with tuple arg in pattern match? Message-ID: <20010410120926.A13189@quincy.inria.fr> Reply-To: Michel.Mauny@inria.fr References: <200104091607.SAA03671@pauillac.inria.fr> <20010410102323.A13306@quincy.inria.fr> <20010410111426.C16732@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.2.5i In-Reply-To: <20010410111426.C16732@pauillac.inria.fr>; from Xavier.Leroy@inria.fr on Tue, Apr 10, 2001 at 11:14:26AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Xavier Leroy wrote/écrivait (Apr 10 2001, 11:14AM +0200): > The Coq proof assistant doesn't agree with you here. Well, Coq agrees with both of us on the fact that typing in OCaml and in Coq are jobs of pretty different nature :-) In my previous message, I was of course assuming an ML typing philosophy. -- Michel ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr