Archives of the Caml mailing list > Message from Julien SIGNOLES

Browse thread

Warning wished

Julien SIGNOLES
- Matthieu Wipliez
  - Julien SIGNOLES
    - Nicolas Pouillard
- Dmitri Boulytchev
  - Julien SIGNOLES
    - Dmitri Boulytchev
      - Frédéric_van_der_Plancke
        
        Dmitri Boulytchev
- Martin Jambon

Date:	2009-01-28 (14:27)
From:	Julien SIGNOLES <julien.signoles@c...>
Subject:	Re: [Caml-list] Warning wished

Hello Dmitri,

>     no warning should be issued in this case since you have polymorphic 
> function:
> applying g to () you will definitely have f x of type unit :)

Applying g to 1 you will definitely have f x of type int and you have to
take care of the returned integer. Unfortunatly caml emits no warning in
this case (even if I understand why) :(.

--
Julien