[Caml-list] Newbie question about type (and syntax?)

[Caml-list] Newbie question about type (and syntax?)

[Johann Spies]

I am working through a tutorial and typing in the following example
produced an error:

-------------------------------
let rec power i x =
        if i = 0 then
                1
        else
        x *. (power (i-1) x);;
This expression has type float but is here used with type int
-------------------------------------------------------

I can not see why it is an error and how to correct the code coming
from the tutorial.

Can somebody help me please?
Johann
-- 
J.H. Spies - Tel. 082 782 0336.  Posbus 4668, Tygervallei 7536
     "Honour thy father and mother; which is the first  
      commandment with promise; That it may be well with 
      thee, and thou mayest live long on the earth."        
                          Ephesians 6:2,3 
-------------------
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

Re: [Caml-list] Newbie question about type (and syntax?)

[Remi VANICAT]

Johann Spies <jhspies@adept.co.za> writes:

> I am working through a tutorial and typing in the following example
> produced an error:
> 
> -------------------------------
> let rec power i x =
>         if i = 0 then
>                 1
>         else
>         x *. (power (i-1) x);;
> This expression has type float but is here used with type int
> -------------------------------------------------------
> 
> I can not see why it is an error and how to correct the code coming
> from the tutorial.

1 is an int. it's the problem, you should use 1. (after the then)

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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

Re: [Caml-list] Newbie question about type (and syntax?)

[Johann Spies]

Many thanks to everyone answering my newbie question.  It seems that
the people on this list are a friendly bunch.  

Johann
-- 
J.H. Spies - Tel. 082 782 0336.  Posbus 4668, Tygervallei 7536
     "For I am not ashamed of the gospel of Christ; for it 
      is the power of God unto salvation to every one that 
      believeth; to the Jew first, and also to the Greek."  
                             Romans 1:16 
-------------------
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