Can someone explain this behavior?

# ([], (fun x -> x) (fun y -> y)) ;;
- : 'a list * ('_b -> '_b) = ([], <fun>)

# ((fun a -> a), (fun x -> x) (fun y -> y)) ;;
- : ('_a -> '_a) * ('_b -> '_b) = (<fun>, <fun>)

Why does the second component influence the first one (in a non-obvious way)?

With kind regards,

Andrej

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to