[
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:33) |
From: | Richard Jones <rich@a...> |
Subject: | Re: [Caml-list] Width subtyping |
On Fri, May 29, 2009 at 07:10:12AM -0700, Dario Teixeira wrote: > type t1 = {a: int; b: int; c: int; } > type t2 = {a: int; b: int; c: int; d: int;} > type t3 = { b: int; c: int; d: int;} 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! Rich. -- Richard Jones Red Hat