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