
20 Nov
2007
20 Nov
'07
10:07 p.m.
briqueabraque:
Hi,
I would like to get a string for a number using always 2 digits (i.e., 75 would be "75", 3 would became "03"). What is the best way to do that? I tried
printf "%02d\n" 3
which gives me the correct string, but ghci always ends that call with a
*** Exception: Prelude.undefined
message. What else should I try? Can Text.PrettyPrint do that?
It's to do with ghci's defaulting. This is fixed in ghc 6.8: Prelude Text.Printf> printf "%02d\n" 3 03 You can work around it for now with: Prelude Text.Printf> printf "%02d\n" 3 >> return () 03 -- Don