Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Passing printf format strings to functions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-14 (21:56)
From: Erik de Castro Lopo <ocaml-erikd@m...>
Subject: [Caml-list] Passing printf format strings to functions
Hi all,

I've got a little problem which I can't seem to get to the
bottom of. The following code snippet won't compile:

    let rec print_string_pairs (fmt:string) =
            [] -> print_endline ""
        |    a :: b ->
                Printf.printf fmt (fst a) (snd a) ;
                print_string_pairs fmt b

    let fmt = Printf.sprintf "      %%%ds  ==  %%s\n" 20 ;;

    print_endline fmt ;;

    let pairs = [ ("a", "b") ; ("c", "d") ; ("e", "f") ] ;;

    print_string_pairs fmt pairs ;;

and it gives me an error (line 5 is the Printf.printf line):

    File "", line 5, characters 18-21:
    This expression has type string but is here used with type
      ('a -> 'b -> 'c, out_channel, unit) format =
        ('a -> 'b -> 'c, out_channel, unit, unit) format4

If I replace "fmt" on that line with

    Printf.printf "%s     %s\n" (fst a) (snd a) ;

there is no problem. I think this is something to do with type
inferencing of format strings but I can't get to the bottom
of it.

Any suggestions?

  Erik de Castro Lopo (Yes it's valid)
"Using Java as a general purpose application development language
is like going big game hunting armed with Nerf weapons."
-- Author Unknown

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: