IRCBrowse

2021/09/05

2021-09-05 00:07:13 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-09-05 00:13:08 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2021-09-05 00:14:29 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-09-05 00:16:48 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-09-05 00:17:06 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 00:17:09 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-09-05 00:26:15 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-09-05 00:26:15 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-09-05 00:26:18 +0200allbery_bgeekosaur
2021-09-05 00:26:21 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-05 00:28:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 00:28:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 00:28:07 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 00:37:37 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 245 seconds)
2021-09-05 00:37:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2) (Remote host closed the connection)
2021-09-05 00:39:43 +0200DNH(~DNH@8.43.122.27) (Quit: Textual IRC Client: www.textualapp.com)
2021-09-05 00:40:10 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-09-05 00:40:34 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-191.088.075.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-09-05 00:40:38 +0200TranquilEcho(~grom@user/tranquilecho) (Ping timeout: 252 seconds)
2021-09-05 00:41:43 +0200TranquilEcho(~grom@user/tranquilecho)
2021-09-05 00:41:51 +0200Techcable(~Techcable@168.235.93.147)
2021-09-05 00:42:32 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net)
2021-09-05 00:43:03 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2021-09-05 00:46:45 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2)
2021-09-05 00:59:17 +0200 <koz> I'm getting Haddock errors with GHC 8.4.4, that look like this:
2021-09-05 00:59:36 +0200 <koz> https://gist.github.com/kozross/607b455139cb4a6acce1e5e769751b7d
2021-09-05 00:59:43 +0200 <koz> Is there something I'm missing here?
2021-09-05 01:04:13 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-05 01:04:15 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2)
2021-09-05 01:05:39 +0200 <geekosaur> seems okay to me, unless pasting turned a nonbreaking space into a regular one or something
2021-09-05 01:05:56 +0200 <koz> geekosaur: What's weird is that this _doesn't_ trigger on any other version AFAICT.
2021-09-05 01:07:12 +0200acidjnk(~acidjnk@p200300d0c7203041c87a18810a048a6d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-05 01:08:27 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2021-09-05 01:14:44 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-09-05 01:16:41 +0200 <koz> Seems it does - but only pre 8.6!
2021-09-05 01:16:45 +0200 <koz> (in exactly the same way)
2021-09-05 01:16:52 +0200ubert(~Thunderbi@91.141.67.114.wireless.dyn.drei.com)
2021-09-05 01:17:19 +0200ubert(~Thunderbi@91.141.67.114.wireless.dyn.drei.com) (Client Quit)
2021-09-05 01:18:02 +0200 <geekosaur> hm, I thtought @since predated those
2021-09-05 01:18:15 +0200 <geekosaur> that said it is a fairly recent addition
2021-09-05 01:18:22 +0200 <koz> So it might not work pre-8.6?
2021-09-05 01:18:28 +0200 <koz> Guess I gotta read Haddock changelogs.
2021-09-05 01:19:04 +0200 <koz> What Haddock ships with 8.6?
2021-09-05 01:20:11 +0200 <geekosaur> I thought haddock version was tied to ghc version since it was redone to use ghc's parser etc.
2021-09-05 01:20:42 +0200 <koz> That's what I thought, but they're not on the same versioning scheme, so I'm not sure what goes with what.
2021-09-05 01:21:25 +0200 <geekosaur> rats, the version history page on the wiki is only libraries
2021-09-05 01:21:54 +0200 <koz> Definitely pre-8.6 Haddock issue.
2021-09-05 01:23:10 +0200 <Clint> koz: 8.6 would have been haddock interface 34, i think
2021-09-05 01:23:27 +0200 <koz> Clint: Did that change how @since worked?
2021-09-05 01:23:40 +0200 <koz> This is annotating a deriving.
2021-09-05 01:24:03 +0200 <Clint> no idea
2021-09-05 01:24:23 +0200 <koz> Well, gonna differentiate it some more to make _sure_ that's what it is.
2021-09-05 01:24:35 +0200 <koz> But that's looking like a Haddock issue pre 8.6 so far.
2021-09-05 01:38:05 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2) (Remote host closed the connection)
2021-09-05 01:38:10 +0200pavonia(~user@user/siracusa)
2021-09-05 01:40:43 +0200benin0369323(~benin@183.82.207.253)
2021-09-05 01:41:21 +0200 <koz> OK, if I change this to `-- ^ @since 0.7`, this works on 8.4 and 8.2, but _not_ 8.0.
2021-09-05 01:45:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2)
2021-09-05 01:47:00 +0200fernand(~fernand@179.156.35.4)
2021-09-05 02:03:12 +0200fernand(~fernand@179.156.35.4) (Quit: Connection closed)
2021-09-05 02:04:26 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-05 02:06:34 +0200minimario(~minimario@2603-900a-1600-ba00-5c11-a774-3b23-4728.inf6.spectrum.com)
2021-09-05 02:06:39 +0200minimario(~minimario@2603-900a-1600-ba00-5c11-a774-3b23-4728.inf6.spectrum.com) ()
2021-09-05 02:06:40 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2021-09-05 02:11:19 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds)
2021-09-05 02:12:14 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-05 02:15:53 +0200fendor(~fendor@91.141.39.112.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-05 02:16:16 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 02:16:33 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 02:17:05 +0200TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-09-05 02:20:40 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 02:21:23 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 02:27:23 +0200zebrag(~chris@user/zebrag)
2021-09-05 02:36:39 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Quit: Konversation terminated!)
2021-09-05 02:38:23 +0200hannessteffenhag(~hannesste@ip4d14ffd8.dynamic.kabel-deutschland.de)
2021-09-05 02:39:49 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 02:45:07 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds)
2021-09-05 02:45:25 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 02:45:58 +0200hannessteffenhag(~hannesste@ip4d14ffd8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2021-09-05 02:51:02 +0200sm2n_sm2n
2021-09-05 02:55:04 +0200 <hololeap> I've got a type T that is isomorphic to type V, but is not a newtype wrapper. I want to use DerivingVia to reuse an instance that exists for V, and apply it to T. how can I do this?
2021-09-05 03:03:34 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 03:04:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2) (Remote host closed the connection)
2021-09-05 03:06:16 +0200 <pavonia> hololeap: Adding "via V" to the deriving clause doesn't work?
2021-09-05 03:10:28 +0200 <hololeap> pavonia: http://sprunge.us/KqFw3S
2021-09-05 03:11:35 +0200libertyprime(~libertypr@197.109.124.202.static.snap.net.nz)
2021-09-05 03:12:24 +0200neurocyte8(~neurocyte@IP-213188117211.dialin.heagmedianet.de)
2021-09-05 03:12:24 +0200neurocyte8(~neurocyte@IP-213188117211.dialin.heagmedianet.de) (Changing host)
2021-09-05 03:12:24 +0200neurocyte8(~neurocyte@user/neurocyte)
2021-09-05 03:14:00 +0200 <pavonia> Hhm, no idea then
2021-09-05 03:16:17 +0200neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-09-05 03:16:17 +0200neurocyte8neurocyte
2021-09-05 03:19:45 +0200 <hololeap> there is "4.3 - Deriving via isomorphisms" from the "Deriving Via" paper but it's ugly and confusing
2021-09-05 03:21:00 +0200 <geekosaur> there comes a point where it's easier to just write the damn thing yourself...
2021-09-05 03:21:32 +0200 <hololeap> "Note that the via type does not have to be a newtype. The only restriction is that it is coercible with the original data type."
2021-09-05 03:22:08 +0200 <hololeap> so how do I make my Range type coercible with These?
2021-09-05 03:22:30 +0200 <geekosaur> hm. does that mean Data.Coerce? because that would exclude what you're trying to do, representationally equivalent isn't enough
2021-09-05 03:22:49 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 03:23:06 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 03:23:45 +0200 <geekosaur> you can look at the docs for Data.Coerce but iirc you can't get there from here
2021-09-05 03:23:57 +0200 <hololeap> oh, I see what it's saying
2021-09-05 03:24:54 +0200 <geekosaur> and I din't think you're allowed to wreite your own Coercible instance
2021-09-05 03:25:40 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-09-05 03:27:11 +0200 <hololeap> yeah it doesn't give you any way to do that
2021-09-05 03:27:53 +0200 <hololeap> so is this as good as it gets, without making Range a newtype? http://sprunge.us/R6uAmH
2021-09-05 03:28:16 +0200 <hololeap> I just want more meaningful constructor names, but that semigroup instance is annoying to write by hand
2021-09-05 03:29:10 +0200 <geekosaur> probably
2021-09-05 03:29:29 +0200xff0x(~xff0x@2001:1a81:5399:4e00:f397:598c:9bde:b2ba) (Ping timeout: 252 seconds)
2021-09-05 03:30:29 +0200 <pavonia> What additional properties are required for the Coercible instance?
2021-09-05 03:31:04 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:b362:d9b0:e8ff:4377)
2021-09-05 03:31:07 +0200 <geekosaur> they have to bve directly or indirectly related, not just representationally equivalent
2021-09-05 03:31:44 +0200 <geekosaur> basically the compiler has to be able to follow a chain of internally-generated Coercible instances to relate the two types
2021-09-05 03:34:23 +0200 <pavonia> Not sure what that means. For what kind of types does such a relation exist?
2021-09-05 03:34:55 +0200alx741(~alx741@181.196.69.46) (Quit: alx741)
2021-09-05 03:35:38 +0200 <hololeap> pavonia: basically just some arbitrary number of newtype wrappings, from what I can tell
2021-09-05 03:36:28 +0200 <hololeap> if you can morph one type into another type by wrapping/unwrapping it in nothing but newtypes, they will be coercible
2021-09-05 03:36:36 +0200 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.15.0.0/Data-Coerce.html
2021-09-05 03:39:47 +0200nfd(~nfd@user/nfd)
2021-09-05 03:39:57 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net) (Quit: WeeChat 3.2)
2021-09-05 03:40:55 +0200 <pavonia> What does "class a ~R# b" denote?
2021-09-05 03:41:02 +0200libertyprime(~libertypr@197.109.124.202.static.snap.net.nz) (Ping timeout: 252 seconds)
2021-09-05 03:41:37 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net)
2021-09-05 03:48:02 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 03:48:15 +0200[_][itchyjunk]
2021-09-05 03:52:12 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-09-05 03:53:10 +0200 <geekosaur> it's documented at the bottom of https://gitlab.haskell.org/ghc/ghc/-/wikis/roles-implementation
2021-09-05 03:55:59 +0200 <geekosaur> and may correspond to the ~ρ mentioned on page 6 of http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
2021-09-05 03:56:49 +0200libertyprime(~libertypr@118.149.81.105)
2021-09-05 04:01:47 +0200 <pavonia> Thanks
2021-09-05 04:05:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2)
2021-09-05 04:06:29 +0200natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-09-05 04:06:52 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-09-05 04:06:52 +0200FinnElijaGuest7529
2021-09-05 04:06:52 +0200Guest7529(~finn_elij@user/finn-elija/x-0085643) (Killed (calcium.libera.chat (Nickname regained by services)))
2021-09-05 04:06:52 +0200finn_elijaFinnElija
2021-09-05 04:10:40 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2) (Ping timeout: 252 seconds)
2021-09-05 04:12:02 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-09-05 04:16:01 +0200zaquest(~notzaques@5.128.210.178)
2021-09-05 04:18:51 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-09-05 04:19:32 +0200td_(~td@94.134.91.73) (Ping timeout: 252 seconds)
2021-09-05 04:21:21 +0200td_(~td@muedsl-82-207-238-013.citykom.de)
2021-09-05 04:25:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2)
2021-09-05 05:08:25 +0200otto_s_(~user@p4ff2722c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-09-05 05:10:09 +0200otto_s(~user@p5b044ad0.dip0.t-ipconnect.de)
2021-09-05 05:14:16 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-09-05 05:14:33 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 05:16:44 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-05 05:17:09 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 05:20:20 +0200brettgilio(~brettgili@137.184.3.255)
2021-09-05 05:21:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-05 05:23:27 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds)
2021-09-05 05:23:44 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 05:28:13 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds)
2021-09-05 05:30:10 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds)
2021-09-05 05:30:25 +0200Lycurgus(~juan@98.4.112.204)
2021-09-05 05:30:27 +0200MQ-17J(~MQ-17J@8.21.10.6)
2021-09-05 05:48:17 +0200wei2912(~wei2912@112.199.250.21)
2021-09-05 05:51:35 +0200Sgeo_(~Sgeo@user/sgeo)
2021-09-05 05:52:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-09-05 05:54:04 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 252 seconds)
2021-09-05 06:19:40 +0200nfd(~nfd@user/nfd) (Ping timeout: 240 seconds)
2021-09-05 06:25:57 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 245 seconds)
2021-09-05 06:27:22 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 06:47:18 +0200mei(~mei@user/mei)
2021-09-05 06:51:35 +0200Everything(~Everythin@37.115.210.35) (Quit: leaving)
2021-09-05 06:59:00 +0200mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Quit: Surfing the great wave off Kanagawa)
2021-09-05 06:59:42 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2021-09-05 07:00:20 +0200mrus(~mrus@149.28.224.172)
2021-09-05 07:00:59 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 07:10:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-09-05 07:11:24 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 07:16:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 07:16:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 07:16:23 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 07:21:12 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-09-05 07:26:55 +0200mrus(~mrus@149.28.224.172) (Quit: Surfing the great wave off Kanagawa)
2021-09-05 07:27:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 07:27:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 07:27:12 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 07:27:21 +0200mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae)
2021-09-05 07:28:33 +0200Guest66_(~textual@2603:3020:e00:8100:4d23:3b2f:14f2:bb44)
2021-09-05 07:28:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-09-05 07:31:25 +0200MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 252 seconds)
2021-09-05 07:31:38 +0200mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Client Quit)
2021-09-05 07:31:57 +0200mrus(~mrus@149.28.224.172)
2021-09-05 07:32:59 +0200mrus(~mrus@149.28.224.172) (Client Quit)
2021-09-05 07:38:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-09-05 07:47:28 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-05 07:49:01 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-09-05 07:49:25 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 07:53:46 +0200slack1256(~slack1256@ip-64-134-164-2.public.wayport.net)
2021-09-05 07:53:52 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-09-05 07:56:20 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-09-05 08:00:29 +0200Guest66_(~textual@2603:3020:e00:8100:4d23:3b2f:14f2:bb44) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-05 08:01:45 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-09-05 08:05:34 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-05 08:26:56 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2021-09-05 08:44:21 +0200thyriaen(~thyriaen@dynamic-078-055-123-051.78.55.pool.telefonica.de)
2021-09-05 08:54:48 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 08:55:44 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-09-05 08:58:35 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-191.088.075.pools.vodafone-ip.de)
2021-09-05 09:00:17 +0200slack1256(~slack1256@ip-64-134-164-2.public.wayport.net) (Remote host closed the connection)
2021-09-05 09:06:04 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 09:08:43 +0200nattiestnate(~nate@36.81.8.78)
2021-09-05 09:13:35 +0200nattiestnate(~nate@36.81.8.78) (Client Quit)
2021-09-05 09:18:57 +0200libertyprime(~libertypr@118.149.81.105) (Quit: leaving)
2021-09-05 09:24:39 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-09-05 09:28:53 +0200mc47(~mc47@xmonad/TheMC47)
2021-09-05 09:33:14 +0200awpr(uid446117@id-446117.tooting.irccloud.com) ()
2021-09-05 09:33:29 +0200awpr(uid446117@id-446117.lymington.irccloud.com)
2021-09-05 09:35:55 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 09:36:22 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-09-05 09:36:53 +0200aarvar(~aaron@2601:602:a080:fa0:2b49:6db1:e21:14d8) (Ping timeout: 252 seconds)
2021-09-05 09:41:10 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-09-05 09:43:50 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-09-05 09:49:06 +0200acidjnk(~acidjnk@p200300d0c7203041c87a18810a048a6d.dip0.t-ipconnect.de)
2021-09-05 09:52:05 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-191.088.075.pools.vodafone-ip.de) (Remote host closed the connection)
2021-09-05 09:52:31 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-191.088.075.pools.vodafone-ip.de)
2021-09-05 09:55:27 +0200max22-(~maxime@2a01cb088335980059777f3ef448327c.ipv6.abo.wanadoo.fr)
2021-09-05 09:57:32 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 09:59:12 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-09-05 10:00:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:89b5:4a22:cf8b:aed2) (Remote host closed the connection)
2021-09-05 10:06:36 +0200hendursa1(~weechat@user/hendursaga)
2021-09-05 10:10:21 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-05 10:11:46 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 250 seconds)
2021-09-05 10:17:21 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-05 10:17:43 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-05 10:19:02 +0200jakalx(~jakalx@base.jakalx.net)
2021-09-05 10:35:15 +0200vysn(~vysn@user/vysn)
2021-09-05 10:37:31 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 10:41:40 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-09-05 10:46:25 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.2)
2021-09-05 10:46:50 +0200vysn(~vysn@user/vysn)
2021-09-05 10:47:03 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-09-05 10:49:12 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-09-05 10:49:49 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-09-05 10:53:05 +0200lep-lep
2021-09-05 10:53:58 +0200acidjnk_new(~acidjnk@p200300d0c7203041e4b6d81317d42b76.dip0.t-ipconnect.de)
2021-09-05 10:54:00 +0200__monty__(~toonn@user/toonn)
2021-09-05 10:57:37 +0200acidjnk(~acidjnk@p200300d0c7203041c87a18810a048a6d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-05 11:01:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:857f:fa29:eec4:b0fd)
2021-09-05 11:05:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:857f:fa29:eec4:b0fd) (Ping timeout: 240 seconds)
2021-09-05 11:10:09 +0200 <hexeme> Trying to use the comment eval feature in vscode's haskell support, but I can't get it to actually insert the output of the evaluation result: https://i.imgur.com/fS26JBV.png
2021-09-05 11:10:18 +0200 <hexeme> anyone familiar with this extension?
2021-09-05 11:12:26 +0200ulvarrefr(~user@185.24.53.152) (Quit: ERC (IRC client for Emacs 27.2))
2021-09-05 11:13:41 +0200ulvarrefr(~user@185.24.53.152)
2021-09-05 11:13:50 +0200Lycurgus(~juan@98.4.112.204)
2021-09-05 11:14:02 +0200 <hexeme> nm
2021-09-05 11:16:36 +0200mei(~mei@user/mei) (Quit: mei)
2021-09-05 11:19:11 +0200hexfive(~eric@50.35.83.177)
2021-09-05 11:21:35 +0200hexfive(~eric@50.35.83.177) (Client Quit)
2021-09-05 11:25:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-09-05 11:26:19 +0200 <Orbstheorem> How do I debug a timeout in quickcheck properties?
2021-09-05 11:28:08 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-05 11:28:25 +0200 <Rembane_> Orbstheorem: I do it by adding loads and loads of trace and traceShow.
2021-09-05 11:28:44 +0200 <Orbstheorem> Some elements in my test suite sporadically take very long times and I can't figure why. My guess was the generators and `suchThat` filters, but since I can't deterministically reproduce a test I can't really bisect :(
2021-09-05 11:29:06 +0200 <Orbstheorem> Is there a way to record and reuse a test seed?
2021-09-05 11:29:18 +0200 <Rembane_> Orbstheorem: Do you get more to play with if you add more test runs?
2021-09-05 11:29:31 +0200 <Rembane_> Orbstheorem: Yes you can. I have only found how in tasty though.
2021-09-05 11:29:51 +0200 <Rembane_> Orbstheorem: https://stackoverflow.com/questions/19189476/how-to-set-constant-seeds-for-haskells-quickcheck-fun… <- something like this perhaps?
2021-09-05 11:31:36 +0200 <Orbstheorem> Rembane_: Not really :/
2021-09-05 11:31:47 +0200 <Orbstheorem> Rembane_: Reading....
2021-09-05 11:32:14 +0200timCF(~timCF@m91-129-108-244.cust.tele2.ee)
2021-09-05 11:33:59 +0200 <timCF> Hello! Is there any standard type of positive Rational in Haskell, or I just create newtype with smart constructor? Just don't want to reinvent a wheel :)
2021-09-05 11:34:25 +0200 <dibblego> https://hackage.haskell.org/package/natural
2021-09-05 11:34:42 +0200 <dminuoso> timCF: You can use `Ratio Unsigned`?
2021-09-05 11:34:55 +0200 <dminuoso> Err, `Ratio Natural`
2021-09-05 11:35:09 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net)
2021-09-05 11:35:29 +0200benin03693233(~benin@183.82.207.253)
2021-09-05 11:35:39 +0200 <dminuoso> timCF: Consider that `type Rational = Ratio Integer`
2021-09-05 11:36:10 +0200benin0369323(~benin@183.82.207.253) (Ping timeout: 252 seconds)
2021-09-05 11:36:10 +0200benin03693233benin0369323
2021-09-05 11:37:22 +0200 <timCF> I'll take a look, thanks!
2021-09-05 11:38:22 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:b362:d9b0:e8ff:4377) (Ping timeout: 252 seconds)
2021-09-05 11:39:15 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:a4d9:e30c:7a3d:a7fe)
2021-09-05 11:42:40 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds)
2021-09-05 11:48:40 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds)
2021-09-05 11:49:26 +0200favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-09-05 11:50:12 +0200hannessteffenhag(~hannesste@ip4d14ffd8.dynamic.kabel-deutschland.de)
2021-09-05 11:51:00 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 11:51:38 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-05 11:53:31 +0200 <Orbstheorem> Yes, got a reproducible failure! Thanks!
2021-09-05 11:55:29 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-05 11:58:40 +0200kenran(~kenran@200116b82bb26900654cf7da7de5144b.dip.versatel-1u1.de)
2021-09-05 12:00:51 +0200timCF(~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving)
2021-09-05 12:01:06 +0200leplep-
2021-09-05 12:01:12 +0200 <tomsmeding> Orbstheorem: there is Test.QuickCheck.Random.mkQCGen :: Int -> QCGen that creates a QCGen with a particular seed, if you don't want to use tasty
2021-09-05 12:01:23 +0200gehmehgeh(~user@user/gehmehgeh)
2021-09-05 12:01:24 +0200 <tomsmeding> there's no documentation for that function on hackage for some reason
2021-09-05 12:04:46 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 252 seconds)
2021-09-05 12:05:31 +0200fendor(~fendor@91.141.39.112.wireless.dyn.drei.com)
2021-09-05 12:07:00 +0200 <Orbstheorem> I wrote this:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/fe823de0d6ebca77f298f8fb12ff2a075df2…)
2021-09-05 12:07:32 +0200 <tomsmeding> printf debugging for the win
2021-09-05 12:08:16 +0200 <Orbstheorem> `traceShow` \o/ xD
2021-09-05 12:09:17 +0200kenran(~kenran@200116b82bb26900654cf7da7de5144b.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-09-05 12:09:44 +0200 <Orbstheorem> The problem with the optimizer is that even if the seed is random the generated code is not xD
2021-09-05 12:10:00 +0200 <Orbstheorem> Just by adding traceShow, sometimes I get the failure after 1 test and sometimes after 4 xD
2021-09-05 12:11:21 +0200acro_(~acro@user/acro)
2021-09-05 12:12:41 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 12:13:23 +0200hexagoxe-(~hexagoxel@2a01:4f8:c0c:e::2)
2021-09-05 12:13:24 +0200connrs_(~connrs@user/connrs)
2021-09-05 12:13:39 +0200ptrcmd_(~ptrcmd@user/ptrcmd)
2021-09-05 12:16:43 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net)
2021-09-05 12:18:26 +0200hexagoxel(~hexagoxel@hexagoxel.de) (Ping timeout: 276 seconds)
2021-09-05 12:18:26 +0200acro(~acro@user/acro) (Ping timeout: 276 seconds)
2021-09-05 12:18:26 +0200connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-05 12:18:26 +0200ptrcmd(~ptrcmd@user/ptrcmd) (Ping timeout: 276 seconds)
2021-09-05 12:18:26 +0200acro_acro
2021-09-05 12:18:26 +0200connrs_connrs
2021-09-05 12:18:37 +0200ptrcmd_ptrcmd
2021-09-05 12:18:40 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-09-05 12:35:40 +0200 <Orbstheorem> Found my problem: `sublistOf [] `suchThat` (not . null)` ...
2021-09-05 12:35:53 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-09-05 12:37:59 +0200jakalx(~jakalx@base.jakalx.net)
2021-09-05 12:38:36 +0200 <hexeme> haskell is pretty crazy but i'm having fun
2021-09-05 12:38:46 +0200xkuru(~xkuru@user/xkuru)
2021-09-05 12:40:14 +0200 <Orbstheorem> I think it's the very first time I use BangPatterns x)
2021-09-05 12:40:42 +0200 <Orbstheorem> Also, I discovered that deconstructors will force evaluation.
2021-09-05 12:41:05 +0200AndrewCoHaxPenguino
2021-09-05 12:41:10 +0200 <tomsmeding> deconstructors?
2021-09-05 12:41:24 +0200 <Orbstheorem> Pattern matching on assignments.
2021-09-05 12:41:42 +0200 <sshine> fun pastime: watching haskell projects compile to see what packages other people depend on. it's a pretty neat way to discover things, I think. :)
2021-09-05 12:42:20 +0200 <Orbstheorem> x)
2021-09-05 12:43:45 +0200CoHaxPenguinoHaxPenguino
2021-09-05 12:43:48 +0200 <sshine> Orbstheorem, congrats on levelling up!
2021-09-05 12:44:24 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-09-05 12:44:38 +0200 <sshine> Orbstheorem, on Friday there's a Haskell Love talk on GHC's Strict mode that you may want to see, then.
2021-09-05 12:44:46 +0200 <kaol> Huh. I have two IntMaps. Their set of keys are equal, but running intersectionWith (,) for them yields an empty IntMap. How can this be.
2021-09-05 12:44:59 +0200Orbstheoremgoogles Haskell Love
2021-09-05 12:45:17 +0200 <Orbstheorem> Ohhhh
2021-09-05 12:45:18 +0200 <Orbstheorem> Nice!
2021-09-05 12:45:20 +0200 <Orbstheorem> :)
2021-09-05 12:45:24 +0200 <sshine> Orbstheorem, https://www.youtube.com/watch?v=IQYIOZUUrNc&list=PLBqWQH1MiwBTwo2wrwINAorzXRumxO41s&index=10
2021-09-05 12:49:52 +0200hannessteffenhag(~hannesste@ip4d14ffd8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2021-09-05 12:49:58 +0200 <tromp> please consider upvoting HN submission of my Haskell based project, https://news.ycombinator.com/item?id=28423029
2021-09-05 12:53:24 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:a4d9:e30c:7a3d:a7fe) (Ping timeout: 250 seconds)
2021-09-05 12:54:18 +0200Morrow_(~Morrow@31.154.96.164)
2021-09-05 12:54:27 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:6afe:f077:c625:e6c4)
2021-09-05 12:56:18 +0200 <[exa]> tromp: opening the github-- I thought for a moment that the chess pictures are made of unicode. :D
2021-09-05 12:57:44 +0200 <[exa]> alas /me has no HN account
2021-09-05 12:58:13 +0200tomsmedinggave [exa]'s upvote
2021-09-05 13:00:59 +0200alx741(~alx741@181.196.69.46)
2021-09-05 13:02:13 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:857f:fa29:eec4:b0fd)
2021-09-05 13:03:29 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-05 13:06:22 +0200max22-(~maxime@2a01cb088335980059777f3ef448327c.ipv6.abo.wanadoo.fr) (Ping timeout: 245 seconds)
2021-09-05 13:06:40 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:857f:fa29:eec4:b0fd) (Ping timeout: 240 seconds)
2021-09-05 13:09:56 +0200AlexNoo_(~AlexNoo@178.34.151.45)
2021-09-05 13:12:58 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-05 13:13:10 +0200AlexZenon(~alzenon@178.34.151.114) (Ping timeout: 240 seconds)
2021-09-05 13:13:10 +0200Alex_test(~al_test@178.34.151.114) (Ping timeout: 240 seconds)
2021-09-05 13:13:31 +0200AlexNoo(~AlexNoo@178.34.151.114) (Ping timeout: 252 seconds)
2021-09-05 13:15:23 +0200HaxPenguinoCoCoHaxPenguin
2021-09-05 13:16:53 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:6afe:f077:c625:e6c4) (Ping timeout: 252 seconds)
2021-09-05 13:18:29 +0200AlexZenon(~alzenon@178.34.151.45)
2021-09-05 13:19:04 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-09-05 13:20:02 +0200Alex_test(~al_test@178.34.151.45)
2021-09-05 13:25:42 +0200fendor_(~fendor@77.119.200.43.wireless.dyn.drei.com)
2021-09-05 13:26:47 +0200Morrow_(~Morrow@31.154.96.164) (Ping timeout: 252 seconds)
2021-09-05 13:28:24 +0200fendor(~fendor@91.141.39.112.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-09-05 13:30:34 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-09-05 13:34:17 +0200 <Gurkenglas> janus, are you sure "Conn handler already done..." should be nonfatal?
2021-09-05 13:35:23 +0200AlexNoo_AlexNoo
2021-09-05 13:42:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-05 13:43:42 +0200bjobjo(~bjobjo@user/bjobjo)
2021-09-05 13:45:07 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-09-05 13:45:34 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi)
2021-09-05 13:45:53 +0200 <Gurkenglas> stack won't install old-time, wat do? https://bpa.st/XADQ --no-system-ghc didn't help
2021-09-05 13:51:23 +0200 <jneira[m]> maybe it is related with the long paths issue, I would change STACK_ROOT env var to C:\sr and your project dir to the shortest path possible
2021-09-05 13:51:35 +0200 <jneira[m]> Gurkenglas ^^
2021-09-05 13:52:55 +0200bjobjo(~bjobjo@user/bjobjo) (Quit: boot)
2021-09-05 13:52:56 +0200 <Gurkenglas> stack path already says stack-root: C:\sr
2021-09-05 13:53:07 +0200 <jneira[m]> hmm
2021-09-05 13:53:44 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-05 13:54:07 +0200 <jneira[m]> but ghc is inside you user dir, you should change that config option too
2021-09-05 13:54:39 +0200 <jneira[m]> mmm don't remember the exact name
2021-09-05 13:55:07 +0200 <jneira[m]> local-prog-path?
2021-09-05 13:55:14 +0200 <jneira[m]> something alike
2021-09-05 13:55:21 +0200bjobjo(~bjobjo@user/bjobjo)
2021-09-05 13:55:56 +0200 <Gurkenglas> local-bin-path presumably
2021-09-05 13:56:05 +0200 <jneira[m]> yeah
2021-09-05 13:57:13 +0200 <Gurkenglas> stack install Cabal fixed it.
2021-09-05 13:57:32 +0200 <Gurkenglas> scratch that, oof
2021-09-05 13:57:43 +0200 <tomsmeding> yeah, that didn't sound right :p
2021-09-05 13:57:56 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 13:58:39 +0200 <jneira[m]> wow
2021-09-05 13:59:34 +0200 <jneira[m]> I would try to reproduce the error with a clean global config
2021-09-05 13:59:42 +0200xff0x(~xff0x@2001:1a81:53d2:1d00:6afe:f077:c625:e6c4)
2021-09-05 13:59:56 +0200 <jneira[m]> if you have time ☺️
2021-09-05 14:01:30 +0200 <Gurkenglas> is there a simple way to get such a one? some folder or file that i rename and then overwriting it back later undoes it?
2021-09-05 14:02:58 +0200acidjnk_new(~acidjnk@p200300d0c7203041e4b6d81317d42b76.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-09-05 14:03:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c1b9:a2b:77a8:fec7)
2021-09-05 14:03:32 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-09-05 14:04:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 14:06:24 +0200oxide(~lambda@user/oxide)
2021-09-05 14:07:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c1b9:a2b:77a8:fec7) (Ping timeout: 250 seconds)
2021-09-05 14:08:40 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-09-05 14:17:03 +0200 <Gurkenglas> ah stack path said config-location, so i renamed that yaml. it installed another ghc and and then failed to install old-time in the same way
2021-09-05 14:17:24 +0200 <Gurkenglas> jneira[m], ^^
2021-09-05 14:20:37 +0200retroid_(~retro@176.255.22.194) (Ping timeout: 252 seconds)
2021-09-05 14:24:17 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 14:27:25 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 14:28:13 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 14:30:14 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 14:30:43 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi)
2021-09-05 14:30:52 +0200 <Gurkenglas> hmm stack install Cabal doesn't put cabal on the path
2021-09-05 14:31:08 +0200vysn(~vysn@user/vysn) (Ping timeout: 252 seconds)
2021-09-05 14:31:14 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-09-05 14:31:38 +0200 <Gurkenglas> oh wait it did, i just thought the stack bin path was different from the choco bin path.
2021-09-05 14:39:12 +0200 <Gurkenglas> oh wait it is... stack install Cabal doesn't seem to do much of anything when i run it after this first tiem? it finishes in ~1 second and my C:\Users\Gurkenglas\AppData\Roaming\local\bin (stack path --local-bin) does not get a new cabal.exe
2021-09-05 14:39:13 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-09-05 14:39:40 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2021-09-05 14:40:47 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 14:41:41 +0200CoCoHaxPenguin\[
2021-09-05 14:42:04 +0200talismanick(~user@2601:644:8500:8350::9c19) (Ping timeout: 256 seconds)
2021-09-05 14:42:07 +0200\[\}
2021-09-05 14:42:07 +0200 <tomsmeding> Gurkenglas: Cabal != cabal-install
2021-09-05 14:42:15 +0200 <tomsmeding> Cabal is the library, cabal-install is the executable
2021-09-05 14:42:25 +0200\}a_
2021-09-05 14:42:28 +0200a_Andrew
2021-09-05 14:42:33 +0200 <Gurkenglas> youProbablyWantCapitalCabal lied to me!?
2021-09-05 14:42:46 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-09-05 14:42:57 +0200 <tomsmeding> world is a hard place
2021-09-05 14:43:10 +0200jespada(~jespada@90.254.245.194) (Ping timeout: 252 seconds)
2021-09-05 14:46:59 +0200jespada(~jespada@90.254.245.194)
2021-09-05 14:49:16 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 14:49:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 14:49:37 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 14:50:31 +0200euandreh(~euandreh@2804:14c:33:9fe5:2c9d:2885:3ab4:eb30)
2021-09-05 14:50:58 +0200 <jneira[m]> <Gurkenglas> "local-bin-path presumably" <- the path to ghcs and msys is controlled by local-programs-path
2021-09-05 14:51:26 +0200 <jneira[m]> local-bin-path is where installed binaries go
2021-09-05 14:52:51 +0200 <jneira[m]> and it is advisable to set the ghc and msys location to a short path as well
2021-09-05 14:53:08 +0200 <Gurkenglas> why doesn't stack do this automatically
2021-09-05 14:53:10 +0200 <jneira[m]> I would try again after change it
2021-09-05 14:53:50 +0200 <jneira[m]> to get a fresh global cache delete C:\sr entirely
2021-09-05 14:54:42 +0200 <jneira[m]> spaces and non ASCII chars in the user name usually gives problems too (not your case though)
2021-09-05 14:55:36 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 14:56:26 +0200 <jneira[m]> Gurkenglas: maybe cause it can choose a location which is known to be writable by the user for sure
2021-09-05 14:56:33 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi)
2021-09-05 14:56:43 +0200 <jneira[m]> it cant
2021-09-05 14:58:18 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-09-05 14:58:46 +0200hendursaga(~weechat@user/hendursaga)
2021-09-05 14:59:25 +0200 <Gurkenglas> eh, i read out of head swapspace. ill try installing idris on wsl, then.
2021-09-05 14:59:30 +0200 <Gurkenglas> *ran out
2021-09-05 15:02:28 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-05 15:04:25 +0200DNH(~DNH@8.43.122.27)
2021-09-05 15:13:43 +0200 <phaazon> do you people remember where cabal writes compilation outputs like binaries, libs, etc.?
2021-09-05 15:13:54 +0200 <phaazon> I would swear I remember using a command like cabal path --binary
2021-09-05 15:13:58 +0200 <phaazon> but I don’t recall exactly
2021-09-05 15:14:11 +0200 <phaazon> I basically want to grab the built binary and sent it to a server node
2021-09-05 15:14:22 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-05 15:17:03 +0200 <phaazon> found it by manually going in the directory but I was sure there was a way to grab that
2021-09-05 15:17:09 +0200 <phaazon> or was it with stack, hm
2021-09-05 15:19:33 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 250 seconds)
2021-09-05 15:19:33 +0200Vajb(~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-09-05 15:23:21 +0200kuribas(~user@ptr-25vy0i6xfv8pdfgun1l.18120a2.ip6.access.telenet.be)
2021-09-05 15:25:04 +0200 <DigitalKiwi> cabal list-bin
2021-09-05 15:25:47 +0200DNH(~DNH@8.43.122.27) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-05 15:25:56 +0200 <phaazon> oh yeah, thanks!
2021-09-05 15:26:09 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Quit: leaving)
2021-09-05 15:26:53 +0200 <DigitalKiwi> yw
2021-09-05 15:29:03 +0200max22-(~maxime@2a01cb0883359800fd368d07cdffdcdf.ipv6.abo.wanadoo.fr)
2021-09-05 15:29:24 +0200son0p(~ff@181.136.122.143)
2021-09-05 15:30:04 +0200yourname_(~barrucadu@carcosa.barrucadu.co.uk)
2021-09-05 15:32:04 +0200favonia(~favonia@user/favonia)
2021-09-05 15:34:49 +0200machinedgod(~machinedg@24.105.81.50)
2021-09-05 15:36:49 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-05 15:46:24 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2021-09-05 15:51:04 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 250 seconds)
2021-09-05 15:51:29 +0200img(~img@user/img)
2021-09-05 15:54:14 +0200 <wz1000> kuribas: https://gitlab.haskell.org/ghc/ghc/-/issues/17768#note_374060
2021-09-05 15:55:20 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 15:55:26 +0200thyriaen(~thyriaen@dynamic-078-055-123-051.78.55.pool.telefonica.de) (Remote host closed the connection)
2021-09-05 15:56:25 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2021-09-05 15:57:17 +0200thyriaen(~thyriaen@dynamic-078-055-123-051.78.55.pool.telefonica.de)
2021-09-05 15:59:53 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 16:02:36 +0200 <Gurkenglas> ...does idris just not build on a modern resolve with allow-newer?
2021-09-05 16:04:30 +0200 <Gurkenglas> janus, what do you use for idris? stack install idris? something something idris2?
2021-09-05 16:09:31 +0200 <kuribas> wz1000: are you sure it's applicative do?
2021-09-05 16:09:40 +0200 <wz1000> yes, remove it and it will work
2021-09-05 16:09:52 +0200 <kuribas> wz1000: I did, and I got the same error?
2021-09-05 16:10:22 +0200 <kuribas> wz1000: nice reduction!
2021-09-05 16:11:04 +0200 <kuribas> wz1000: in any case, that should be sort enough for them to find the problem?
2021-09-05 16:11:19 +0200 <kuribas> wz1000: or are you a ghc hacker as well?
2021-09-05 16:12:08 +0200 <wz1000> yes
2021-09-05 16:12:44 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-09-05 16:16:21 +0200 <kuribas> wz1000: I am getting the same error with applicative.
2021-09-05 16:17:08 +0200 <wz1000> with applicative?
2021-09-05 16:17:14 +0200 <wz1000> you mean without applicative do?
2021-09-05 16:17:17 +0200 <kuribas> wz1000: https://gist.github.com/kuribas/9bf506b79dd2690600c4c06108efae59
2021-09-05 16:17:22 +0200 <kuribas> wz1000: yes
2021-09-05 16:17:38 +0200 <wz1000> ApplicativeDo is enabled in that file
2021-09-05 16:18:09 +0200 <kuribas> wz1000: oh wait, do you mean only enabling it?
2021-09-05 16:18:15 +0200 <wz1000> yes
2021-09-05 16:18:42 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-05 16:19:00 +0200 <kuribas> weird that enabling it would break code that doesn't use it...
2021-09-05 16:19:17 +0200 <wz1000> it does - applicativedo rewrites all do statements
2021-09-05 16:19:29 +0200 <wz1000> *do blocks
2021-09-05 16:19:40 +0200oxide(~lambda@user/oxide) (Ping timeout: 250 seconds)
2021-09-05 16:19:42 +0200 <kuribas> wz1000: so you mean the outer do block triggers it then?
2021-09-05 16:19:47 +0200 <wz1000> yes
2021-09-05 16:20:03 +0200 <kuribas> applicativeDo also isn't very smart.
2021-09-05 16:20:16 +0200 <wz1000> true. It is kind of half baked
2021-09-05 16:20:23 +0200 <wz1000> there are many open issues on the tracker
2021-09-05 16:20:28 +0200 <kuribas> right...
2021-09-05 16:20:31 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 16:20:45 +0200oxide(~lambda@user/oxide)
2021-09-05 16:20:45 +0200 <kuribas> Still it's very handy together with records.
2021-09-05 16:20:46 +0200 <wz1000> there is -optimal-applicative-do or something if you want
2021-09-05 16:21:18 +0200 <kuribas> Otherwise you need to do "MyRecord <$> field1 <*> field2 <*> field3", and so easy to mix them up.
2021-09-05 16:21:18 +0200 <wz1000> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/applicative_do.html#ghc-flag--…
2021-09-05 16:22:13 +0200 <kuribas> I just bypass the problem by doing do field1 <- field1A; field2 <- field2A; pure $ MyRecord {field1, field2, field3 = pureComputation}
2021-09-05 16:22:22 +0200thyriaen(~thyriaen@dynamic-078-055-123-051.78.55.pool.telefonica.de) (Remote host closed the connection)
2021-09-05 16:22:31 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 16:28:25 +0200 <kuribas> wz1000: that's a silly flag
2021-09-05 16:28:42 +0200 <kuribas> why would I want "suboptimal-applicative-do"?
2021-09-05 16:29:27 +0200 <wz1000> kuribas: because it is faster
2021-09-05 16:31:43 +0200tomsmeding. o O ( O(n^3), that's some heavy complexity for a compiler )
2021-09-05 16:33:22 +0200 <kuribas> why would that need to be so slow? Isn't it just creating a graph?
2021-09-05 16:33:25 +0200vysn(~vysn@user/vysn)
2021-09-05 16:41:16 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-09-05 16:41:16 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-09-05 16:41:16 +0200turlando(~turlando@user/turlando)
2021-09-05 16:50:08 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-09-05 16:50:25 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 16:51:25 +0200Erutuon(~Erutuon@user/erutuon)
2021-09-05 16:56:47 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds)
2021-09-05 16:57:05 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 16:58:22 +0200DNH(~DNH@8.43.122.27)
2021-09-05 17:00:04 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 17:00:24 +0200APic(apic@apic.name)
2021-09-05 17:01:46 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 252 seconds)
2021-09-05 17:02:52 +0200DNH(~DNH@8.43.122.27) (Ping timeout: 252 seconds)
2021-09-05 17:03:40 +0200ryantrinkle(~ryan@66.152.129.6)
2021-09-05 17:03:48 +0200 <ryantrinkle> is there a good tool for removing unused imports these days?
2021-09-05 17:04:27 +0200 <ryantrinkle> i tried fix-imports, but it only removed Data.ByteString.Lazy (even though lots of other imports are unused since I just cleared a ton of stuff out of the file)
2021-09-05 17:05:03 +0200 <ryantrinkle> i'm trying to try importify, but the version in nixpkgs doesn't build
2021-09-05 17:05:16 +0200 <wz1000> ryantrinkle: HLS can do it
2021-09-05 17:05:50 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan)
2021-09-05 17:06:44 +0200 <ryantrinkle> wz1000: ah ok, in-editor i guess?
2021-09-05 17:06:58 +0200 <wz1000> yes
2021-09-05 17:07:34 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 17:07:34 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 17:07:34 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 17:14:13 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-09-05 17:20:14 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-09-05 17:25:01 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 17:25:35 +0200APic(apic@apic.name)
2021-09-05 17:27:04 +0200pgib(~textual@173-38-117-70-rtp-corp-nat-pool.cisco.com) (Ping timeout: 252 seconds)
2021-09-05 17:28:47 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 17:29:04 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-09-05 17:34:49 +0200mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae)
2021-09-05 17:36:26 +0200jess(~jess@libera/staff/jess) ()
2021-09-05 17:40:01 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 17:42:30 +0200kenran(~kenran@200116b82bb269000c0e8623ae0a9f2b.dip.versatel-1u1.de)
2021-09-05 17:45:12 +0200APic(apic@apic.name)
2021-09-05 17:48:14 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-05 17:49:17 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 17:50:10 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-05 17:50:23 +0200MQ-17J(~MQ-17J@8.21.10.6)
2021-09-05 17:51:49 +0200sleblanc(~sleblanc@user/sleblanc) (Ping timeout: 252 seconds)
2021-09-05 17:52:04 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-05 17:52:59 +0200 <ryantrinkle> wz1000: any idea how to actually make emacs do it?
2021-09-05 17:53:02 +0200 <ryantrinkle> i think i've got lsp working
2021-09-05 17:53:21 +0200 <wz1000> look for "code actions" in your lsp client
2021-09-05 17:53:35 +0200 <wz1000> you need to trigger it over a redundant import I think
2021-09-05 17:53:41 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 17:53:43 +0200 <wz1000> (which should be highlighted)
2021-09-05 17:54:07 +0200 <wz1000> then you will get an option ("code action") to remove all redundant imports
2021-09-05 17:54:34 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-09-05 17:55:44 +0200fernand(~fernand@179.156.35.4)
2021-09-05 17:55:59 +0200 <monochrom> I use ghc's -ddump-minimal-imports
2021-09-05 17:57:56 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-05 18:04:21 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.2)
2021-09-05 18:05:01 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-09-05 18:05:45 +0200x_kuru(~xkuru@user/xkuru)
2021-09-05 18:06:47 +0200fernand(~fernand@179.156.35.4) (Ping timeout: 245 seconds)
2021-09-05 18:07:33 +0200TranquilEcho(~grom@user/tranquilecho)
2021-09-05 18:08:52 +0200xkuru(~xkuru@user/xkuru) (Ping timeout: 252 seconds)
2021-09-05 18:13:20 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-05 18:20:40 +0200thelounge9230681(~thelounge@cpe-75-85-161-60.san.res.rr.com) (Ping timeout: 240 seconds)
2021-09-05 18:21:24 +0200 <kaol> Really weird. I have two IntMaps that have equal keys. intersectionWith (,) yields an empty list. But doing IntMap.fromList . IntMap.toList on one of them makes it work. And using (==) on that variable and the one piped through that yields False. How can IntMap.fromList . IntMap.toList not be identity?
2021-09-05 18:22:22 +0200 <geekosaur> Doubles?
2021-09-05 18:23:10 +0200 <geekosaur> (in particular any NaNs will break the IntMap)
2021-09-05 18:23:11 +0200 <kaol> No, I don't have any Doubles in my data.
2021-09-05 18:23:14 +0200 <c_wraith> eh, that shouldn't matter in the values, and the keys of an IntMap are always Int
2021-09-05 18:23:24 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com)
2021-09-05 18:23:25 +0200 <geekosaur> mm, right. sorry
2021-09-05 18:23:37 +0200 <hpc> @where paste
2021-09-05 18:23:37 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-09-05 18:23:49 +0200 <hpc> can you make a minimal reproduction?
2021-09-05 18:24:35 +0200 <kaol> I'll try.
2021-09-05 18:25:00 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 18:25:01 +0200 <kaol> Or at least one that doesn't require my DB for running it.
2021-09-05 18:25:17 +0200APic(apic@apic.name)
2021-09-05 18:26:51 +0200 <hpc> it'll be interesting to see what the root cause is
2021-09-05 18:28:16 +0200retroid_(~retro@176.255.22.194)
2021-09-05 18:29:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 18:29:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 18:29:26 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 18:33:37 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-09-05 18:34:05 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net)
2021-09-05 18:34:17 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2021-09-05 18:34:31 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-09-05 18:36:40 +0200 <kaol> It's not reproducible without my DB (obviously) but here's the code. I had that exact same intersectionWith before but I moved it to a different function and that broke it. https://gitlab.com/piperka/piperka/-/commit/a6237d956f370208a38f9a55905d2c4297ec4a52
2021-09-05 18:37:11 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-09-05 18:37:29 +0200 <Gurkenglas> kaol, when you take the map to a list and back and the write it to your db and back, does that land back where it started?
2021-09-05 18:38:01 +0200retroid_(~retro@176.255.22.194) (Ping timeout: 252 seconds)
2021-09-05 18:39:08 +0200 <kaol> My code's really not built for pushing this data back to the DB that way.
2021-09-05 18:40:32 +0200 <Gurkenglas> kaol, presumably you checked that their keys are equal. when you do unionwith, what happens?
2021-09-05 18:42:02 +0200 <kaol> N/A, my IntMaps have different types, can't union them. (sort $ IntMap.keys a) == (sort $ IntMap.keys b) yields True.
2021-09-05 18:42:55 +0200 <Gurkenglas> then merge, i suppose.
2021-09-05 18:45:14 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-05 18:45:15 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-09-05 18:45:25 +0200 <hololeap> kaol, I think I see the problem
2021-09-05 18:45:41 +0200 <kaol> I tried mergeWithKey already. Same result, empty IntMap.
2021-09-05 18:45:47 +0200 <hololeap> Oh, nvm, this is a diff view and I was reading it wrong :/
2021-09-05 18:46:43 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-05 18:48:19 +0200 <Gurkenglas> kaol, what does size :: IntMap a -> Int say about the two?
2021-09-05 18:48:33 +0200 <hololeap> kaol: this might be grasping at straws, but have you tried Data.IntMap.Strict?
2021-09-05 18:48:38 +0200 <Gurkenglas> and perhaps null :: IntMap a -> Bool
2021-09-05 18:49:34 +0200 <Gurkenglas> kaol, have you considered using the ghci debugger in this desparate circumstance? :3
2021-09-05 18:49:36 +0200 <kaol> Yes, it didn't change anything.
2021-09-05 18:49:47 +0200 <hpc> you're building an IntMap with fromAscList, is the input list sorted?
2021-09-05 18:50:03 +0200 <kaol> (yes to trying Data.IntMap.Strict)
2021-09-05 18:50:35 +0200 <hpc> (try Debug.Trace-ing as you build the IntMap)
2021-09-05 18:51:19 +0200 <Gurkenglas> (look at the source of null and size, null won't be useful, and size is unlikely to be. i had hoped there may be an inconsistent size cache in there)
2021-09-05 18:51:19 +0200 <kaol> Good call, that sounds like a reasonable thing that would break it.
2021-09-05 18:51:26 +0200 <hololeap> hpc, good catch
2021-09-05 18:51:28 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 18:51:45 +0200 <Gurkenglas> s/look/looking/
2021-09-05 18:51:57 +0200 <hololeap> that would explain why (IntMap.fromList . IntMap.toList) would fix it
2021-09-05 18:52:03 +0200 <kaol> Postgresql has implicitly ordered it before but I think adding that function broke it.
2021-09-05 18:52:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c1b9:a2b:77a8:fec7)
2021-09-05 18:54:48 +0200 <kaol> Yes, after adding that ORDER BY to my query everything works again. Hopefully I won't be making same mistake again anytime soon! Thanks for pointing it out to me.
2021-09-05 18:55:28 +0200 <hpc> yeah, the ordering was probably because scanning that index was optimal in the query plan
2021-09-05 18:58:09 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-09-05 19:01:44 +0200kenran(~kenran@200116b82bb269000c0e8623ae0a9f2b.dip.versatel-1u1.de) (Ping timeout: 252 seconds)
2021-09-05 19:02:12 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 245 seconds)
2021-09-05 19:02:41 +0200kenran(~kenran@200116b82bb2690022d6d62970fa28b8.dip.versatel-1u1.de)
2021-09-05 19:05:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-09-05 19:13:56 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com)
2021-09-05 19:15:51 +0200econo(uid147250@user/econo)
2021-09-05 19:19:26 +0200fendor_fendor
2021-09-05 19:20:22 +0200MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 252 seconds)
2021-09-05 19:23:04 +0200 <ryantrinkle> any idea what could cause this? Error processing message (void-function lsp-modeline-workspace-status-mode)
2021-09-05 19:26:29 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com) (Quit: ubert)
2021-09-05 19:26:46 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com)
2021-09-05 19:28:12 +0200ubert1(~Thunderbi@178.115.47.210.wireless.dyn.drei.com)
2021-09-05 19:28:12 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-09-05 19:29:46 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net)
2021-09-05 19:31:22 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-05 19:31:22 +0200ubert1ubert
2021-09-05 19:35:13 +0200 <hololeap> lets say that there is a monoid where, forall b. `A <> b = A` and `b <> A = A` ... is there a name for A's behavior here?
2021-09-05 19:35:50 +0200 <hpc> so like 0 in multiplication?
2021-09-05 19:36:00 +0200 <hololeap> correct
2021-09-05 19:36:19 +0200 <hpc> i don't know off the top of my head what the name would be, but you can start by looking at rings maybe?
2021-09-05 19:36:23 +0200 <Gurkenglas> hololeap, https://hackage.haskell.org/package/semirings
2021-09-05 19:36:45 +0200 <hpc> ooh yeah, zero's as good a name as any
2021-09-05 19:37:06 +0200 <kaol> https://en.wikipedia.org/wiki/Absorbing_element
2021-09-05 19:38:25 +0200 <hololeap> cool, thanks for the links
2021-09-05 19:40:00 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 19:40:10 +0200xstill(~xstill@fimu/xstill) (Ping timeout: 252 seconds)
2021-09-05 19:41:09 +0200xstill(~xstill@fimu/xstill)
2021-09-05 19:42:48 +0200xstill(~xstill@fimu/xstill) (Client Quit)
2021-09-05 19:44:08 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2021-09-05 19:44:41 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit)
2021-09-05 19:45:06 +0200xstill(~xstill@gate.vstill.cz)
2021-09-05 19:45:06 +0200xstill(~xstill@gate.vstill.cz) (Changing host)
2021-09-05 19:45:06 +0200xstill(~xstill@fimu/xstill)
2021-09-05 19:52:59 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 19:54:00 +0200azeem(~azeem@2a00:801:23f:d6b0:3dc9:5843:deaf:1727)
2021-09-05 19:56:52 +0200APic(apic@apic.name)
2021-09-05 19:58:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-05 19:58:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-05 19:58:22 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 19:59:42 +0200cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2021-09-05 20:05:46 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2021-09-05 20:07:37 +0200Guest82(~textual@ool-4579fedc.dyn.optonline.net)
2021-09-05 20:08:12 +0200Guest82(~textual@ool-4579fedc.dyn.optonline.net) (Client Quit)
2021-09-05 20:12:07 +0200Sgeo(~Sgeo@user/sgeo)
2021-09-05 20:19:13 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-09-05 20:20:44 +0200 <hexeme> i did a rotation cipher in haskell \o/
2021-09-05 20:21:15 +0200cheater(~Username@user/cheater)
2021-09-05 20:21:40 +0200 <Hecate> hexeme: hurray!
2021-09-05 20:22:29 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2021-09-05 20:22:52 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2021-09-05 20:24:54 +0200max22-(~maxime@2a01cb0883359800fd368d07cdffdcdf.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2021-09-05 20:25:07 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-05 20:29:16 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 250 seconds)
2021-09-05 20:33:38 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c1b9:a2b:77a8:fec7) (Remote host closed the connection)
2021-09-05 20:34:07 +0200 <janus> Gurkenglas: "Conn handler already done" just means that the library user handed a coroutine to the library that doesn't actually handle requests, but immediatly exits. It doesn't really hurt the event loop, so i am not sure why the program would need to die
2021-09-05 20:35:23 +0200 <janus> Gurkenglas: i was thinking of maybe putting Void in the Cont for connection handler coroutines, since that would fit my HTTP2 use case just fine, and i could shave off those Result case matches
2021-09-05 20:36:04 +0200 <janus> Gurkenglas: but on the other hand, there are protocols where you'd like to terminate the connection, and Result could serve that purpose. So I have the current situation because i don't know which way to go here
2021-09-05 20:37:13 +0200 <janus> in related news, i found out my Cont was totally broken because i had used idris' proof search to define its methods :O gotta be careful with new toys :P
2021-09-05 20:38:06 +0200 <Gurkenglas> You're using idris2, right? Setup was painful enough I gave up on it
2021-09-05 20:38:23 +0200 <janus> yes, i am using master from last week
2021-09-05 20:38:51 +0200 <janus> setup is super smooth for me, i am on ubuntu. i used to use chez from ubuntu, but now i use one from master, since i thought i had found a chez bug
2021-09-05 20:39:05 +0200 <hexeme> Is it possible to do games in haskell? Or is it always more of a hack/trick to do that?
2021-09-05 20:39:06 +0200 <janus> turned out it was my mistake :P
2021-09-05 20:39:32 +0200 <hexeme> Is there a popular 2D surface/canvas library to play with?
2021-09-05 20:40:16 +0200 <[exa]> hexeme: try Gloss
2021-09-05 20:40:19 +0200 <Gurkenglas> janus, can you tell what silly mistake I'm making? https://bpa.st/YYPQ
2021-09-05 20:40:23 +0200 <hexeme> thanks
2021-09-05 20:40:25 +0200 <[exa]> hexeme: it's literally made for starting easy
2021-09-05 20:40:41 +0200 <hexeme> I guess I need to learn how to use packages first :P
2021-09-05 20:41:23 +0200 <janus> Gurkenglas: from that output , i can't say. looks like a shell scripting problem? are you on BSD or Mac?
2021-09-05 20:41:32 +0200 <orcalikastecona> hexeme: Gloss is nice, +1 from me
2021-09-05 20:41:38 +0200 <Gurkenglas> ubuntu via windows subsystem for linux
2021-09-05 20:41:38 +0200 <hexeme> right on
2021-09-05 20:41:54 +0200 <[exa]> hexeme: either you install it via cabal and setup ghc to include the gloss package to compilation (ghc -package gloss mygame.hs -o mygame, or so), or, much better, make a cabal package with your project and add gloss as a dependency
2021-09-05 20:42:03 +0200 <orcalikastecona> hexeme: Are you familiar with haskell build tools like cabal or stack?
2021-09-05 20:42:08 +0200 <[exa]> hexeme: generally, `cabal init` in an empty directory should do like 90% of it :]
2021-09-05 20:42:11 +0200Guest66(~textual@2601:586:c180:47d0:ad98:e3f9:ca65:9bfb)
2021-09-05 20:42:46 +0200 <hexeme> I have been reading Haskell From First Principles for a few days now, so basically just screwing around with ghcid
2021-09-05 20:42:47 +0200 <janus> Gurkenglas: hmmm i wouldn't trust WSL2 to be fully compatible... if you have enough memory, i'd recommend having a real vm
2021-09-05 20:42:49 +0200 <[exa]> hexeme: this is pretty useful https://wiki.haskell.org/How_to_write_a_Haskell_program#Structure_of_a_simple_project
2021-09-05 20:42:55 +0200 <hexeme> thank you!
2021-09-05 20:43:15 +0200 <c_wraith> janus: wsl2 works perfectly well. It's a real linux kernel, which fixed all the issues GHC had under wsl1
2021-09-05 20:43:17 +0200 <hexeme> janus: WSL2 is pretty dope
2021-09-05 20:43:17 +0200 <[exa]> I can't say about any kinds of ide though, I'm avoiding these things
2021-09-05 20:43:37 +0200 <hexeme> [exa]: got that all setup in vscode
2021-09-05 20:44:40 +0200 <hexeme> i also use nixos so i'm betting there's a nixos way to use cabal/packages
2021-09-05 20:44:50 +0200 <janus> well, what could possibly be breaking Gurkenglas' idris build? maybe filesystem incompatibilities? how does WSL provides ext4-like guarantees on NTFS?
2021-09-05 20:45:28 +0200 <[exa]> hexeme: yeah many people do nix with haskell, actually even the current cabal way of building and storing stuff is heavily inspired by that
2021-09-05 20:46:59 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net)
2021-09-05 20:47:39 +0200 <shapr> hexeme: nix-shell -p cookiecutter git --run 'cookiecutter gh:utdemir/hs-nix-template'
2021-09-05 20:47:48 +0200 <shapr> That's how I start a new Haskell project in nixos
2021-09-05 20:49:39 +0200kuribas(~user@ptr-25vy0i6xfv8pdfgun1l.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-09-05 20:50:05 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 20:51:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-05 20:51:34 +0200 <hexeme> hmm seems to be downloading a pin of nixpkgs or something
2021-09-05 20:54:26 +0200max22-(~maxime@2a01cb08833598002ab2b51b25a0cd4b.ipv6.abo.wanadoo.fr)
2021-09-05 20:55:15 +0200 <hexeme> heh i actually ran out of disk space
2021-09-05 20:55:18 +0200 <hexeme> wonder why it does that
2021-09-05 20:55:41 +0200APic(apic@apic.name)
2021-09-05 20:59:06 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 21:00:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c1b9:a2b:77a8:fec7)
2021-09-05 21:03:17 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-09-05 21:04:24 +0200sleblanc(~sleblanc@user/sleblanc)
2021-09-05 21:04:40 +0200kenran(~kenran@200116b82bb2690022d6d62970fa28b8.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-09-05 21:05:11 +0200cptaffe(~connor@2600:1700:f08:1110:c843:5621:bfb6:7631)
2021-09-05 21:05:53 +0200kenran(~kenran@200116b82bb26900a953bf306bfc7506.dip.versatel-1u1.de)
2021-09-05 21:07:36 +0200bec(~bec@user/bec)
2021-09-05 21:08:10 +0200 <bec> Hello!
2021-09-05 21:08:18 +0200 <yushyin> hi bec
2021-09-05 21:08:33 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-09-05 21:08:48 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2021-09-05 21:09:03 +0200 <bec> I have a question about GHC warnings, is there a way to tell GHC to emit a compilation warning when a specific typeclass instance is used?
2021-09-05 21:09:55 +0200max22-(~maxime@2a01cb08833598002ab2b51b25a0cd4b.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-09-05 21:11:34 +0200 <hpc> iirc there's something that's (String -> Context) which fails compilation with your message
2021-09-05 21:13:48 +0200 <[exa]> hexeme: environment reproducibility eats space.
2021-09-05 21:15:00 +0200APic(apic@apic.name) (Read error: Connection reset by peer)
2021-09-05 21:16:36 +0200 <bec> > iirc there's something that's (String -> Context) which fails compilation with your message
2021-09-05 21:16:38 +0200 <lambdabot> error:
2021-09-05 21:16:38 +0200 <lambdabot> Pattern syntax in expression context: String -> Context
2021-09-05 21:17:10 +0200 <bec> I would prefer not to fail compilation, as some people may have working codebases that would be effected.
2021-09-05 21:18:51 +0200 <maerwald> maybe https://downloads.haskell.org/~ghc/8.10.7/docs/html/users_guide/glasgow_exts.html?highlight=deprec…
2021-09-05 21:19:31 +0200 <hpc> bec: yeah, but that would be a place to start looking - if i was a standard library author i would define an equivalent for compiler warnings and put that in the same module
2021-09-05 21:22:27 +0200 <maerwald> move the instance to its own module, add module-level WARNING pragma
2021-09-05 21:22:54 +0200 <maerwald> users will get a compile error when upgrading, need to read the changelog and can still keep their codebases running
2021-09-05 21:23:28 +0200 <maerwald> and don't be afraid of orphan instances
2021-09-05 21:23:57 +0200hololeap_(~hololeap@user/hololeap)
2021-09-05 21:24:24 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-09-05 21:26:22 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-05 21:32:00 +0200APic(apic@apic.name)
2021-09-05 21:32:10 +0200 <bec> Thanks Maerwald, that's a good idea! I'll try it.
2021-09-05 21:35:38 +0200talismanick(~user@2601:644:8500:8350::3ed5)
2021-09-05 21:38:11 +0200acidjnk_new(~acidjnk@p200300d0c7203078fd6a92c92b819b7b.dip0.t-ipconnect.de)
2021-09-05 21:39:57 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-09-05 21:40:04 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-09-05 21:43:12 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 21:44:28 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-05 21:44:41 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 21:46:12 +0200 <raehik> How do I make a "closeable" channel for concurrent communication in Haskell? So I can send a bunch of jobs, have them consumed by workers, then have the workers close themselves when all jobs are done
2021-09-05 21:47:27 +0200 <raehik> I found the stm-chans package through an old snoyberg blog post, but I can't find too much literature/usage of it. want to confirm that I'm looking in the right place
2021-09-05 21:48:03 +0200 <tomsmeding> bec: the thing you were thinking of was probably https://hackage.haskell.org/package/base-4.15.0.0/docs/GHC-TypeLits.html#t:TypeError but that's an error, not a warning
2021-09-05 21:49:30 +0200pounce(~pounce@facebook/engineering/pounce) (Remote host closed the connection)
2021-09-05 21:50:10 +0200 <hpc> raehik: Chan is garbage-collected and forkIO threads go away when their action is complete, if you want to go simple
2021-09-05 21:50:18 +0200hololeap_hololeap
2021-09-05 21:51:27 +0200 <raehik> hpc: but how do I indicate that a channel of a s is closed? not just empty
2021-09-05 21:51:42 +0200 <raehik> -- assuming I'm not using the stm-chans pkg
2021-09-05 21:52:29 +0200 <bec> tomsmeding I was looking for something that would make a warning, but it seems I'm out of luck. I'm trying maerwald's idea, but I'm not sure it will work since warnings in method instances don't trigger.
2021-09-05 21:53:33 +0200max22-(~maxime@2a01cb08833598005a7785a489aeabb8.ipv6.abo.wanadoo.fr)
2021-09-05 21:53:36 +0200 <bec> My idea was to add an overlapping instance B to an overlapped instance A, having in mind that I could make it so when the instance B is used, a warning is emitted.
2021-09-05 21:53:59 +0200 <maerwald> bec: the warning is module level
2021-09-05 21:54:12 +0200 <bec> But it seems this is not easy.
2021-09-05 21:54:17 +0200 <maerwald> why?
2021-09-05 21:54:43 +0200 <maerwald> the warning will be emitted when you import the module
2021-09-05 21:55:26 +0200 <bec> If that's so, the warning would be emitted inside the library rather than in the code using the library, and resolving to this particular instance.
2021-09-05 21:56:07 +0200 <Hecate> hohai bec
2021-09-05 21:56:09 +0200 <bec> I want the warning to be emitted not when the module is imported, but when the compiler resolves to that instance.
2021-09-05 21:56:44 +0200pounce(~pounce@facebook/engineering/pounce)
2021-09-05 21:56:52 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com) (Quit: WeeChat 2.8)
2021-09-05 21:57:03 +0200 <bec> Hi Hecate :)
2021-09-05 21:57:04 +0200 <Hecate> bec: yeah I don't think we have a nice middle ground between TypeError and DEPRECATED
2021-09-05 21:57:19 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 21:58:26 +0200 <hpc> raehik: you'd send something over the channel that indicates the end of it
2021-09-05 21:58:44 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-09-05 21:58:44 +0200 <hpc> and then on the other side do the appropriate cleanup
2021-09-05 21:58:52 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com)
2021-09-05 21:59:03 +0200 <bec> Hecate: even with DEPRECATED, I don't really know whether it would trigger.
2021-09-05 21:59:10 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-09-05 21:59:43 +0200 <raehik> hpc: but I have multiple threads reading from the channel, if I send 1 thing it'll only get caught once
2021-09-05 21:59:53 +0200 <hpc> ah right
2021-09-05 22:00:15 +0200 <raehik> stm-chans and snoyberg's post both have solutions -- I'm just kind of unsure why those solutions aren't in a more major library
2021-09-05 22:01:40 +0200 <hpc> iirc with regular Chans you can make one that is broadcast
2021-09-05 22:01:46 +0200 <hpc> maybe stm-chans has something similar
2021-09-05 22:01:47 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-09-05 22:01:51 +0200Guest66(~textual@2601:586:c180:47d0:ad98:e3f9:ca65:9bfb) (Quit: Textual IRC Client: www.textualapp.com)
2021-09-05 22:02:01 +0200 <hpc> then you have two Chans, one for the job queue and one for control
2021-09-05 22:03:11 +0200 <maerwald> bec: no, the users imports the module
2021-09-05 22:03:27 +0200burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 245 seconds)
2021-09-05 22:03:44 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-09-05 22:03:55 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha)
2021-09-05 22:04:09 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com)
2021-09-05 22:04:34 +0200 <hpc> and if you want to interrupt jobs in progress you get into signals, which i don't enjoy thinking about so i couldn't help you with that
2021-09-05 22:04:40 +0200juhp(~juhp@128.106.188.220) (Ping timeout: 240 seconds)
2021-09-05 22:04:53 +0200hyiltiz(~quassel@31.220.5.250)
2021-09-05 22:04:56 +0200 <hpc> er, not signals - async exceptions
2021-09-05 22:05:13 +0200 <hpc> (too much time writing bash lol)
2021-09-05 22:06:29 +0200 <bec> maerwald: that would be too breaking for too little benefit I believe.
2021-09-05 22:06:34 +0200 <raehik> hpc: right, thanks, a separate control queue makes sense
2021-09-05 22:07:08 +0200 <maerwald> bec: well, it's a reasonable way to tell you users API changed and force them to read the changelog
2021-09-05 22:07:22 +0200juhp(~juhp@128.106.188.220)
2021-09-05 22:07:31 +0200 <maerwald> the fix will take 5 minutes
2021-09-05 22:07:47 +0200Everything(~Everythin@37.115.210.35)
2021-09-05 22:07:47 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Remote host closed the connection)
2021-09-05 22:07:49 +0200 <bec> maerwald: besides, the pattern covered by this instance is also covered by another, overlapped instance, so people falling in the warning trap wouldn't notice.
2021-09-05 22:08:05 +0200 <raehik> hpc: ah, stm-chans actually does that exactly. it's just a (TQueue a, TVar Bool). now I understand why it's separate!
2021-09-05 22:08:20 +0200 <hololeap> type instance Output Dependency t = Output DepVersion t
2021-09-05 22:08:27 +0200 <bec> It's not an api change, the goal is to add a warning on a subset of an existing instance that may be ambiguous for the users.
2021-09-05 22:08:42 +0200 <hololeap> The type family application ‘Output DepVersion t’ is no smaller than the instance head ‘Output Dependency t’ (Use UndecidableInstances to permit this)
2021-09-05 22:08:49 +0200 <hpc> ah, nice
2021-09-05 22:08:53 +0200 <hololeap> can someone explain to me what this means?
2021-09-05 22:09:40 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2021-09-05 22:09:56 +0200 <hpc> when the compiler does instance resolution, it wants to know that resolution will always terminate
2021-09-05 22:09:58 +0200 <tomsmeding> hololeap: presumably nr 2 in https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/type_families.html#decidabilit…
2021-09-05 22:10:06 +0200gmc(sid58314@id-58314.ilkley.irccloud.com)
2021-09-05 22:10:43 +0200 <hpc> "smaller" has a specific meaning, which... that link explains
2021-09-05 22:11:26 +0200carter(sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 256 seconds)
2021-09-05 22:11:45 +0200 <tomsmeding> monochrom enlightened me to the quality of ghc's user guide
2021-09-05 22:12:42 +0200 <hpc> yeah, it's easy to forget it's there
2021-09-05 22:12:57 +0200carter(sid14827@id-14827.helmsley.irccloud.com)
2021-09-05 22:13:21 +0200 <hpc> here's another one for you, next time someone asks for resources to learn haskell point them to https://www.haskell.org/documentation/
2021-09-05 22:13:30 +0200 <hpc> instead of a dozen different specific links
2021-09-05 22:13:49 +0200 <tomsmeding> I'm not even sure whether giving a beginner 10 links instead of 1 is better
2021-09-05 22:13:54 +0200 <tomsmeding> but it's certainly fairer
2021-09-05 22:13:54 +0200pounce(~pounce@facebook/engineering/pounce) (Remote host closed the connection)
2021-09-05 22:14:33 +0200 <hpc> it gets them in the habit of going to haskell.org too
2021-09-05 22:14:38 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com)
2021-09-05 22:14:50 +0200 <hololeap> ok, what confuses me is that it gives this error when I have: data Dependency = Dependency DepVersion Category Name
2021-09-05 22:15:04 +0200otto_s_(~user@p5b04481b.dip0.t-ipconnect.de)
2021-09-05 22:15:04 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com) (Client Quit)
2021-09-05 22:15:09 +0200 <hololeap> but if I have: data Dependency' a b c = Dependency a b c
2021-09-05 22:15:27 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com)
2021-09-05 22:15:33 +0200 <hololeap> and: type Dependency = Dependency' DepVersion Category Name
2021-09-05 22:15:44 +0200 <hololeap> then that same code no longer requires UndecidableInstances
2021-09-05 22:16:04 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-05 22:16:10 +0200 <hpc> the heuristic doesn't cross data definitions
2021-09-05 22:16:18 +0200 <hpc> it sees "data Dependency" and "data DepVersion"
2021-09-05 22:16:24 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-05 22:16:30 +0200 <tomsmeding> well, the number of symbols in "Output DepVersion t" is certainly smaller than the number of symbols in "Output (Dependency' DepVersion Category Name) t"
2021-09-05 22:16:55 +0200 <hololeap> ok, so it's that simple of a heuristic, then
2021-09-05 22:17:06 +0200 <hpc> yeah
2021-09-05 22:17:12 +0200otto_s(~user@p5b044ad0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-05 22:17:18 +0200pounce(~pounce@facebook/engineering/pounce)
2021-09-05 22:17:20 +0200 <tomsmeding> nobody said that ghc was smart ;)
2021-09-05 22:17:24 +0200 <hpc> the heuristic for type classes is even simpler
2021-09-05 22:17:28 +0200 <hololeap> haha :)
2021-09-05 22:17:56 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-05 22:20:14 +0200benin03693235(~benin@183.82.207.253)
2021-09-05 22:20:59 +0200orcalikastecona(~orca@047-134-143-165.res.spectrum.com) (Quit: WeeChat 2.8)
2021-09-05 22:22:48 +0200benin0369323(~benin@183.82.207.253) (Ping timeout: 250 seconds)
2021-09-05 22:22:49 +0200benin03693235benin0369323
2021-09-05 22:34:52 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 22:36:40 +0200acidjnk_new3(~acidjnk@p200300d0c720307835a2456c1104dd43.dip0.t-ipconnect.de)
2021-09-05 22:38:22 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-09-05 22:39:12 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-09-05 22:40:32 +0200acidjnk_new(~acidjnk@p200300d0c7203078fd6a92c92b819b7b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-09-05 22:43:48 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com)
2021-09-05 22:45:50 +0200neurocyte(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-09-05 22:46:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-09-05 22:47:53 +0200bec(~bec@user/bec) (Quit: Client closed)
2021-09-05 22:51:11 +0200neurocyte(~neurocyte@IP-213188117211.dialin.heagmedianet.de)
2021-09-05 22:51:11 +0200neurocyte(~neurocyte@IP-213188117211.dialin.heagmedianet.de) (Changing host)
2021-09-05 22:51:11 +0200neurocyte(~neurocyte@user/neurocyte)
2021-09-05 22:52:29 +0200 <hololeap> is there a standard way to convert UTF-8 characters to their closest ASCII equivalent (if there is one)? For instance, Ǘ would become U and ƈ would become c
2021-09-05 22:52:44 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-09-05 22:54:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-09-05 22:54:52 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-09-05 22:55:07 +0200 <hpc> iconv's transliteration mode can do it
2021-09-05 22:55:15 +0200 <hpc> characters that can't translate become '?'
2021-09-05 22:55:19 +0200Lord_of_Life_Lord_of_Life
2021-09-05 22:55:27 +0200 <hpc> not sure what it would do for those specific characters
2021-09-05 22:55:44 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-09-05 22:56:00 +0200 <hololeap> ok, it might not even come up, but it was something I just thought of
2021-09-05 22:56:13 +0200 <hpc> ah, that works perfectly
2021-09-05 22:56:18 +0200 <hpc> $ iconv -t ascii//TRANSLIT
2021-09-05 22:56:18 +0200 <hpc> is there a standard way to convert UTF-8 characters to their closest ASCII equivalent (if there is one)? For instance, Ǘ would become U and ƈ would become c
2021-09-05 22:56:21 +0200 <hpc> is there a standard way to convert UTF-8 characters to their closest ASCII equivalent (if there is one)? For instance, U would become U and c would become c
2021-09-05 22:56:41 +0200 <hpc> https://hackage.haskell.org/package/iconv
2021-09-05 22:58:46 +0200o1lo01ol1o(~o1lo01ol1@bl13-86-242.dsl.telepac.pt)
2021-09-05 22:58:55 +0200 <hololeap> hpc, thanks
2021-09-05 22:58:58 +0200fendor(~fendor@77.119.200.43.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-05 22:58:59 +0200 <Alex_test> https://zen.yandex.ru/media/id/5c8f50adaedd2500b361ff31/liudi-ili-postliudi-kriterii-opredeleniia-…
2021-09-05 22:59:22 +0200 <stevenxl> 👋
2021-09-05 22:59:47 +0200 <maerwald> do I want to click that?
2021-09-05 23:01:33 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-05 23:01:49 +0200 <hololeap> it's some kind of russian blog post...
2021-09-05 23:02:00 +0200 <shapr> Alex_test: is that about Haskell?
2021-09-05 23:02:40 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-191.088.075.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2021-09-05 23:03:04 +0200 <hexeme> I have a simple app that renders a circle animation using Gloss. I found the fsnotify library that allows you to execute a function when some files change. Can anyone help me integrate fsnotify into my small animation application, so that when any file changes, the animation stops and the program exits gracefully?
2021-09-05 23:03:06 +0200 <hexeme> https://gist.github.com/dustinlacewell/63953e45061087725388cc0b387c288f#file-gloss-hs
2021-09-05 23:03:53 +0200 <hololeap> shapr: no, it's about posthumanity in sci-fi writing...
2021-09-05 23:04:35 +0200 <hexeme> I'm brand new to haskell so I appologize ahead of time if I need some hand holding :X
2021-09-05 23:04:58 +0200 <shapr> Alex_test: please keep non-haskell discussions to a different channel
2021-09-05 23:05:15 +0200 <AlexZenon> <shapr> Alex_test: is that about Haskell? � missed the channel
2021-09-05 23:05:43 +0200 <shapr> AlexZenon: Is that a bot written in Haskell? If yes, is the source online?
2021-09-05 23:05:43 +0200 <hexeme> I included a snippet from the fsnotify library to demonstrate its use in the gist.
2021-09-05 23:06:40 +0200 <Alex_test> shapr: ����� ��� ���? � �� ���!
2021-09-05 23:07:28 +0200 <AlexZenon> shapr: my test user
2021-09-05 23:08:14 +0200lavaman(~lavaman@98.38.249.169)
2021-09-05 23:09:05 +0200 <hololeap> hexeme: you probably want to set up a `Chan Bool` to hold the state of whether or not anything has changed, then use that same Chan to stop the gloss loop
2021-09-05 23:09:15 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha)
2021-09-05 23:09:37 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com)
2021-09-05 23:09:39 +0200 <hexeme> hololeap: Is it asking too much if maybe you could demonstrate with an edit?
2021-09-05 23:09:50 +0200 <hexeme> googling chans in the meantime
2021-09-05 23:10:06 +0200cafkafk(~cafkafk@user/cafkafk)
2021-09-05 23:11:16 +0200 <hexeme> fwiw, I think gloss has a `simulate` function as an alternative to `animate` which can take a state object
2021-09-05 23:11:18 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2021-09-05 23:11:18 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2021-09-05 23:11:18 +0200wroathe(~wroathe@user/wroathe)
2021-09-05 23:11:26 +0200 <hexeme> but i'm at the bleeding edge of my knowledge of gloss here :D
2021-09-05 23:12:02 +0200o1lo01ol1o(~o1lo01ol1@bl13-86-242.dsl.telepac.pt) (Remote host closed the connection)
2021-09-05 23:12:06 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-09-05 23:12:28 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-05 23:13:07 +0200 <hexeme> I'm thinking simulate may be needed to store/use the chan
2021-09-05 23:13:47 +0200ubert(~Thunderbi@178.115.47.210.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-05 23:14:05 +0200 <hololeap> you'll need to be in the IO monad to read the Chan, so the IO variations of the interface will be needed
2021-09-05 23:14:22 +0200o1lo01ol1o(~o1lo01ol1@bl13-86-242.dsl.telepac.pt)
2021-09-05 23:14:31 +0200 <hololeap> and you'll need a way to stop the loop, which I don't see in any of those interfaces
2021-09-05 23:14:42 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha)
2021-09-05 23:14:55 +0200amitnjha(~amit@024-216-124-116.res.spectrum.com)
2021-09-05 23:15:28 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (Ping timeout: 256 seconds)
2021-09-05 23:15:32 +0200 <janus> is there a bot for telling people things when they come back online?
2021-09-05 23:15:48 +0200 <janus> !later tell satan go to hell
2021-09-05 23:16:10 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-09-05 23:16:24 +0200 <shapr> @tell janus hello there!
2021-09-05 23:16:24 +0200 <lambdabot> Consider it noted.
2021-09-05 23:17:19 +0200 <shapr> janus: now you say something in a channel lambdabot is also in, and you get a notification
2021-09-05 23:18:14 +0200kenran(~kenran@200116b82bb26900a953bf306bfc7506.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-09-05 23:18:44 +0200 <enikar> there is also memoserv: /msg memoserv help
2021-09-05 23:19:18 +0200 <hexeme> hololeap: I found a comment saying: "just call exitWith in input or step wherever you would check the condition, if all the chips have been eaten. exitWith is polymorphic in a an can be called in any IO a context, whatever a is. So IO world is ok."
2021-09-05 23:19:25 +0200 <hexeme> does that help?
2021-09-05 23:19:59 +0200 <int-e> :t System.Exit.exitWith
2021-09-05 23:20:01 +0200 <lambdabot> GHC.IO.Exception.ExitCode -> IO a
2021-09-05 23:20:26 +0200 <janus> shapr: very cool, thank you
2021-09-05 23:20:32 +0200 <int-e> :t System.Exit.ExitSuccess
2021-09-05 23:20:33 +0200 <lambdabot> GHC.IO.Exception.ExitCode
2021-09-05 23:20:53 +0200 <int-e> :t System.Exit.ExitFailure
2021-09-05 23:20:54 +0200 <lambdabot> Int -> GHC.IO.Exception.ExitCode
2021-09-05 23:22:07 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-09-05 23:22:27 +0200 <int-e> (A rather rare function to use IME, because exiting the whole program is not compositional.)
2021-09-05 23:22:55 +0200 <hexeme> i am trying to achieve a kind of "live coding" with gloss and ghcid
2021-09-05 23:23:05 +0200 <int-e> Though technically that just raises an exception that could be caught.
2021-09-05 23:23:08 +0200 <hexeme> but i need the app to gracefully die when a file changes
2021-09-05 23:24:22 +0200 <janus> enikar: ooh excellent! looks like an official service, i guess it is better suited for people who hang with lambdabot
2021-09-05 23:24:31 +0200 <janus> *who don't hang
2021-09-05 23:26:04 +0200 <enikar> indeed. But it works only on libera
2021-09-05 23:26:44 +0200 <janus> are there IRC networks other than libera with a FP community?
2021-09-05 23:27:20 +0200 <enikar> i don't know
2021-09-05 23:27:32 +0200 <hololeap> maybe OFTC
2021-09-05 23:28:55 +0200 <enikar> there is a #haskell on oftc.
2021-09-05 23:29:29 +0200 <janus> i never used oftc, but i am weird, i try to keep my channel count under 10 so the channels are easily accessible :P
2021-09-05 23:30:06 +0200 <sm> I wouldn't think so, really. Non-IRC chats ? Definitely (zulip, discord.. ?)
2021-09-05 23:30:16 +0200 <enikar> but it's not busy
2021-09-05 23:30:52 +0200 <janus> yeah there is also an FP slack and tapas mentioned it on the new Haskell Interlude
2021-09-05 23:31:01 +0200 <janus> irc wasn't even mentioned ;)
2021-09-05 23:31:13 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-09-05 23:31:24 +0200machinedgod(~machinedg@24.105.81.50)
2021-09-05 23:32:05 +0200 <hpc> /r/haskell
2021-09-05 23:32:31 +0200 <sm> ouch!
2021-09-05 23:32:45 +0200 <sm> and of course, matrix
2021-09-05 23:34:35 +0200smarton(~smarton@gnu/webmaster/smarton)
2021-09-05 23:35:37 +0200mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Quit: Surfing the great wave off Kanagawa)
2021-09-05 23:37:46 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-09-05 23:37:57 +0200mrus(~mrus@149.28.224.172)
2021-09-05 23:38:59 +0200smarton(~smarton@gnu/webmaster/smarton) ()
2021-09-05 23:40:41 +0200mcglk_(~mcglk@131.191.49.120) (Remote host closed the connection)
2021-09-05 23:41:37 +0200mcglk(~mcglk@131.191.49.120)
2021-09-05 23:42:33 +0200 <janus> will stack try hackage if it can't find a package in stackage?
2021-09-05 23:43:46 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-05 23:44:10 +0200 <EvanR> what's Haskell Interlude
2021-09-05 23:44:28 +0200 <cafkafk> janus spitting sick bars
2021-09-05 23:44:46 +0200sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-09-05 23:48:26 +0200 <janus> EvanR: the podcast launched by the haskell.foundation : https://haskell.foundation/podcast/
2021-09-05 23:51:07 +0200 <geekosaur> janus: stack is about reproducible builds and predefined snapshots. you ncan point to a package on hackage but it won't automatically look there
2021-09-05 23:52:06 +0200 <janus> geekosaur: hmm ok. i was trying to figure out what happened to Lambda_Lifter here: https://www.reddit.com/r/haskell/comments/phw8tf/implicithie_on_microsoft_windows_10/
2021-09-05 23:52:37 +0200 <janus> i wonder if it is possible to use vscode with hie in wsl, maybe that works better?
2021-09-05 23:53:22 +0200 <janus> but if ghcup can install hie, maybe it can also do that on windows? maybe that is the path of least resistance for their students
2021-09-05 23:53:45 +0200 <geekosaur> my understanding is that a built-in implicit hie environment has been around for some hie versions, so implicit-hie was desupported
2021-09-05 23:53:57 +0200 <geekosaur> so my guess is they need to update their resolver
2021-09-05 23:54:18 +0200 <janus> right, so lts-16.27 is 8.8.4, too old for hls?
2021-09-05 23:55:11 +0200 <geekosaur> looks like it has hls, no idea if that hls has implicit cradles
2021-09-05 23:57:13 +0200 <geekosaur> hls was under pretty heavy development at that time
2021-09-05 23:57:19 +0200 <janus> argh, so many possibilities, it's impossible to recommend anything without trying it out myself...
2021-09-05 23:58:45 +0200 <janus> but 16.27 is just half a year ago... wasn't it under a similar amount of development as now?
2021-09-05 23:59:32 +0200max22-(~maxime@2a01cb08833598005a7785a489aeabb8.ipv6.abo.wanadoo.fr) (Quit: Leaving)