Archives of the Caml mailing list > Message from Markus Mottl

Browse thread

typing problem with sexplib and mutually recursive polymorphic types

Yoann Padioleau
- Markus Mottl
  - yoann padioleau
    - Markus Mottl
      - Yitzhak Mandelbaum
        
        Markus Mottl
        
        Damien Doligez
        
        Markus Mottl
        
        Till Varoquaux
        
        Jacques Garrigue
        
        Yoann Padioleau

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 02:11, yoann padioleau <padator@wanadoo.fr> wrote:
> Yes on this example, but what if I can't move it out because
> the types really need to be mutually recursive ?

I'm afraid, I don't see any straightforward way of achieving this
goal.  If the above were allowed in a truly recursive way, you'd
essentially end up with polymorphic recursion, which is undecidable.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com