Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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  Archives: