Ticket #7716 (closed bug: invalid)

Opened 3 months ago

Last modified 2 months ago

ZonedTime read instance failing to parse what show returns

Reported by: mercer92 Owned by:
Priority: normal Milestone:
Component: libraries (other) Version: 7.4.2
Keywords: ZonedTime read show Cc:
Operating System: Windows Architecture: x86
Type of failure: Incorrect result at runtime Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Test case:

import Data.Time

main = do
  time <- getZonedTime
  let string = show time
  print string
  print $ (read string :: ZonedTime)

This gives me:

*Main> main
"2013-02-24 14:51:56.453125 Central European Standard Time"
*** Exception: Prelude.read: no parse

Reportedly this works with (some) other timezones, so be sure to also test it with mine (show time => "2013-02-24 14:51:56.453125 Central European Standard Time").

Change History

Changed 3 months ago by mercer92

  • keywords ZonedTime added; ZoneTime removed
  • summary changed from Zonetime read instance failing to parse what show returns to ZonedTime read instance failing to parse what show returns

Changed 2 months ago by igloo

  • status changed from new to closed
  • difficulty set to Unknown
  • resolution set to invalid

Thanks for the report. However, please send bugs in the time package to its maintainer, Ashley Yakeley <ashley@semantic.org>.

Note: See TracTickets for help on using tickets.