Version française
Home     About     Download     Resources     Contact us    
Browse thread
typing problem with sexplib and mutually recursive polymorphic types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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