Archives of the Caml mailing list > Message from Roland Zumkeller

Browse thread

Polymorphic recursion

Loup Vaillant
- Jeremy Yallop
  - Alain Frisch
    - Loup Vaillant
- Till Varoquaux
  - brogoff
    - skaller
      - skaller
- Roland Zumkeller
  - Alain Frisch
    - Alain Frisch
      - Roland Zumkeller
        
        Alain Frisch
        
        brogoff
        
        Roland Zumkeller
        
        Alain Frisch
        
        Daniel de Rauglaudre
        
        Francois Maurel
    - Stefan Monnier
- Brian Hurt
  - Loup Vaillant

Date:	-- (:)
From:	Roland Zumkeller <roland.zumkeller@g...>
Subject:	Re: [Caml-list] Polymorphic recursion

On 03/04/07, Loup Vaillant <loup.vaillant@gmail.com> wrote:
> Can't we implement non uniform recursive function (efficiently, or at all)?.

It has actually been done: call ocaml with the option "-rectypes" and
your example will work as is.

Best,

Roland

-- 
http://www.lix.polytechnique.fr/~zumkeller/