Browse thread
typing problem with sexplib and mutually recursive polymorphic types
[
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: | Markus Mottl <markus.mottl@g...> |
| Subject: | Re: [Caml-list] typing problem with sexplib and mutually recursive polymorphic types |
On Wed, Mar 11, 2009 at 12:16, Damien Doligez <damien.doligez@inria.fr> wrote: > That is not quite true any more. For example, I changed the > type-checker a few years ago to start with the user-provided type > when typing a let rec, in order to be able to debug my large > recursive definitions. Note that I didn't do that from scrach, > I used an infrastructure that was already present for seeding the > type inference in some cases. IIRC, it is there for some object- > oriented reason. Interesting, this change seems to have passed unobserved by me and is certainly a great debugging aid. Does this mean that eventually polymorphic recursion might be supported by OCaml? What's still missing for that feature? Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com