[GHC] #7716: Zonetime read instance failing to parse what show returns

GHC cvs-ghc at haskell.org
Sun Feb 24 15:08:52 CET 2013


#7716: Zonetime read instance failing to parse what show returns
----------------------------------------+-----------------------------------
Reporter:  mercer92                     |          Owner:                    
    Type:  bug                          |         Status:  new               
Priority:  normal                       |      Component:  libraries (other) 
 Version:  7.4.2                        |       Keywords:  ZoneTime read show
      Os:  Windows                      |   Architecture:  x86               
 Failure:  Incorrect result at runtime  |      Blockedby:                    
Blocking:                               |        Related:                    
----------------------------------------+-----------------------------------
 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").

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7716>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list