Logs: liberachat/#haskell
| 2021-06-25 21:34:46 | <ericson2314> | Profpatsch: hi |
| 2021-06-25 21:34:52 | <ericson2314> | now i just gotta get hnix 0.13 going |
| 2021-06-25 21:39:01 | → | shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-06-25 21:39:27 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-25 21:39:54 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-25 21:40:02 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 21:44:26 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2021-06-25 21:44:27 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-25 21:47:32 | × | michalz quits (~michalz@185.246.204.119) (Remote host closed the connection) |
| 2021-06-25 21:53:11 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-25 21:58:08 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-25 21:58:08 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-25 21:59:08 | → | n283 joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-25 21:59:12 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-25 21:59:19 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-25 22:02:18 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-25 22:02:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-25 22:02:39 | allbery_b | is now known as geekosaur |
| 2021-06-25 22:02:42 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-06-25 22:03:26 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-25 22:05:34 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-25 22:06:28 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-06-25 22:06:56 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-06-25 22:09:32 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-25 22:10:36 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 2021-06-25 22:10:53 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-06-25 22:12:00 | × | n283 quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-25 22:12:07 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-25 22:14:35 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 258 seconds) |
| 2021-06-25 22:14:40 | × | Codaraxis_ quits (~Codaraxis@193.32.126.157) (Ping timeout: 272 seconds) |
| 2021-06-25 22:17:05 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-25 22:17:05 | × | Morrow_ quits (~MorrowM_@147.161.9.9) (Read error: Connection reset by peer) |
| 2021-06-25 22:17:12 | × | acidjnk quits (~acidjnk@p200300d0c72b9545f908228849627247.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-25 22:18:04 | → | Morrow joins (~MorrowM_@147.161.9.9) |
| 2021-06-25 22:18:10 | ← | delYsid parts (~user@user/delYsid) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-06-25 22:24:00 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-25 22:26:34 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-25 22:30:57 | <sm[m]> | when parsing a datetime string including a timezone with Data.Time.Format.parseTimeM, with a return type of Maybe Day, I think it just discards the timezone. Am I right ? |
| 2021-06-25 22:31:49 | <sm[m]> | so it you want to convert it to a local date, you should parse to Maybe UTCTime, then convert that to local date as a separate step ? |
| 2021-06-25 22:36:30 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) |
| 2021-06-25 22:42:09 | × | junkicide quits (~user@2a01:e0a:195:20c0:91d0:f47d:73ce:dac7) (Ping timeout: 272 seconds) |
| 2021-06-25 22:47:50 | → | egoist1 joins (~egoist@186.235.82.7) |
| 2021-06-25 22:49:28 | <mason0> | > Nothing <|> Just "foo" |
| 2021-06-25 22:49:29 | <lambdabot> | Just "foo" |
| 2021-06-25 22:49:34 | <mason0> | > Nothing <> Just "foo" |
| 2021-06-25 22:49:35 | <lambdabot> | Just "foo" |
| 2021-06-25 22:49:40 | <mason0> | which one is preferred? |
| 2021-06-25 22:49:58 | <hpc> | > Just "foo" <> Just "bar" |
| 2021-06-25 22:49:59 | <lambdabot> | Just "foobar" |
| 2021-06-25 22:50:04 | <hpc> | > Just "foo" <|> Just "bar" |
| 2021-06-25 22:50:06 | <lambdabot> | Just "foo" |
| 2021-06-25 22:50:08 | <mason0> | oh! |
| 2021-06-25 22:50:08 | <hpc> | mason0: it depends |
| 2021-06-25 22:50:15 | × | fendor quits (~fendor@91.141.57.241.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-25 22:50:19 | <mason0> | yeah, I definitely want <|> |
| 2021-06-25 22:51:00 | × | egoist quits (~egoist@186.235.82.7) (Ping timeout: 265 seconds) |
| 2021-06-25 23:02:14 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-06-25 23:04:34 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-25 23:05:16 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-25 23:05:26 | → | sleym joins (~sleym@185.124.240.166) |
| 2021-06-25 23:06:11 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Remote host closed the connection) |
| 2021-06-25 23:06:32 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-25 23:06:37 | <xsperry> | sm[m], if the time in string is in UTC, you could do that, yes |
| 2021-06-25 23:07:27 | → | adinfinitum joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-06-25 23:08:43 | → | mikail joins (~mikail@90.212.77.3) |
| 2021-06-25 23:08:46 | → | mikail_ joins (~mikail@90.212.77.3) |
| 2021-06-25 23:09:00 | × | mikail_ quits (~mikail@90.212.77.3) (Remote host closed the connection) |
| 2021-06-25 23:09:07 | <sm[m]> | xsperry: I'm getting really confused by parseTimeM's timezone handling |
| 2021-06-25 23:09:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-25 23:09:15 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-25 23:09:18 | <sm[m]> | if any! |
| 2021-06-25 23:10:24 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-25 23:10:26 | <mason0> | I'm pretty sure it doesn't do any |
| 2021-06-25 23:10:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-25 23:10:55 | <sm[m]> | man, that should be documented |
| 2021-06-25 23:12:54 | <mason0> | getCurrentTimeZone returns IO, parseTimeM is a pure function, so I don't think it can do any conversions, even if it wanted, with that type signature |
| 2021-06-25 23:13:16 | <mason0> | (and using getCurrentTimeZone would be wrong anyway) |
| 2021-06-25 23:13:23 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-25 23:13:54 | <sm[m]> | it seems to me the ParseTime instance for LocalTime discards parsed timezone info, but the instance for UTCTime does not: https://termbin.com/9fd5 |
| 2021-06-25 23:14:02 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-25 23:14:39 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-25 23:14:52 | <sm[m]> | or rather: the UTCTime instance uses parsed timezone to adjust the time of day, but not the date. The LocalTime instance adjusts neither. |
| 2021-06-25 23:15:06 | <mason0> | oh, interesting |
| 2021-06-25 23:15:11 | <mason0> | don't mind me, then :) |
| 2021-06-25 23:15:40 | <mason0> | I think LocalTime can't adjust for the reason I mentioned above, though. it can't know find out the current time zone without having IO signature |
| 2021-06-25 23:17:08 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 252 seconds) |
| 2021-06-25 23:17:12 | <mason0> | note that if you convert UTC to LocalTime using getCurrentTimeZone as an argument, you may get wrong result (if, for example, you are currently on summer time, but weren't at the date in the string) |
| 2021-06-25 23:17:12 | <sm[m]> | I agree, we couldn't expect the LocalTime instance to do this with the current type signature. Should still be documented I think. |
| 2021-06-25 23:18:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-25 23:18:58 | <mason0> | I agree, this should be documented |
| 2021-06-25 23:19:07 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 2021-06-25 23:19:09 | <sm[m]> | mason0: yikes |
| 2021-06-25 23:20:31 | × | azeem quits (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-06-25 23:20:39 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-25 23:20:54 | <sm[m]> | how to reliably extract the local date from a timestamp, I wonder ? |
| 2021-06-25 23:20:56 | <mason0> | since timezones, and whether there's a summer time or not, is a political decision, conversions for future dates can't even be determined |
| 2021-06-25 23:20:58 | × | mikail quits (~mikail@90.212.77.3) (Quit: Leaving) |
| 2021-06-25 23:21:14 | <mason0> | for past dates, see this: https://hackage.haskell.org/package/tz-0.1.3.5 |
| 2021-06-25 23:22:10 | <geekosaur> | sm[m], in the presence of summer time/DST changes, that's always iffy |
| 2021-06-25 23:22:29 | <sm[m]> | if I simplify and say, assume a past timestamp ? |
All times are in UTC.