Date toString

[asanzo]

It'd be nice to have something printed like

un/a Date[1/9/2016]

Instead of today's

un/a Date[]

[fdodino]

@asanzo

What about

Date[28/12/2016]

and

Date[28/02/2016]

(withou a/un)

@matifreyre , @flbulgarelli , @npasserini , @tesonep , @javierfernandes ?
I agree that Wollok Date should should day, month & year...

[flbulgarelli]

Hi! Ok for me. Just a suggestion: wollok has i18n, so either:

• the date format should depend on the locale - please not harcode the dd/mm//yyyy format, or
• the date should use the international ISO date format - yyyy-mm-dd

[fdodino]

Mmmm... I don't personally like it.
But if everybody else does ...

[matifreyre]

If it's possible to get the date formatted according to the user's OS
locale, that would be nice.

I really like even more any format with the month in characters instead of
numbers (e.g.: 01/Ene/2017) because you can't confuse the day and the month
with each other, but I don't want to add noise to the discussion :-P

On Mon, Sep 5, 2016 at 12:10 PM, Fernando Dodino notifications@github.com
wrote:

Mmmm... I don't personally like it.
But if everybody else does ...

—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
#964 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AJ-EZjLMnkARXTgg_2HCW02HUe2sa1L-ks5qnDDNgaJpZM4JzNgG
.

[tesonep]

I don't like the use of locale strings when entering as a constant. It is a
bad idea, and is not portable between users.

The constants should be written in ISO mode YYYY-mm-dd

Displaying the date is other story, it can be done using the locale, maybe
we can have both representations. I really really prefer using letters for
the month, so the date is undoubtedly written.

On Mon, Sep 5, 2016 at 5:28 PM, Matías Freyre notifications@github.com
wrote:

If it's possible to get the date formatted according to the user's OS
locale, that would be nice.

I really like even more any format with the month in characters instead of
numbers (e.g.: 01/Ene/2017) because you can't confuse the day and the month
with each other, but I don't want to add noise to the discussion :-P

On Mon, Sep 5, 2016 at 12:10 PM, Fernando Dodino <notifications@github.com

wrote:

Mmmm... I don't personally like it.
But if everybody else does ...

—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#964
issuecomment-244768275>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AJ-EZjLMnkARXTgg_
2HCW02HUe2sa1L-ks5qnDDNgaJpZM4JzNgG>

.

—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
#964 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AAVsf4l2euKnWJrxvaS-uMNBz6ZntnoUks5qnDUfgaJpZM4JzNgG
.

Pablo Tesone.
tesonep@gmail.com

[npasserini]

On Mon, Sep 5, 2016 at 5:28 PM, Matías Freyre notifications@github.com
wrote:

If it's possible to get the date formatted according to the user's OS
locale, that would be nice.

Maybe it is possible but then you should take that into account in the
tests.