Browse thread
[Caml-list] variant with tuple arg in pattern match?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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