Hello List,

First, let me say I am quite new to labels (I was waiting for the 3.03
release for using them).

I am used to annotate the top-level functions with their types, and I
was surprised to see that I must write the following to make it
type-check: 

#let bump ?(step:int option) (x:int) =
   match step with
     None -> x * 2
   | Some y -> x + y
 ;;
#val bump : ?step:int -> int -> int = <fun>

and then there is a discrepancy between the "int option" annotation in
the .ml and the "int" in the interface.

This is not a big deal to solve:), but it looks strange to me.

Best regards,

-- 

Christian

------------------------------------------------------------------------
Christian Rinderknecht                     Phone  +82 42 866 6147
Network Architecture Laboratory            Fax    +82 42 866 6154
Information and Communications University  WWW    http://nalab.icu.ac.kr
58-4 Hwaam-dong, Yuseong-gu, Daejeon,      e-mail rinderkn@icu.ac.kr
305-732, Korea
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr