Archives of the Caml mailing list > Message from Loup Vaillant

Browse thread

Unexpected restriction in "let rec" expressions

Loup Vaillant
- Jean-Christophe_Filliâtre
- Damien Doligez
  - Loup Vaillant
- Dirk Thierbach
- Andrej Bauer
  - Loup Vaillant
    - Dirk Thierbach
      - Loup Vaillant
        
        Dirk Thierbach
        
        Loup Vaillant
- Pal-Kristian Engstad
  - Loup Vaillant

Date:	-- (:)
From:	Loup Vaillant <loup.vaillant@g...>
Subject:	Re: [Caml-list] Unexpected restriction in "let rec" expressions

2008/2/27, Dirk Thierbach <dthierbach@gmx.de>:
> [...]
>  Does that explanation help?

Yes, it does, but I have difficulties reducing this expression. Do you
have another example which can be reduced to head normal form (say the
result is an int instead of a list)?

Thanks,
Loup