21 Nov
2007
21 Nov
'07
11:41 a.m.
On Nov 20, 2007 7:07 PM, Don Stewart <dons@galois.com> wrote:
You can work around it for now with:
Prelude Text.Printf> printf "%02d\n" 3 >> return () 03
It may be simpler to specify the type explicitly: Prelude Text.Printf> printf "%02d\n" 3 :: IO () 03 Shachaf