Browse thread
Comparing two things of any two types, in pure OCaml
[
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: | skaller <skaller@u...> |
| Subject: | Re: [Caml-list] Improper generic equality in Caml (Rossberg's SML vs Caml) |
On Sun, 2006-09-17 at 07:08 +0200, rossberg@ps.uni-sb.de wrote: > This problem can sometimes make translation from SML (which has Leibniz > equality) It does? I'm curious how it handles (a) functions (b) abstract types The former can't support other than physical equality and the latter can only support value equality with a user supplied routine. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net