Browse thread
Question about type unification
[
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: | Richard Jones <rich@a...> |
| Subject: | Re: [Caml-list] Question about type unification |
Yes, they are the basis of phantom types: http://camltastic.blogspot.com/2008/05/phantom-types.html Rich. -- Richard Jones Red Hat