Browse thread
Re: [Caml-list] Width subtyping
- Dario Teixeira
[
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: | 2009-05-29 (15:50) |
From: | Dario Teixeira <darioteixeira@y...> |
Subject: | Re: [Caml-list] Width subtyping |
Hi, > I've very tired at the moment, but I think that Garrigue's > polymap syntax extension does what you want: > > http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html > > If not, just ignore me! I should have suspected this discussion would eventually lead to something out of Jacques Garrigue's magic hat! :-) But on a first glance, yes, it does look like it might be of interest. I'll explore it further, thanks! Cheers, Dario