|
From: Jeremy F. <je...@go...> - 2003-03-18 19:01:26
|
On Tue, 2003-03-18 at 04:41, Nicholas Nethercote wrote:
> We use '%d' everywhere. I guess the use of Int instead of int isn't so
> important, more a convention maybe (although Julian may disagree).
It took me a while to work out that "Long" is not the same as "long".
Its a bit of a trap.
J
|