Archives of the Caml mailing list > Message from Pal-Kristian Engstad

Browse thread

[Caml-list] Calling a function with a self-defined type as argument

Oliver Bandel
- SooHyoung Oh
- Oleg
  - Pal-Kristian Engstad
    - Dimitri Ara
  - Oliver Bandel
    - Markus Mottl
      - Oliver Bandel
- Dimitri Ara
  - Oliver Bandel
    - Sven LUTHER
    - Remi VANICAT
      - Markus Mottl
  - Pixel

Date:	-- (:)
From:	Pal-Kristian Engstad <engstad@n...>
Subject:	Re: [Caml-list] Calling a function with a self-defined type as argument

Hi,

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.

I.e.:

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? ***)

PKE.

-------------------
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