English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2001-04-10 (10:07)
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

-- Michel
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr