Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:10380
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Message-ID: <40C84D3C.4030704@dharana.net>
Date: Thu, 10 Jun 2004 13:59:56 +0200
User-Agent: Mozilla Thunderbird 0.6 (Windows/20040502)
MIME-Version: 1.0
To: hartmut@php-groupies.de
CC: internals@lists.php.net
References: <40C5FA4A.20206@dharana.net> <40C838DB.10301@php.net>
In-Reply-To: <40C838DB.10301@php.net>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] date('w') return type
From: dharana@dharana.net (dharana)

I think I just smoked something illegal before posting that question. 
The brain damage seems to be gone, sorry for the spam. It just did made 
sense at that moment.

Hartmut Holzgraefe wrote:
> dharana wrote:
> 
>> I know I can just cast to int, but is it ok to return an string for
>> things that can only be numbers?
> 
> 
> The date() and strftime() functions are expected to always return
> strings, no matter what the format string looks like.
> The same holds true for sprintf(), you wouldn't expect
> 
>   sprintf("%d", 42)
> 
> to return an int, would you?
> 

-- 
Juan Alonso

This message represents the official view of the voices in my head