Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] variant with tuple arg in pattern match?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michel Mauny <Michel.Mauny@i...>
Subject: Re: [Caml-list] variant with tuple arg in pattern match?
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