[Ur] Proposing 'readTime'

Adam Chlipala adamc at impredicative.com
Sun May 15 09:13:25 EDT 2011


Gian Perrone wrote:
> I propose a 'readTime' function to exist in addition to 'readUtc' that
> will simply read a formatted time string as though it were in local
> time.
>    

Isn't this the same as the current [read] instance for [time]?  That is, 
don't you get the same behavior by calling the [read] function?



More information about the Ur mailing list