Optional arguments

Optional arguments

[malc]

         Objective Caml version 3.10.0

# let a i = let b ?(i=i mod 3) () = i in b ~i ();;
val a : int -> int = <fun>
# for i = 0 to 5 do print_int (a i); done;;
012345- : unit = ()

Is this something to be expected? Or perhaps something which calls
for an upgrade?

-- 
mailto:av1474@comtv.ru

Re: [Caml-list] Optional arguments

[David Teller]

What were you expecting?

Your definition of [a] always passes argument [i] to [b], so the default
value is never used.

Cheers,
 David

On Sun, 2008-11-09 at 22:17 +0300, malc wrote:
> Objective Caml version 3.10.0
> 
> # let a i = let b ?(i=i mod 3) () = i in b ~i ();;
> val a : int -> int = <fun>
> # for i = 0 to 5 do print_int (a i); done;;
> 012345- : unit = ()
> 
> Is this something to be expected? Or perhaps something which calls
> for an upgrade?
> 
-- 
David Teller-Rajchenbach
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations. 

Re: [Caml-list] Optional arguments

[malc]

On Sun, 9 Nov 2008, David Teller wrote:

> What were you expecting?
>
> Your definition of [a] always passes argument [i] to [b], so the default
> value is never used.

Yes indeed, i probably should quit writing code this late, sorry for
the noise.

-- 
mailto:av1474@comtv.ru

Optional arguments

[Serguei Ouklonski]

Hi,

Example1:

let fn1 a:string (?b = "") = (String.length a) + (String.length b)

let x = fn1 "test"

  result is function

Example2:

let fn1 (?a = "") b:string = (String.length a) + (String.length b)

let x = fn1 "test"

  result is 4 (number)


It seems that in both cases result should be 4.

Have I missed something from OCaml docs?


Regards

Serguei Ouklonski

Re: Optional arguments

[Jacques Garrigue]

From: Serguei Ouklonski <Sergeiu@optrak.co.uk>

> Example1:
> 
> let fn1 a:string (?b = "") = (String.length a) + (String.length b)
> 
> let x = fn1 "test"
> 
>   result is function
> 
> Example2:
> 
> let fn1 (?a = "") b:string = (String.length a) + (String.length b)
> 
> let x = fn1 "test"
> 
>   result is 4 (number)
> 
> It seems that in both cases result should be 4.
> 
> Have I missed something from OCaml docs?

Optional arguments are discarded when you apply a functions to a
non-labelled argument _appearing after them_ in the function's type.
So in your example, since a is taken before b, b will not be
discarded.
Since there is no way to discard b in this, the compiler warns you:
      # let fn1 a ?(b = "") = String.length a + String.length b;;
      Warning: This optional argument cannot be erased
      val fn1 : string -> ?b:string -> int = <fun>

Regards,

Jacques Garrigue
---------------------------------------------------------------------------
Jacques Garrigue      Kyoto University     garrigue at kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>