English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Calling a function with a self-defined type as argument
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-08-22 (02:05)
From: Pal-Kristian Engstad <engstad@n...>
Subject: Re: [Caml-list] Calling a function with a self-defined type as argument

I don't know if it is in the FAQ, but a more interesting question is why the 
compiler cannot deduce the correct type without us having to type in 
parenthesis, at least in cases where there can be no ambiguity.


let addone x = x + 1
let double x = x * x

let f x = addone double x     (*** Should the compiler not deduce this? ***)
let g = addone double         (*** Is this why? ***)


To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners