Re: [Caml-list] writing some code using a function for which only the signature is known

[Arlen Cuss <celtic@sairyx.org>]

[-- Attachment #1: Type: text/plain, Size: 990 bytes --]

On Fri, 2011-01-21 at 14:40 +0900, Francois Berenger wrote:
> Hello,
> 
> If I am writing some code, and I don't want to dive
> into implementing some sub function I will need but don't
> have yet, what is the standard way to do this in ocaml?
> 
> In python, there is the pass keyword, Haskell has some
> keyword which I don't remember for this also.
> 
> Sorry for the dumb question maybe, I am returning to ocaml
> after a too long absence. :)
> 
> Regards,
> Francois.
> 

I tend to use failwith (type is string -> 'a); it just raises Failure
with your string, so..

# let my_fun par1 par2 par3 =
    failwith "myfun not implemented";;
val my_fun : 'a -> 'b -> 'c -> 'd = <fun>
# let sub_fun = function
   | true -> 42
   | false -> my_fun 92 [1,2,3] 'x';;
val sub_fun : bool -> int = <fun>
# sub_fun true;;
- : int = 42
# sub_fun false;;
Exception: Failure "myfun not implemented".
# 

It type checks anything because it raises an exception.

Arlen

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 836 bytes --]