IRCBrowse

2021/05/02

2021-05-02 00:00:45 +0200 <geekosaur> different flags? I see a "process" flag (grumble)
2021-05-02 00:00:59 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-05-02 00:01:07 +0200 <hololeap> i don't know. i thought that package was installed along with ghc
2021-05-02 00:02:31 +0200 <geekosaur> it is, whether it's a dependency is another question
2021-05-02 00:04:03 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-02 00:05:17 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Ping timeout: 268 seconds)
2021-05-02 00:05:22 +0200 <hololeap> huh, it looks like it is because of two different hashes for transformers-compat: one version with "documentation: True" and the other without
2021-05-02 00:05:57 +0200 <hololeap> that seems to be the only difference between them
2021-05-02 00:06:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-02 00:07:43 +0200 <hololeap> it's going to be annoying enumerating these libs if there are duplicates because of silly reasons like this
2021-05-02 00:07:55 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2021-05-02 00:08:54 +0200pringlescan(uid192736@gateway/web/irccloud.com/x-puuysjqvmclgwmck) (Quit: Connection closed for inactivity)
2021-05-02 00:09:09 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 00:09:10 +0200 <hololeap> i'm a little surprised that tooling for local docs is this underdeveloped
2021-05-02 00:09:56 +0200mrmonday(~mrmonday@195.140.213.38)
2021-05-02 00:10:32 +0200fendor(~fendor@91.141.2.250.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2021-05-02 00:12:48 +0200 <hololeap> i wonder how hackage.haskell.org sorts things out so there is one hash version for each package version
2021-05-02 00:13:18 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-02 00:13:53 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 00:16:12 +0200mmfood_2(~mmfood@45.91.21.58) (Ping timeout: 240 seconds)
2021-05-02 00:16:51 +0200dmytrish(~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds)
2021-05-02 00:19:12 +0200neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-05-02 00:19:15 +0200mmfood_2(~mmfood@45.91.21.58)
2021-05-02 00:20:30 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-02 00:22:31 +0200sayola(~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de)
2021-05-02 00:23:01 +0200mmfood_1(~mmfood@45.91.21.58)
2021-05-02 00:23:11 +0200ddellacosta(~ddellacos@86.106.143.44)
2021-05-02 00:23:32 +0200mmfood_2(~mmfood@45.91.21.58) (Ping timeout: 240 seconds)
2021-05-02 00:24:22 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-02 00:25:53 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Read error: Connection reset by peer)
2021-05-02 00:26:33 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-05-02 00:27:46 +0200ddellacosta(~ddellacos@86.106.143.44) (Ping timeout: 252 seconds)
2021-05-02 00:31:19 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-05-02 00:34:46 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-02 00:38:26 +0200 <hololeap> is there a way to set up `cabal install` so that certain options are the default? for instance, i would like to add some default warnings to ghc-options
2021-05-02 00:38:42 +0200 <hololeap> sorry, meant `cabal init`
2021-05-02 00:39:15 +0200 <sclv> not for init but its a good feature req tho
2021-05-02 00:39:36 +0200ericsagn1(~ericsagne@2405:6580:0:5100:b546:5594:c630:5696) (Quit: WeeChat 3.1)
2021-05-02 00:40:33 +0200 <hololeap> sclv: you say "not for init" as though it is available for a different cabal command
2021-05-02 00:40:52 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection)
2021-05-02 00:41:13 +0200 <sclv> you can add default flags to the ~/.cabal/config
2021-05-02 00:41:26 +0200 <hololeap> ah, ok
2021-05-02 00:41:26 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 00:41:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 00:42:11 +0200 <sclv> also note you can put options into a cabal.project file and copy the same file for use in multiple projects
2021-05-02 00:42:24 +0200mmfood_2(~mmfood@185.176.246.118)
2021-05-02 00:42:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8ea5:80d2:fb29:a6df)
2021-05-02 00:42:35 +0200 <sclv> which is fine for warnings etc since they are for development not packaging mainly
2021-05-02 00:43:08 +0200 <hololeap> ok
2021-05-02 00:44:08 +0200 <hololeap> sclv: how would i do that? "ghc-options: ..." at the top level, or does it need to go inside some kind of stanza?
2021-05-02 00:44:33 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-02 00:45:09 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-02 00:45:16 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-02 00:45:22 +0200mmfood_1(~mmfood@45.91.21.58) (Ping timeout: 268 seconds)
2021-05-02 00:45:24 +0200 <sclv> v2 configure will record the flags into a project file for you iirc
2021-05-02 00:46:13 +0200 <sclv> other than that check the docs for syntax
2021-05-02 00:46:13 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388)
2021-05-02 00:46:26 +0200 <sclv> i think its top level
2021-05-02 00:47:01 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds)
2021-05-02 00:48:38 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Client Quit)
2021-05-02 00:48:51 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 00:49:14 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388)
2021-05-02 00:51:19 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 00:53:55 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-02 00:54:31 +0200dinciorip(~dincio@5.170.44.231) (Quit: WeeChat 3.1)
2021-05-02 00:54:51 +0200 <hololeap> it looks like it's sticking ghc-options under two different stanzas: "package *" and "program-options"
2021-05-02 00:55:42 +0200carlomagno(~cararell@148.87.23.11)
2021-05-02 00:55:47 +0200vchlup__(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 00:55:50 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 00:56:23 +0200 <hololeap> (in cabal.project.local after i run `cabal configure --ghc-options=-Wall`)
2021-05-02 00:56:48 +0200 <hololeap> are both of these necessary? i'm not finding any documentation for this "program-options" stanza
2021-05-02 00:57:33 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 00:57:50 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-02 00:58:23 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-02 00:59:26 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 240 seconds)
2021-05-02 01:00:49 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM)
2021-05-02 01:01:19 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-02 01:01:34 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 01:01:52 +0200LKoen(~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-02 01:02:02 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 01:02:07 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-02 01:02:14 +0200vchlup__(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 01:03:22 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 01:14:20 +0200stree(~stree@68.36.8.116)
2021-05-02 01:17:11 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 01:20:08 +0200hexfive(~hexfive@50.35.83.177)
2021-05-02 01:22:00 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 01:25:26 +0200malumore(~malumore@151.62.126.132) (Ping timeout: 260 seconds)
2021-05-02 01:27:58 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds)
2021-05-02 01:28:20 +0200yahb(xsbot@178.219.36.155)
2021-05-02 01:28:20 +0200yahb(xsbot@178.219.36.155) (Changing host)
2021-05-02 01:28:20 +0200yahb(xsbot@haskell/bot/yahb)
2021-05-02 01:28:32 +0200mniip(mniip@freenode/staff/mniip)
2021-05-02 01:30:19 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-02 01:30:55 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection)
2021-05-02 01:31:23 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-05-02 01:37:24 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds)
2021-05-02 01:37:40 +0200ddellacosta(~ddellacos@86.106.143.122)
2021-05-02 01:37:51 +0200guest(17fc36f9@23.252.54.249)
2021-05-02 01:38:24 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 01:39:38 +0200guest(17fc36f9@23.252.54.249) (Quit: Connection closed)
2021-05-02 01:41:25 +0200hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-05-02 01:42:43 +0200ddellacosta(~ddellacos@86.106.143.122) (Ping timeout: 265 seconds)
2021-05-02 01:44:55 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection)
2021-05-02 01:45:22 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-05-02 01:47:02 +0200__minoru__shirae(~shiraeesh@109.166.57.8) (Ping timeout: 268 seconds)
2021-05-02 01:48:24 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 01:50:39 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-02 01:52:32 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds)
2021-05-02 01:55:32 +0200__minoru__shirae(~shiraeesh@109.166.57.8)
2021-05-02 01:55:41 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-02 01:56:13 +0200amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com)
2021-05-02 01:56:23 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00)
2021-05-02 01:57:09 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00) (Client Quit)
2021-05-02 01:57:49 +0200RandomArcher(RandomArch@gateway/vpn/protonvpn/randomarcher)
2021-05-02 01:59:10 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-02 01:59:29 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-05-02 02:03:43 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-02 02:05:39 +0200Guest20148(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds)
2021-05-02 02:09:18 +0200cinimod`(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-02 02:10:36 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 02:14:46 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 02:15:01 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-02 02:17:13 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-02 02:19:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 02:20:32 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2021-05-02 02:21:15 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-02 02:23:15 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-05-02 02:24:26 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-05-02 02:26:34 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds)
2021-05-02 02:29:11 +0200bennofs_(~quassel@dynamic-089-012-195-080.89.12.pool.telefonica.de)
2021-05-02 02:32:19 +0200hiroaki(~hiroaki@2a02:908:4b18:8c40:b489:e8aa:3425:9216) (Ping timeout: 248 seconds)
2021-05-02 02:32:41 +0200bennofs__(~quassel@x4dbf4a04.dyn.telefonica.de) (Ping timeout: 240 seconds)
2021-05-02 02:33:51 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 02:34:13 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-02 02:38:06 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds)
2021-05-02 02:40:21 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-02 02:41:14 +0200acidjnk_new2(~acidjnk@p200300d0c72b95260054a0f399f7bc3e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-02 02:41:57 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-02 02:43:43 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 02:45:14 +0200hackageghc-lib-parser-ex 0.20210501 - Algorithms on GHC parse trees https://hackage.haskell.org/package/ghc-lib-parser-ex-0.20210501 (shayne_fletcher)
2021-05-02 02:47:04 +0200ddellacosta(~ddellacos@86.106.143.239)
2021-05-02 02:48:42 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-02 02:50:47 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-05-02 02:50:51 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-02 02:51:47 +0200ddellacosta(~ddellacos@86.106.143.239) (Ping timeout: 268 seconds)
2021-05-02 02:55:52 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds)
2021-05-02 02:59:10 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-02 02:59:28 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr)
2021-05-02 03:01:28 +0200dinciorip(~dincio@5.170.44.21)
2021-05-02 03:02:01 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-02 03:02:06 +0200 <dinciorip> Is there an equivalent of `&` for `<$>`? So that I can write things like `[1, 2, 3] <&> (+2) = [3, 4, 5]`
2021-05-02 03:02:34 +0200 <dinciorip> (`<&>` is made up here)
2021-05-02 03:03:45 +0200 <justsomeguy> Data.Functor has (<&>), which is defined as (<&>) = flip fmap
2021-05-02 03:07:16 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-02 03:09:18 +0200 <justsomeguy> I was reading the code for Control.Monad.Reader, and there is an instance in there like class Monad m => MonadReader r m | m -> r where { ... }. What does the "|" mean here?
2021-05-02 03:09:41 +0200undvrainbowvita8swamps
2021-05-02 03:09:42 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-02 03:10:16 +0200 <geekosaur> it's a functional dependency: if m is known then r is also known
2021-05-02 03:10:48 +0200 <geekosaur> ghc doesn't even have to know what m is, it still knows that whatever m is, there's only one possible r to go with it
2021-05-02 03:12:41 +0200 <geekosaur> this helps with type resolution which is otherwise difficult-to-imppossible with a multi-parameter typeclass
2021-05-02 03:12:45 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds)
2021-05-02 03:12:59 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-05-02 03:14:17 +0200 <justsomeguy> Seems like I have to get into the habit of checking the GHC User Guide in addition to the languae report when I encounter new syntax. (Y'know, in addition to doing a web search.)
2021-05-02 03:14:52 +0200 <geekosaur> yep
2021-05-02 03:17:32 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds)
2021-05-02 03:18:49 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-02 03:22:20 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-02 03:23:38 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 03:25:46 +0200 <dinciorip> justsomeguy: Doh didn't see it somehow... thanks
2021-05-02 03:26:53 +0200 <justsomeguy> As a new Haskell user, it happens to me a lot, too. I got used to having everything in scope by default from language like Python. Hoogle helps a lot.
2021-05-02 03:27:05 +0200 <justsomeguy> s/language/languages/
2021-05-02 03:28:09 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-02 03:29:01 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 03:29:38 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 03:35:13 +0200zebrag(~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection)
2021-05-02 03:35:36 +0200stree(~stree@68.36.8.116)
2021-05-02 03:37:55 +0200xff0x(~xff0x@2001:1a81:52b7:b500:7355:ada0:cdf5:eb04) (Ping timeout: 248 seconds)
2021-05-02 03:39:54 +0200xff0x(~xff0x@2001:1a81:52ec:5800:8ba9:e304:cfde:2b16)
2021-05-02 03:40:48 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-sljlvsodxllzwnvt) ()
2021-05-02 03:41:21 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-02 03:43:15 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-02 03:43:46 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-02 03:46:22 +0200carlomagno(~cararell@148.87.23.11) (Quit: Leaving.)
2021-05-02 03:49:12 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 03:50:22 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-05-02 03:52:01 +0200dinciorip(~dincio@5.170.44.21) (Quit: WeeChat 3.1)
2021-05-02 03:53:41 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds)
2021-05-02 03:55:08 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-02 03:56:10 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-02 04:03:50 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 04:08:06 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 04:08:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 04:09:55 +0200aarvar(~foewfoiew@2601:602:a080:fa0:696f:bd5:1d30:cd10)
2021-05-02 04:10:32 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-02 04:11:05 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-02 04:13:58 +0200roconnor(~roconnor@host-45-58-195-183.dyn.295.ca) (Quit: Konversation terminated!)
2021-05-02 04:17:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 04:21:36 +0200jao-(~jao@pdpc/supporter/professional/jao)
2021-05-02 04:21:36 +0200jao-(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-02 04:22:21 +0200jalumar(uid392211@gateway/web/irccloud.com/x-ulvzcprozvzoropl) (Quit: Connection closed for inactivity)
2021-05-02 04:24:14 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds)
2021-05-02 04:24:17 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 04:25:45 +0200davve_(davve@bsd.douchedata.com)
2021-05-02 04:26:03 +0200 <davve_> hi, what do you guys suggest for formatting code?
2021-05-02 04:26:56 +0200 <davve_> if any
2021-05-02 04:27:52 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds)
2021-05-02 04:28:37 +0200theDon(~td@muedsl-82-207-238-128.citykom.de) (Ping timeout: 260 seconds)
2021-05-02 04:28:47 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 04:30:10 +0200theDon(~td@muedsl-82-207-238-007.citykom.de)
2021-05-02 04:30:38 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-02 04:30:38 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-02 04:30:38 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-02 04:31:23 +0200 <DigitalKiwi> i like hindent
2021-05-02 04:32:20 +0200 <DigitalKiwi> there's also brittany and ormolu or stylish-haskell...etc.
2021-05-02 04:32:45 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Client Quit)
2021-05-02 04:33:04 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Quit: )
2021-05-02 04:33:11 +0200 <davve_> cool, I just ran my code through ormolu live, turned out quite nice if I may say so :) will have a look at the ones you mentioned
2021-05-02 04:35:11 +0200finn_elijaGuest88431
2021-05-02 04:35:12 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-02 04:35:40 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 04:35:55 +0200xiinotulp(~q@node-ul4.pool-125-24.dynamic.totinternet.net)
2021-05-02 04:35:59 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-02 04:36:15 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-05-02 04:36:46 +0200plutoniix(~q@node-ukq.pool-125-24.dynamic.totinternet.net) (Ping timeout: 260 seconds)
2021-05-02 04:38:42 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 04:38:45 +0200Guest88431(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-02 04:39:46 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 04:40:05 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-02 04:40:33 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-02 04:41:57 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-05-02 04:42:06 +0200mmfood_2(~mmfood@185.176.246.118) (Ping timeout: 240 seconds)
2021-05-02 04:46:09 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8ea5:80d2:fb29:a6df) (Ping timeout: 250 seconds)
2021-05-02 04:51:29 +0200jgt(~jgt@178.233.42.233)
2021-05-02 04:53:37 +0200xiinotulp(~q@node-ul4.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-05-02 04:55:06 +0200jophish__(ca536851@202.83.104.81)
2021-05-02 04:55:52 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 240 seconds)
2021-05-02 04:58:58 +0200ericsagnes(~ericsagne@2405:6580:0:5100:ee71:af9a:c3fd:7044)
2021-05-02 05:00:13 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 05:01:50 +0200ddellacosta(~ddellacos@86.106.143.18)
2021-05-02 05:02:22 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection)
2021-05-02 05:02:45 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-02 05:03:07 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 05:03:18 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-02 05:03:50 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-zohuszkgaklticjf) (Quit: Connection closed for inactivity)
2021-05-02 05:08:20 +0200jaiya(~jaiya@unaffiliated/jaiya)
2021-05-02 05:09:46 +0200alx741(~alx741@181.196.69.213) (Quit: alx741)
2021-05-02 05:15:32 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 05:15:33 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 05:17:52 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Remote host closed the connection)
2021-05-02 05:18:02 +0200hololeap(hololeap@gateway/vpn/protonvpn/hololeap) (Quit: Bye)
2021-05-02 05:18:36 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184)
2021-05-02 05:21:17 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 05:22:08 +0200alx741(~alx741@181.196.69.213)
2021-05-02 05:22:59 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds)
2021-05-02 05:23:17 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184)
2021-05-02 05:23:32 +0200alx741(~alx741@181.196.69.213) (Client Quit)
2021-05-02 05:24:34 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 05:24:52 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds)
2021-05-02 05:25:07 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 05:25:51 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds)
2021-05-02 05:27:08 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-02 05:27:50 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-02 05:29:03 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 250 seconds)
2021-05-02 05:31:10 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection)
2021-05-02 05:34:43 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 05:40:30 +0200RandomArcher(RandomArch@gateway/vpn/protonvpn/randomarcher) (Quit: Konversation terminated!)
2021-05-02 05:43:32 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-02 05:48:52 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 05:51:11 +0200rajivr(uid269651@gateway/web/irccloud.com/x-vnfvmgncpsykoslu)
2021-05-02 05:53:06 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds)
2021-05-02 05:53:06 +0200__minoru__shirae(~shiraeesh@109.166.57.8) (Ping timeout: 240 seconds)
2021-05-02 05:57:06 +0200stree(~stree@68.36.8.116)
2021-05-02 06:07:50 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 06:08:34 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 06:08:35 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 06:09:10 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection)
2021-05-02 06:09:46 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 06:12:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection)
2021-05-02 06:12:26 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 06:19:21 +0200urodna_(~urodna@unaffiliated/urodna) (Quit: urodna_)
2021-05-02 06:20:50 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2021-05-02 06:21:26 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-02 06:22:56 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-gjijlciteuoywprs)
2021-05-02 06:23:11 +0200vchlup__(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 06:23:54 +0200vchlup_(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-05-02 06:26:09 +0200ddellacosta(~ddellacos@86.106.143.18) (Remote host closed the connection)
2021-05-02 06:28:35 +0200mrmonday(~mrmonday@195.140.213.38) (Remote host closed the connection)
2021-05-02 06:36:16 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-02 06:41:50 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-02 06:42:04 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-02 06:44:44 +0200zyga(~zyga@37.120.211.188)
2021-05-02 06:47:45 +0200 <olligobber> so I'm trying to write something using template haskell types, and I noticed that despite the existence of InfixT, when I do [t| Bool >>> Char |] it uses ConT >>> and AppT
2021-05-02 06:49:14 +0200 <olligobber> which is annoying, cos now I need to somehow tell the difference between type operators and type names purely based on their name, rather than whether they are ConT or InfixT
2021-05-02 06:49:36 +0200 <olligobber> does anyone know a good way to do that? or do I just have to check if the name is made of symbols?
2021-05-02 06:49:47 +0200jaiya(~jaiya@unaffiliated/jaiya) ()
2021-05-02 06:49:53 +0200vchlup__(~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 246 seconds)
2021-05-02 06:50:27 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-05-02 06:50:50 +0200lewky(~lewky@159.65.37.240) (Quit: The Lounge - https://thelounge.chat)
2021-05-02 06:53:38 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-02 06:54:18 +0200 <olligobber> oh I know, I'll look at how the pretty printer tells the difference
2021-05-02 06:54:26 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-02 06:58:41 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-02 07:00:52 +0200ddellacosta(~ddellacos@86.106.143.213)
2021-05-02 07:02:24 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-02 07:04:58 +0200 <olligobber> it literally just checks if the first character satisfies isAlpha or `elem` "_[]()"
2021-05-02 07:05:12 +0200ddellacosta(~ddellacos@86.106.143.213) (Ping timeout: 240 seconds)
2021-05-02 07:05:22 +0200 <olligobber> great
2021-05-02 07:13:14 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-02 07:13:23 +0200__minoru__shirae(~shiraeesh@109.166.57.8)
2021-05-02 07:17:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 07:19:17 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds)
2021-05-02 07:19:29 +0200puke(~vroom@217.138.252.196) (Remote host closed the connection)
2021-05-02 07:25:47 +0200zyga(~zyga@37.120.211.188) (Remote host closed the connection)
2021-05-02 07:34:50 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 268 seconds)
2021-05-02 07:35:06 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 07:38:04 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 07:38:29 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-02 07:40:23 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-02 07:42:37 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds)
2021-05-02 07:48:55 +0200Ishutin(~ishutin@84-236-8-11.pool.digikabel.hu)
2021-05-02 07:49:51 +0200tessier(~treed@kernel-panic/copilotco) (Ping timeout: 260 seconds)
2021-05-02 07:52:11 +0200Ishutin_(~ishutin@84-236-1-102.pool.digikabel.hu) (Ping timeout: 246 seconds)
2021-05-02 07:53:34 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 08:02:46 +0200vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 240 seconds)
2021-05-02 08:04:07 +0200jophish__(ca536851@202.83.104.81) (Quit: jophish__)
2021-05-02 08:04:59 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-02 08:05:44 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-02 08:09:53 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 08:10:41 +0200sunyibo(~alex@2a04:52c0:101:443::)
2021-05-02 08:10:46 +0200jtk(~jtk@185.169.233.12)
2021-05-02 08:10:48 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-02 08:11:57 +0200 <sunyibo> I'd like to build git-annex on debian. I'm getting this https://bpa.st/W4ZA . Can someone please help?
2021-05-02 08:14:55 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-02 08:17:47 +0200stree(~stree@68.36.8.116)
2021-05-02 08:18:28 +0200 <c_wraith> sunyibo: did you run `cabal update` like it asked?
2021-05-02 08:19:44 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-dvuppglxmxbuwdqf) (Quit: Connection closed for inactivity)
2021-05-02 08:21:39 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-05-02 08:21:53 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection)
2021-05-02 08:22:24 +0200 <sunyibo> I did
2021-05-02 08:23:39 +0200 <sunyibo> same result
2021-05-02 08:26:40 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-02 08:26:48 +0200ADG1089(~aditya@223.226.237.158)
2021-05-02 08:27:31 +0200 <c_wraith> what version of git-annex do you have?
2021-05-02 08:27:52 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-02 08:32:32 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-gjijlciteuoywprs) (Quit: Connection closed for inactivity)
2021-05-02 08:35:22 +0200aarvar1(~foewfoiew@2601:602:a080:fa0:3ddb:82cf:708b:a443)
2021-05-02 08:35:38 +0200aarvar1(~foewfoiew@2601:602:a080:fa0:3ddb:82cf:708b:a443) (Client Quit)
2021-05-02 08:35:49 +0200aarvar(~foewfoiew@2601:602:a080:fa0:696f:bd5:1d30:cd10) (Ping timeout: 250 seconds)
2021-05-02 08:37:55 +0200 <c_wraith> I decided to try building it myself and... wtf, git-annex depends on yesod. No wonder this is taking a year to build.
2021-05-02 08:38:06 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 08:40:03 +0200 <sunyibo> https://en.wikipedia.org/wiki/Yesod this is getting better and better. Thanks for trying. I guess I have to https://www.haskell.org/cabal/#install-upgrade first
2021-05-02 08:41:12 +0200 <c_wraith> It looks like debian has git-annex packages. That might be the way to go, unless you need a newer version
2021-05-02 08:42:10 +0200ericsagnes(~ericsagne@2405:6580:0:5100:ee71:af9a:c3fd:7044) (Ping timeout: 276 seconds)
2021-05-02 08:42:16 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-02 08:43:59 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 08:45:19 +0200 <sunyibo> I do. Or I did. And now I just want to learn how to build a package.
2021-05-02 08:47:05 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-05-02 08:47:10 +0200 <c_wraith> I don't understand why git-annex depends on yesod. That's not what I'd expect. But anyway....
2021-05-02 08:48:08 +0200 <c_wraith> The first step to building a package is getting the necessary build tools. I'm running debian and got ghc and cabal via ghcup. It's a convenient way to manage those things.
2021-05-02 08:49:01 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-02 08:54:20 +0200 <sunyibo> could you build it?
2021-05-02 08:54:29 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4bd1:656f:4270:d212)
2021-05-02 08:54:34 +0200 <c_wraith> unsure. Still working.
2021-05-02 08:54:53 +0200 <sunyibo> there is a web interface for git-annex. Hence maybe the need for yesod...
2021-05-02 08:55:42 +0200 <c_wraith> that would do it. I didn't look at the cabal file, maybe it's a separate binary and I could have avoided building it.
2021-05-02 08:56:40 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-02 08:57:57 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 08:58:03 +0200ADG1089(~aditya@223.226.237.158) (Remote host closed the connection)
2021-05-02 08:59:24 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-02 09:02:30 +0200 <c_wraith> I was able to build git-annex-8.20210428, but it took like half an hour
2021-05-02 09:03:16 +0200 <c_wraith> that was with ghc 8.10.4 and cabal 3.4.0.0
2021-05-02 09:03:42 +0200Varis(~Tadas@unaffiliated/varis)
2021-05-02 09:05:07 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-05-02 09:05:21 +0200 <c_wraith> looking at the cabal file now - oh, it has a flag for whether to build the webapp or not. Turning that off would have sped things up a lot.
2021-05-02 09:06:23 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-02 09:10:56 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2021-05-02 09:11:55 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-05-02 09:12:44 +0200jgt(~jgt@178.233.42.233)
2021-05-02 09:13:41 +0200 <sunyibo> did you get ghc and cabal from apt?
2021-05-02 09:14:30 +0200puke(~vroom@217.138.252.196)
2021-05-02 09:17:46 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 240 seconds)
2021-05-02 09:18:16 +0200malumore(~malumore@151.62.120.164)
2021-05-02 09:18:16 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-02 09:23:24 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 09:24:06 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 09:25:13 +0200jgt(~jgt@178.233.42.233)
2021-05-02 09:26:50 +0200zaquest(~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2021-05-02 09:27:23 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-02 09:28:25 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-02 09:29:11 +0200 <c_wraith> sunyibo: no, I got them from ghcup
2021-05-02 09:29:37 +0200Bigcheese(~quassel@unaffiliated/bigcheese) (Ping timeout: 276 seconds)
2021-05-02 09:29:41 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 240 seconds)
2021-05-02 09:36:28 +0200jgt(~jgt@178.233.42.233)
2021-05-02 09:39:00 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 09:39:58 +0200 <sunyibo> I did all that, install from ghcup and I'm still getting the same error https://bpa.st/AMIQ
2021-05-02 09:41:02 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 252 seconds)
2021-05-02 09:42:17 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-02 09:42:46 +0200alexanderGuest48764
2021-05-02 09:43:29 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds)
2021-05-02 09:47:40 +0200jgt(~jgt@178.233.42.233)
2021-05-02 09:48:21 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-02 09:49:58 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-02 09:50:04 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-02 09:51:00 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-05-02 09:52:01 +0200wonko7(~wonko7@62.115.229.50)
2021-05-02 09:52:20 +0200jgt(~jgt@178.233.42.233) (Ping timeout: 265 seconds)
2021-05-02 09:52:25 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Client Quit)
2021-05-02 09:53:52 +0200zaquest(~notzaques@5.128.210.178)
2021-05-02 09:54:13 +0200 <maerwald> sunyibo: which GHC is first in PATH?
2021-05-02 09:54:58 +0200 <maerwald> also, this is definitely an outadeted cabal index
2021-05-02 09:59:13 +0200ADG1089(~aditya@223.226.237.158)
2021-05-02 10:00:04 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 10:03:11 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-02 10:04:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 10:06:56 +0200wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds)
2021-05-02 10:09:57 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-02 10:10:14 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-05-02 10:10:21 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-02 10:10:47 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-02 10:10:49 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-05-02 10:11:32 +0200wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-05-02 10:11:53 +0200fendor(~fendor@77.119.131.33.wireless.dyn.drei.com)
2021-05-02 10:12:42 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-05-02 10:14:41 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-02 10:20:02 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-02 10:23:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-02 10:24:35 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-05-02 10:24:39 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 10:25:26 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-02 10:26:18 +0200dave_uy(~david@108.61.193.26) (Quit: Ping timeout (120 seconds))
2021-05-02 10:26:46 +0200malumore(~malumore@151.62.120.164) (Ping timeout: 240 seconds)
2021-05-02 10:26:52 +0200dave_uy(~david@108.61.193.26)
2021-05-02 10:28:07 +0200nineonine(~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds)
2021-05-02 10:30:43 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds)
2021-05-02 10:30:52 +0200 <DigitalKiwi> https://dpaste.com/HQKHLHQGH
2021-05-02 10:31:40 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-02 10:31:46 +0200kritzefitz(~kritzefit@212.86.56.80) (Client Quit)
2021-05-02 10:31:57 +0200 <DigitalKiwi> that's an older version isn't it
2021-05-02 10:32:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:ec9a:7760:ca85:8442)
2021-05-02 10:32:58 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 10:36:16 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 10:37:35 +0200nineonine(~nineonine@2604:3d08:7783:f200:ec9a:7760:ca85:8442) (Ping timeout: 250 seconds)
2021-05-02 10:37:57 +0200 <DigitalKiwi> abbrv. nix-shell -p haskellPackages.git-annex
2021-05-02 10:38:25 +0200stree(~stree@68.36.8.116)
2021-05-02 10:40:26 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 10:44:19 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds)
2021-05-02 10:45:57 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 10:46:31 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-02 10:50:13 +0200tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-02 10:50:28 +0200supercoven(~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi)
2021-05-02 10:51:30 +0200Guest96063(~zmv@unaffiliated/zmv)
2021-05-02 10:52:45 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 265 seconds)
2021-05-02 10:54:45 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 10:58:40 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-02 10:59:31 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 11:07:26 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 240 seconds)
2021-05-02 11:08:35 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-05-02 11:09:26 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 268 seconds)
2021-05-02 11:11:25 +0200acidjnk_new2(~acidjnk@p200300d0c72b952605c4e64672ff5d0e.dip0.t-ipconnect.de)
2021-05-02 11:13:30 +0200mmfood_2(~mmfood@185.176.246.118)
2021-05-02 11:13:37 +0200LKoen(~LKoen@213.166.9.109.rev.sfr.net)
2021-05-02 11:14:57 +0200eruditass(uid248673@gateway/web/irccloud.com/x-arbekezlrkucpqjq) (Quit: Connection closed for inactivity)
2021-05-02 11:17:13 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 11:21:45 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-02 11:22:01 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-02 11:22:49 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-02 11:22:58 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-02 11:23:14 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-02 11:23:43 +0200thevishy(~Nishant@117.193.35.68)
2021-05-02 11:24:06 +0200thevishy(~Nishant@117.193.35.68) (Client Quit)
2021-05-02 11:24:25 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-02 11:26:53 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-02 11:31:26 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-02 11:32:40 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 11:32:43 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 252 seconds)
2021-05-02 11:33:05 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 11:33:06 +0200locallycompact(~quassel@163.172.189.45)
2021-05-02 11:33:18 +0200biglama(~alex@static-176-165-167-17.ftth.abo.bbox.fr)
2021-05-02 11:33:28 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-05-02 11:35:07 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-02 11:40:11 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-02 11:41:34 +0200__monty__(~toonn@unaffiliated/toonn)
2021-05-02 11:41:44 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-05-02 11:45:32 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-05-02 11:46:15 +0200Guest96063(~zmv@unaffiliated/zmv) (Remote host closed the connection)
2021-05-02 11:47:18 +0200notzmv-(~zmv@unaffiliated/zmv)
2021-05-02 11:48:45 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2021-05-02 11:51:51 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-02 11:52:33 +0200Bigcheese(~quassel@unaffiliated/bigcheese)
2021-05-02 11:54:23 +0200 <nut> if i name my file file.hsc, will it be automatically processed by the hsc2hs program?
2021-05-02 11:54:49 +0200 <nut> in the cabal project
2021-05-02 11:57:08 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-02 11:57:23 +0200ddellacosta(~ddellacos@86.106.143.100)
2021-05-02 11:58:22 +0200DTZUZU_(~DTZUZO@207.81.119.43)
2021-05-02 11:58:46 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds)
2021-05-02 11:59:27 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-02 11:59:39 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-05-02 12:00:36 +0200Rudd0(~Rudd0@185.189.115.103)
2021-05-02 12:01:52 +0200ddellacosta(~ddellacos@86.106.143.100) (Ping timeout: 265 seconds)
2021-05-02 12:02:02 +0200 <biglama> Hi guys, I have a list of strings representing categories and subcategories, like this "flower", "rose", "dandelion", "food", "banana", "apple" ... I would like to convert it to a nested structure, for example : [("flower", ["rose", "dandelion"]), ("food", ["banana", "apple"])]...
2021-05-02 12:02:19 +0200 <biglama> Is Data.Map most suited for that ?
2021-05-02 12:03:09 +0200 <biglama> (there are subsubsub categories too)
2021-05-02 12:04:38 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-05-02 12:05:33 +0200 <locallycompact> that structure is a Map String [String] without subsubsubcategories
2021-05-02 12:06:02 +0200 <locallycompact> you can do this indefinitely to a fixed length e.g (Map String (Map String [String])), but all the entries would have to be the same depth
2021-05-02 12:07:49 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-05-02 12:08:02 +0200 <locallycompact> if you want more freely structured trees then I tend to use Cofree [] which gives you arbitrary nesting depth
2021-05-02 12:09:32 +0200 <locallycompact> I think that's also called a rosetree
2021-05-02 12:10:18 +0200 <biglama> locallycompact: thanks ! I thought about using custom data types but, as I was typing the question, it was obvious a map was a better choice :D
2021-05-02 12:11:03 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-02 12:11:16 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-02 12:11:52 +0200 <biglama> locallycompact: the documentation of cfree is not super clear for me :/
2021-05-02 12:13:27 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Read error: Connection reset by peer)
2021-05-02 12:14:18 +0200 <locallycompact> Yeah cofree is very highly parameterised
2021-05-02 12:14:28 +0200 <locallycompact> if you let f = [] in the definition then your example would be
2021-05-02 12:15:29 +0200lawid(~quassel@ip5f5ae8d7.dynamic.kabel-deutschland.de)
2021-05-02 12:15:35 +0200 <locallycompact> actually sorry it wouldn't be that exactly because it would be a list at the top level
2021-05-02 12:15:52 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds)
2021-05-02 12:16:12 +0200 <biglama> Maybe a custom nested structure would be best ? I think a tree should do the job
2021-05-02 12:16:14 +0200 <locallycompact> ["flower" :< ["dandelion" :< [], "rose" :< []], "food" :< ["banana" :< [], "apple" :< []]] :: [Cofree [] String]
2021-05-02 12:16:18 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-05-02 12:17:35 +0200 <locallycompact> depends on the use case really
2021-05-02 12:18:11 +0200p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Remote host closed the connection)
2021-05-02 12:18:37 +0200 <biglama> How would you parse the tree ? I just want to pretty-print it as it comes as a list of string
2021-05-02 12:18:49 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-02 12:19:21 +0200 <locallycompact> if it's coming in as an unstructured list that sound quite involved
2021-05-02 12:19:22 +0200 <biglama> And I have like 50 nodes in the tree (to do by hand)
2021-05-02 12:19:34 +0200p3n(~p3n@217.198.124.246)
2021-05-02 12:19:59 +0200 <biglama> That's why I though of ditching the input and writing the (rose)tree by hand
2021-05-02 12:20:07 +0200 <biglama> thought*
2021-05-02 12:20:18 +0200 <locallycompact> you definitely structured input
2021-05-02 12:20:21 +0200 <locallycompact> *want
2021-05-02 12:22:33 +0200Rudd0(~Rudd0@185.189.115.103) (Read error: Connection reset by peer)
2021-05-02 12:24:50 +0200Rudd0(~Rudd0@185.189.115.103)
2021-05-02 12:25:30 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-02 12:26:23 +0200p3n(~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-02 12:27:07 +0200 <biglama> Oh, it may be actually
2021-05-02 12:27:11 +0200p3n(~p3n@217.198.124.246)
2021-05-02 12:27:32 +0200 <biglama> How would I build a cofree then ?
2021-05-02 12:29:46 +0200 <locallycompact> here's an example of a table of contents with a cofree https://gitlab.com/shakebook-site/shakebook-site.gitlab.io/-/blob/master/Shakefile.hs#L87
2021-05-02 12:30:02 +0200 <locallycompact> you just want Cofree [] String
2021-05-02 12:30:40 +0200 <locallycompact> everything in a rosetree has to have children even if it's empty so all the branches eventually trail with :< []
2021-05-02 12:31:43 +0200ddellacosta(~ddellacos@86.106.143.122)
2021-05-02 12:33:31 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 12:33:34 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 12:34:14 +0200 <tomsmeding> locallycompact: biglama: there is also https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Tree.html which is just a plain old rose tree :p
2021-05-02 12:35:10 +0200 <locallycompact> there you g :)
2021-05-02 12:35:17 +0200 <locallycompact> *go :)
2021-05-02 12:35:43 +0200 <DigitalKiwi> hi locallycompact
2021-05-02 12:35:51 +0200 <locallycompact> hi
2021-05-02 12:36:16 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 12:36:31 +0200ddellacosta(~ddellacos@86.106.143.122) (Ping timeout: 252 seconds)
2021-05-02 12:37:29 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 12:37:31 +0200 <biglama> locallycompact: seems to do the trick nicely and easier to use for me. Thanks !
2021-05-02 12:38:10 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-02 12:39:58 +0200ADG1089(~aditya@223.226.237.158) (Quit: Konversation terminated!)
2021-05-02 12:43:29 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-02 12:43:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 12:46:35 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-02 12:46:46 +0200__minoru__shirae(~shiraeesh@109.166.57.8) (Ping timeout: 260 seconds)
2021-05-02 12:47:54 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds)
2021-05-02 12:49:29 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se)
2021-05-02 12:55:02 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 265 seconds)
2021-05-02 12:56:51 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-02 12:57:28 +0200nrdmn98(~nrdmn@aufmachen.jetzt)
2021-05-02 12:58:37 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-02 12:59:04 +0200stree(~stree@68.36.8.116)
2021-05-02 12:59:40 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-05-02 13:00:02 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-02 13:02:26 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-05-02 13:02:43 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-02 13:03:47 +0200stagn8(~a@78-222-29-85.dyn.estpak.ee)
2021-05-02 13:04:13 +0200hiroaki(~hiroaki@2a02:908:4b18:8c40:d70a:1d3:c925:fe3f)
2021-05-02 13:07:48 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 13:11:15 +0200hackageghc-tags-core 0.3.0.0 - a library to work with tags created from Haskell parsed tree https://hackage.haskell.org/package/ghc-tags-core-0.3.0.0 (coot)
2021-05-02 13:11:46 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-02 13:12:06 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 13:12:15 +0200hackageghc-tags-plugin 0.3.0.0 - A compiler plugin which generates tags file from GHC parsed syntax tree. https://hackage.haskell.org/package/ghc-tags-plugin-0.3.0.0 (coot)
2021-05-02 13:13:00 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-02 13:21:46 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-02 13:22:21 +0200drbean_(~drbean@TC210-63-209-99.static.apol.com.tw)
2021-05-02 13:25:25 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-02 13:25:35 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-02 13:26:55 +0200hiroaki(~hiroaki@2a02:908:4b18:8c40:d70a:1d3:c925:fe3f) (Ping timeout: 260 seconds)
2021-05-02 13:28:45 +0200pera(~pera@unaffiliated/pera)
2021-05-02 13:29:28 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-05-02 13:29:34 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-05-02 13:29:34 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-05-02 13:31:46 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 13:37:13 +0200juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 260 seconds)
2021-05-02 13:39:20 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 13:39:20 +0200hiroaki(~hiroaki@2a02:908:4b18:8c40:777f:cb6c:70ba:23d7)
2021-05-02 13:39:32 +0200phanf(~xerox@226.148.192.35.bc.googleusercontent.com)
2021-05-02 13:39:49 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-02 13:39:55 +0200ddellacosta(~ddellacos@86.106.143.200)
2021-05-02 13:40:25 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-02 13:41:37 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-02 13:43:29 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-05-02 13:44:12 +0200ddellacosta(~ddellacos@86.106.143.200) (Ping timeout: 240 seconds)
2021-05-02 13:45:37 +0200neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-05-02 13:45:37 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-02 13:45:38 +0200neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-05-02 13:45:38 +0200neiluj(~jco@unaffiliated/neiluj)
2021-05-02 13:46:22 +0200acidjnk_new2(~acidjnk@p200300d0c72b952605c4e64672ff5d0e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-05-02 13:50:47 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 13:55:56 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-02 13:58:59 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 14:01:45 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-02 14:10:40 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 14:10:47 +0200desophos(~desophos@2601:249:1680:a570:e8c6:41eb:f89b:6f1f) (Quit: Leaving)
2021-05-02 14:12:13 +0200juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 252 seconds)
2021-05-02 14:14:11 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-02 14:16:32 +0200 <Philonous> Is there a good introduction to writing GHC plugins somewhere?
2021-05-02 14:20:44 +0200ddellacosta(~ddellacos@86.106.143.83)
2021-05-02 14:22:36 +0200notzmv-(~zmv@unaffiliated/zmv) (Remote host closed the connection)
2021-05-02 14:22:57 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Remote host closed the connection)
2021-05-02 14:23:36 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-02 14:23:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
2021-05-02 14:24:53 +0200ddellacosta(~ddellacos@86.106.143.83) (Ping timeout: 246 seconds)
2021-05-02 14:26:15 +0200Deide(~Deide@217.155.19.23)
2021-05-02 14:27:33 +0200nrdmn984(~nrdmn@aufmachen.jetzt)
2021-05-02 14:29:49 +0200nrdmn98(~nrdmn@aufmachen.jetzt) (Ping timeout: 252 seconds)
2021-05-02 14:29:49 +0200nrdmn984nrdmn98
2021-05-02 14:29:59 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-02 14:30:24 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-02 14:30:55 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection)
2021-05-02 14:31:51 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-02 14:32:12 +0200nrdmn98(~nrdmn@aufmachen.jetzt) (Client Quit)
2021-05-02 14:35:56 +0200nrdmn98(~nrdmn@aufmachen.jetzt)
2021-05-02 14:36:19 +0200nrdmn98(~nrdmn@aufmachen.jetzt) (Client Quit)
2021-05-02 14:36:41 +0200nrdmn98(~nrdmn@aufmachen.jetzt)
2021-05-02 14:37:12 +0200 <juri_> wow. who thought case sensitive package names was a good idea.
2021-05-02 14:37:33 +0200 <juri_> looking at you, Unique, and unique.
2021-05-02 14:39:40 +0200 <geekosaur> someone has a good sense of irony
2021-05-02 14:42:46 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
2021-05-02 14:43:00 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:a99e:97e3:e750:cc8d)
2021-05-02 14:47:58 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-02 14:50:31 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-02 14:51:23 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 14:52:12 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-02 14:53:43 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-05-02 14:54:41 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 14:54:49 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-02 14:57:03 +0200dmytrish(~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc)
2021-05-02 14:57:09 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 15:01:31 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-05-02 15:03:00 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 15:03:35 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 15:03:46 +0200 <pjb> juri_: some people are sensible to case, some are sloppy.
2021-05-02 15:05:22 +0200 <davve_> name your packages LiKeThIs and maybe it gets changed :)
2021-05-02 15:06:53 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-02 15:10:55 +0200urodna(~urodna@unaffiliated/urodna)
2021-05-02 15:10:58 +0200LKoen(~LKoen@213.166.9.109.rev.sfr.net) (Read error: Connection reset by peer)
2021-05-02 15:11:27 +0200alx741(~alx741@181.196.69.213)
2021-05-02 15:11:40 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-02 15:13:04 +0200LKoen(~LKoen@213.166.9.109.rev.sfr.net)
2021-05-02 15:16:21 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 15:16:52 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-05-02 15:20:19 +0200stree(~stree@68.36.8.116)
2021-05-02 15:20:24 +0200 <dmj`> Philonous: I wrote a ghc plugin to inline lens template haskell splices https://github.com/dmjio/lens-th-rewrite/blob/master/src/GHC/Plugin/LensThRewrite.hs code isn't too hard to follow
2021-05-02 15:21:48 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-02 15:23:13 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Read error: Connection reset by peer)
2021-05-02 15:27:45 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-cnsxlywwdhpnwokk)
2021-05-02 15:30:38 +0200Guest50267(~textual@2603-7000-3040-0000-6c1e-6cc0-306b-de82.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 15:30:40 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 265 seconds)
2021-05-02 15:32:51 +0200stef204(~stef204@unaffiliated/stef-204/x-384198)
2021-05-02 15:35:08 +0200mav1(~mav@ip-88-152-11-191.hsi03.unitymediagroup.de)
2021-05-02 15:35:14 +0200ddellacosta(~ddellacos@86.106.143.10)
2021-05-02 15:38:04 +0200Franciman(~francesco@host-79-32-159-157.retail.telecomitalia.it)
2021-05-02 15:38:10 +0200 <Franciman> Hi
2021-05-02 15:39:32 +0200ddellacosta(~ddellacos@86.106.143.10) (Ping timeout: 240 seconds)
2021-05-02 15:41:42 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-02 15:41:43 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-02 15:41:46 +0200 <Philonous> dmj`, Thanks, that helps!
2021-05-02 15:42:04 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-02 15:42:57 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection)
2021-05-02 15:44:39 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-02 15:45:15 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-05-02 15:45:39 +0200AlleriaGuest74289
2021-05-02 15:47:18 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-02 15:47:31 +0200malumore(~malumore@151.62.120.164)
2021-05-02 15:50:47 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-02 15:51:37 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 15:51:45 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds)
2021-05-02 15:52:21 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-02 15:57:25 +0200drbean_(~drbean@TC210-63-209-99.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-02 15:58:50 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-02 16:00:07 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 16:00:16 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 276 seconds)
2021-05-02 16:01:00 +0200cortexauth(~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388)
2021-05-02 16:03:05 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-02 16:03:24 +0200jgt(~jgt@85.105.142.226)
2021-05-02 16:05:11 +0200mav1(~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-05-02 16:06:28 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/snake_ToTitle
2021-05-02 16:08:51 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-02 16:09:53 +0200 <[exa]> DigitalKiwi: good they run it in nix, there ain't a chance that a version mismatch would produce rEVERSEcAMELcASE or something
2021-05-02 16:10:28 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-02 16:13:01 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-02 16:14:40 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/spongeBoBNamer
2021-05-02 16:14:40 +0200 <DigitalKiwi> kiwi@mvp-nixos ~ []$ ~/bin/spongeBoBNamer wellyoucanneverbetoocareful
2021-05-02 16:14:40 +0200 <DigitalKiwi> WeLlYoUcAnNeVeRbEtOoCaReFuL
2021-05-02 16:16:18 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 16:16:53 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 246 seconds)
2021-05-02 16:16:58 +0200 <DigitalKiwi> [exa]: hehe well ...here's the thing about nixos-unstable channel. it's not stable
2021-05-02 16:17:10 +0200 <[exa]> :D
2021-05-02 16:18:16 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-snhwmajxzbdruiic)
2021-05-02 16:20:07 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-02 16:20:42 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-02 16:23:12 +0200 <DigitalKiwi> and on my systems it's almost more likely that it'll be using https://github.com/NixOS/nixpkgs/tree/haskell-updates (have in an overlay) or https://github.com/Kiwi/nixpkgs/tree/some-pending-pr
2021-05-02 16:24:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-02 16:24:38 +0200 <DigitalKiwi> i really should start pinning things a bit more often...
2021-05-02 16:25:38 +0200jneira(5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250)
2021-05-02 16:36:15 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-02 16:36:59 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-02 16:46:11 +0200Zy64Jw(~Zy64Jw@223.226.237.158)
2021-05-02 16:46:14 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-02 16:46:17 +0200 <Zy64Jw> how would you say "suit yourself" in a professional environment
2021-05-02 16:47:06 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-02 16:47:36 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-02 16:48:31 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 16:50:32 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2021-05-02 16:52:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 16:53:22 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds)
2021-05-02 16:53:36 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 16:54:03 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-wuxcwfzdtkwlmcjg)
2021-05-02 16:56:20 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-02 17:03:12 +0200Zy64Jw(~Zy64Jw@223.226.237.158) (Remote host closed the connection)
2021-05-02 17:04:54 +0200 <DigitalKiwi> "that is a nice tie you are wearing, did you pick that suit yourself?"
2021-05-02 17:06:35 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-02 17:06:56 +0200juliagoda(~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4)
2021-05-02 17:12:09 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-05-02 17:14:37 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-02 17:15:37 +0200thblt(~thblt@unaffiliated/thblt)
2021-05-02 17:17:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 17:23:13 +0200Franciman(~francesco@host-79-32-159-157.retail.telecomitalia.it) ("Leaving")
2021-05-02 17:23:46 +0200__minoru__shirae(~shiraeesh@109.166.57.8)
2021-05-02 17:24:24 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection)
2021-05-02 17:25:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 17:28:31 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-02 17:30:48 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-05-02 17:30:51 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-05-02 17:33:26 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-02 17:34:53 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 17:36:18 +0200Athas(athas@sigkill.dk) (Ping timeout: 240 seconds)
2021-05-02 17:37:55 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-dhvnxehouwypqigq)
2021-05-02 17:38:45 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 265 seconds)
2021-05-02 17:41:22 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-02 17:41:40 +0200stree(~stree@68.36.8.116)
2021-05-02 17:45:55 +0200ddellacosta(~ddellacos@86.106.143.200)
2021-05-02 17:46:32 +0200thblt(~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)")
2021-05-02 17:49:27 +0200__minoru__shirae(~shiraeesh@109.166.57.8) (Ping timeout: 252 seconds)
2021-05-02 17:50:14 +0200cybai(~cybai@2400:4050:3122:900:106d:1dc5:2d33:5eba) (Remote host closed the connection)
2021-05-02 17:50:44 +0200cybai(~cybai@2400:4050:3122:900:595c:bd76:18:ff33)
2021-05-02 17:52:37 +0200cybai(~cybai@2400:4050:3122:900:595c:bd76:18:ff33) (Client Quit)
2021-05-02 18:00:53 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-02 18:01:25 +0200__minoru__shirae(~shiraeesh@109.166.57.8)
2021-05-02 18:01:25 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-05-02 18:03:07 +0200zebrag(~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr)
2021-05-02 18:03:12 +0200ddellacosta(~ddellacos@86.106.143.200) (Ping timeout: 240 seconds)
2021-05-02 18:04:39 +0200NieDzejkob(~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-05-02 18:04:52 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds)
2021-05-02 18:04:57 +0200ddellacosta(~ddellacos@86.106.143.200)
2021-05-02 18:06:59 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-02 18:08:09 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 268 seconds)
2021-05-02 18:10:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 18:10:47 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 18:11:23 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 18:12:24 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 18:12:58 +0200jtk(~jtk@185.169.233.12) (Remote host closed the connection)
2021-05-02 18:13:33 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2021-05-02 18:13:37 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-02 18:13:44 +0200xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-02 18:13:46 +0200jgt(~jgt@85.105.142.226) (Ping timeout: 240 seconds)
2021-05-02 18:16:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 18:16:21 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-05-02 18:16:39 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 18:18:26 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-knwieyhblwaofvow)
2021-05-02 18:19:12 +0200nbloomf(~nbloomf@76.217.43.73)
2021-05-02 18:20:10 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-02 18:20:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-02 18:21:08 +0200wonko7(~wonko7@62.115.229.50)
2021-05-02 18:21:49 +0200Athas(athas@2a01:7c8:aaac:1cf:744:f358:5346:deb7)
2021-05-02 18:32:24 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-02 18:32:28 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-02 18:32:30 +0200asicia(~asdfasdfa@86.100.110.212)
2021-05-02 18:34:06 +0200malumore(~malumore@151.62.120.164) (Ping timeout: 240 seconds)
2021-05-02 18:36:04 +0200usr25(~usr25@unaffiliated/usr25)
2021-05-02 18:36:42 +0200 <asicia> Can someone explain this part: https://youtu.be/uykHCg2VUjc?t=1575 where he says that we can assume the induction hypothesis? He later uses that assumption to switch statements in the equality, but how is that proving anything?
2021-05-02 18:40:02 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-02 18:41:14 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-02 18:41:33 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-05-02 18:44:06 +0200DTZUZU_(~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
2021-05-02 18:44:08 +0200jgt(~jgt@85.105.142.226)
2021-05-02 18:45:23 +0200 <monochrom> Have you done induction proofs in other contexts? No difference here.
2021-05-02 18:46:18 +0200NieDzejkob(~quassel@195.149.98.3)
2021-05-02 18:47:22 +0200 <monochrom> And at that specific point, he is just starting the inductive case by carefully writing down what to prove in the inductive case.
2021-05-02 18:48:06 +0200ddellacosta(~ddellacos@86.106.143.200) (Ping timeout: 240 seconds)
2021-05-02 18:48:08 +0200 <monochrom> But the assumption is the equation before the ⇒.
2021-05-02 18:48:35 +0200ADG1089(~aditya@223.226.237.158)
2021-05-02 18:48:56 +0200 <asicia> i have not done any induction proofs before, so i am a bit confused as to why can assume that hypothesis
2021-05-02 18:49:52 +0200 <asicia> i kind of thought the base case should be used in the steps proving the inductive case
2021-05-02 18:50:03 +0200constrixor(~chargen@D964062A.static.ziggozakelijk.nl)
2021-05-02 18:50:46 +0200 <pavonia> Is there a Haskell type that discriminates between a positive and negative NaN?
2021-05-02 18:53:08 +0200ADG1089(~aditya@223.226.237.158) (Read error: Connection reset by peer)
2021-05-02 18:53:43 +0200 <monochrom> I think the first 10 minutes is a rough sketch why induction is valid.
2021-05-02 18:53:54 +0200 <monochrom> I mean I would give the same rough sketch too.
2021-05-02 18:54:31 +0200 <monochrom> There is a way to rigorously prove that induction is valid, but it's pure math rather than programming.
2021-05-02 18:56:10 +0200 <asicia> so by "we can assume" he means that it should be proven, but we will just skip that part for the sake of explaning the rough sketch?
2021-05-02 18:56:29 +0200jgt(~jgt@85.105.142.226) (Ping timeout: 246 seconds)
2021-05-02 18:56:45 +0200 <monochrom> Huh, which "we can assume"?
2021-05-02 18:57:14 +0200 <asicia> the very first sentence
2021-05-02 18:57:24 +0200 <asicia> in the link i provided
2021-05-02 18:57:31 +0200 <monochrom> Then no.
2021-05-02 18:57:32 +0200tvn(~tvn@217.146.82.202)
2021-05-02 18:57:46 +0200 <asicia> so what is that assumption based on?
2021-05-02 18:58:20 +0200 <monochrom> We can assume P(n). We can assume "add n Zero = n".
2021-05-02 18:58:52 +0200 <monochrom> When proving "X ⇒ Y", we assume X and under it prove Y.
2021-05-02 19:00:03 +0200 <asicia> but there is no statement with Zero in the inductive case proof
2021-05-02 19:00:27 +0200 <monochrom> That's fine.
2021-05-02 19:00:51 +0200 <monochrom> Not the job of the inductive case to worry about P(Zero).
2021-05-02 19:01:37 +0200 <monochrom> How about this:
2021-05-02 19:02:59 +0200 <monochrom> Are you mixing up eg "for every day D, (if I receive a gold coin on day D, then I will receive a gold coin on day D+1)" with "if (for every day D, I receive a gold coin on day D) then (for every day D, I will receive a gold coin on day D+1)"?
2021-05-02 19:03:13 +0200 <monochrom> The inductive case is the former, not the latter.
2021-05-02 19:03:35 +0200 <monochrom> The latter doesn't prove anything.
2021-05-02 19:04:30 +0200 <monochrom> A child saved an injured bird. The bird turned out to be a fairy, and offered to grant two wishes to the child.
2021-05-02 19:04:46 +0200 <monochrom> The child's 1st wish was "I wish to receive a gold coin today".
2021-05-02 19:05:17 +0200 <monochrom> 2nd wish was "I wish that: for every day, if I receive a gold coin on that day, then I will receive a gold coin on the next day"
2021-05-02 19:05:18 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-05-02 19:05:37 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 19:05:45 +0200hackagecss-selectors 0.4.0.0 - Parsing, rendering and manipulating css selectors in Haskell. https://hackage.haskell.org/package/css-selectors-0.4.0.0 (wvanonsem90)
2021-05-02 19:05:49 +0200 <monochrom> Why didn't the child simply use one wish to say "I wish to receive a gold coin everyday, starting from today"?
2021-05-02 19:05:58 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-05-02 19:06:04 +0200 <monochrom> Because this is a fairy tale for induction. >:)
2021-05-02 19:06:07 +0200landonf(landonf@mac68k.info)
2021-05-02 19:06:33 +0200juliagoda(~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving)
2021-05-02 19:08:31 +0200sw1nn(~sw1nn@2a00:23c7:622f:2c00:b279:c6ef:9497:e6fa) (Ping timeout: 260 seconds)
2021-05-02 19:08:45 +0200ADG1089(~aditya@223.226.237.158)
2021-05-02 19:09:18 +0200 <asicia> i guess i will need to learn some more about induction, as it still confuses me why the proof does not step by step convert the left side of equation to the right side one
2021-05-02 19:09:48 +0200 <asicia> but just takes a shortcut when the statements looks like the one in the hypothesis and switches the left side with the right side
2021-05-02 19:10:25 +0200 <monochrom> That may be an entirely different issue.
2021-05-02 19:12:33 +0200 <hrnz> pavonia: Double.
2021-05-02 19:13:33 +0200 <monochrom> Huh, from 26:34 to 30:00 he was doing from left side to right side.
2021-05-02 19:14:39 +0200 <monochrom> Except at the darkest minute, as usual, it is not clear how to do the hardest step unless you take hints from working backwards.
2021-05-02 19:14:57 +0200mav1(~mav@ip-88-152-11-191.hsi03.unitymediagroup.de)
2021-05-02 19:16:08 +0200ddellacosta(~ddellacos@86.106.143.83)
2021-05-02 19:16:43 +0200 <asicia> at 27:45~ he rebrackets the statement, but we are trying to prove that part, how can he use this in the proof?
2021-05-02 19:17:12 +0200 <DigitalKiwi> that's the proof by induction part
2021-05-02 19:17:14 +0200 <monochrom> That's using the induction hypothesis "add x (add x y) = add (add x y) z"
2021-05-02 19:17:37 +0200 <monochrom> the "P(x)"
2021-05-02 19:18:05 +0200 <pavonia> hrnz: And how do you create those values?
2021-05-02 19:18:19 +0200 <monochrom> At this point, no one is trying to prove "add x (add x y) = add (add x y) z"
2021-05-02 19:18:35 +0200 <hrnz> 0*(8/0) :: Double and 0*(-8/0) :: Double :>
2021-05-02 19:18:39 +0200 <monochrom> Everyone is only trying to prove "add (Succ x) (add x y) = add (add (Succ x) y) z"
2021-05-02 19:18:53 +0200 <monochrom> Remember the gold coins?
2021-05-02 19:19:28 +0200 <asicia> but why is it legal to use that assumption in that step of the proof to rebracket the statement
2021-05-02 19:19:31 +0200 <monochrom> No one is either assuming nor proving "every day I get a coin".
2021-05-02 19:19:36 +0200ADG1089(~aditya@223.226.237.158) (Quit: Konversation terminated!)
2021-05-02 19:19:59 +0200 <pavonia> > (0*(8/0) :: Double, 0*(-8/0) :: Double)
2021-05-02 19:20:01 +0200 <lambdabot> (NaN,NaN)
2021-05-02 19:20:03 +0200 <monochrom> Everyone is just assuming "if on a particular day D, I get a coin", then what will happen on day D+1.
2021-05-02 19:20:17 +0200ddellacosta(~ddellacos@86.106.143.83) (Ping timeout: 246 seconds)
2021-05-02 19:20:35 +0200 <pavonia> > (0*(8/0) :: Double) == (0*(-8/0) :: Double)
2021-05-02 19:20:35 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-02 19:20:37 +0200 <lambdabot> False
2021-05-02 19:20:47 +0200 <pavonia> Awesome
2021-05-02 19:20:49 +0200sw1nn(~sw1nn@2a00:23c7:622f:2c00:cbb9:38e5:9364:df1e)
2021-05-02 19:21:15 +0200 <monochrom> Because the inductive case proves "for all x, (if P(x), then P(Succ x)"
2021-05-02 19:22:13 +0200 <monochrom> So you begin with "Let an arbitrary x be given, it's an unknown to me, but it's called 'x'"
2021-05-02 19:22:34 +0200 <monochrom> So now you need to prove "if P(x) then P(Succ x)" under that x.
2021-05-02 19:22:49 +0200 <monochrom> So now you assume P(x) and prove P(Succ x).
2021-05-02 19:23:07 +0200 <monochrom> There is basically no other way to prove statements of the form "if foo then bar".
2021-05-02 19:23:24 +0200 <monochrom> It's almost the definition of "⇒".
2021-05-02 19:23:26 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-02 19:25:21 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-02 19:27:28 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 19:28:08 +0200jgt(~jgt@85.105.142.226)
2021-05-02 19:28:15 +0200 <asicia> thanks for your explanations monochrom, i will try to search for some resources to get a better understanding on how these proofs are done
2021-05-02 19:29:59 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-05-02 19:31:23 +0200OscarZ_(~oscarz@95.175.104.49)
2021-05-02 19:34:31 +0200OscarZ(~oscarz@95.175.104.49) (Ping timeout: 252 seconds)
2021-05-02 19:39:35 +0200jgt(~jgt@85.105.142.226) (Ping timeout: 265 seconds)
2021-05-02 19:41:44 +0200hackagecss-selectors 0.4.0.1 - Parsing, rendering and manipulating css selectors in Haskell. https://hackage.haskell.org/package/css-selectors-0.4.0.1 (wvanonsem90)
2021-05-02 19:43:10 +0200cfricke(cfricke@gateway/vpn/mullvad/cfricke)
2021-05-02 19:43:11 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2)
2021-05-02 19:44:31 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 19:47:34 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-dhvnxehouwypqigq) (Quit: Connection closed for inactivity)
2021-05-02 19:49:23 +0200 <cub3s_> If I upload package to Hackage, how long roughly until I can see it on "haskell-updates" branch of nixpkgs?
2021-05-02 19:49:24 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 19:50:06 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-02 19:50:14 +0200hackagestreamly-archive 0.0.2 - Stream data from archives using the streamly library. https://hackage.haskell.org/package/streamly-archive-0.0.2 (shlok)
2021-05-02 19:53:57 +0200malumore(~malumore@151.62.120.164)
2021-05-02 19:54:13 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-02 19:54:31 +0200usr25(~usr25@unaffiliated/usr25) (Read error: Connection reset by peer)
2021-05-02 19:55:36 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-02 19:55:44 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-02 19:59:46 +0200nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 20:01:44 +0200usr25(~usr25@unaffiliated/usr25)
2021-05-02 20:02:40 +0200stree(~stree@68.36.8.116)
2021-05-02 20:04:22 +0200OscarZ-(~oscarz@95.175.104.49)
2021-05-02 20:06:48 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net)
2021-05-02 20:07:31 +0200OscarZ_(~oscarz@95.175.104.49) (Ping timeout: 252 seconds)
2021-05-02 20:08:27 +0200jgt(~jgt@85.105.142.226)
2021-05-02 20:14:52 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 20:17:52 +0200rajivr(uid269651@gateway/web/irccloud.com/x-vnfvmgncpsykoslu) (Quit: Connection closed for inactivity)
2021-05-02 20:17:58 +0200jgt(~jgt@85.105.142.226) (Ping timeout: 252 seconds)
2021-05-02 20:19:03 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-02 20:20:45 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 20:22:11 +0200Guest74289(~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 20:22:18 +0200cfricke(cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds)
2021-05-02 20:22:38 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-05-02 20:23:45 +0200ddellacosta(~ddellacos@86.106.143.83)
2021-05-02 20:24:14 +0200hackagestreamly-lmdb 0.2.1 - Stream data to or from LMDB databases using the streamly library. https://hackage.haskell.org/package/streamly-lmdb-0.2.1 (shlok)
2021-05-02 20:25:06 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-02 20:27:50 +0200ddellacosta(~ddellacos@86.106.143.83) (Ping timeout: 246 seconds)
2021-05-02 20:27:58 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-02 20:28:19 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 260 seconds)
2021-05-02 20:28:32 +0200bind2(~bind@md-dingen.tilaa.cloud) (Ping timeout: 246 seconds)
2021-05-02 20:29:19 +0200bind2(~bind@unaffiliated/bind)
2021-05-02 20:29:49 +0200johnw(~johnw@haskell/developer/johnw)
2021-05-02 20:31:33 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 20:32:53 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 20:33:29 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-05-02 20:34:52 +0200stagn8(~a@78-222-29-85.dyn.estpak.ee) (Quit: Leaving)
2021-05-02 20:35:11 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds)
2021-05-02 20:36:10 +0200chisui(59f77cab@i59F77CAB.versanet.de)
2021-05-02 20:36:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-02 20:38:18 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-05-02 20:38:34 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-02 20:39:25 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 20:45:38 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 260 seconds)
2021-05-02 20:46:17 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 20:48:31 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-02 20:48:32 +0200asicia(~asdfasdfa@86.100.110.212) (Quit: Lost terminal)
2021-05-02 20:49:11 +0200jgt(~jgt@85.105.142.226)
2021-05-02 20:49:48 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-02 20:50:41 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 20:52:16 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 20:54:15 +0200pera(~pera@unaffiliated/pera)
2021-05-02 20:55:16 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-02 20:56:25 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-ifoosmlkxlhftawc)
2021-05-02 20:56:51 +0200hololeap(hololeap@gateway/vpn/protonvpn/hololeap)
2021-05-02 20:57:01 +0200mav1(~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-02 20:57:38 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-05-02 20:57:46 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-02 21:00:00 +0200amx(amx@percival.namespace.at) (Quit: WeeChat 2.8)
2021-05-02 21:02:40 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 268 seconds)
2021-05-02 21:06:53 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 21:07:58 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-02 21:09:25 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving)
2021-05-02 21:09:34 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 21:09:59 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-02 21:11:32 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-02 21:12:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 21:14:46 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-02 21:16:06 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds)
2021-05-02 21:17:39 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-02 21:18:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-02 21:19:29 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 21:19:46 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-02 21:24:15 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-02 21:29:01 +0200ft(~ft@shell.chaostreff-dortmund.de) (Ping timeout: 260 seconds)
2021-05-02 21:30:01 +0200ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 21:30:26 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 21:30:40 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2021-05-02 21:32:55 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 21:34:12 +0200ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 21:34:27 +0200hc(~hc@fsfe/hc) (Remote host closed the connection)
2021-05-02 21:35:51 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-02 21:37:17 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-02 21:38:05 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 21:38:59 +0200tsandstr(~user@nat-130-132-173-221.central.yale.edu) (Ping timeout: 252 seconds)
2021-05-02 21:43:19 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-02 21:43:54 +0200minoru_shiraeesh(~shiraeesh@109.166.56.14)
2021-05-02 21:44:15 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection)
2021-05-02 21:44:17 +0200__minoru__shirae(~shiraeesh@109.166.57.8) (Ping timeout: 265 seconds)
2021-05-02 21:44:34 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-02 21:44:57 +0200henninb(~henninb@63-226-190-31.mpls.qwest.net)
2021-05-02 21:46:01 +0200jneira(5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Quit: Ping timeout (120 seconds))
2021-05-02 21:46:45 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-02 21:46:47 +0200jneira(5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250)
2021-05-02 21:49:54 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-02 21:50:02 +0200pera(~pera@unaffiliated/pera)
2021-05-02 21:50:21 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-05-02 21:50:26 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-05-02 21:51:16 +0200 <nut> When do people use Data.Coerce ?
2021-05-02 21:51:32 +0200 <nut> i saw a c lib wrapper using it, but can't understand why
2021-05-02 21:52:36 +0200 <nut> solveOde fun x0 f0 xend =
2021-05-02 21:52:38 +0200 <nut> coerce $ solveOdeC (coerce fun) (coerce x0) (coerce f0) (coerce xend)
2021-05-02 21:54:41 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 21:55:16 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 21:56:18 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-02 21:59:50 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
2021-05-02 22:00:06 +0200Alleria(~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com)
2021-05-02 22:00:31 +0200AlleriaGuest757
2021-05-02 22:00:35 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-02 22:02:57 +0200 <chisui> nut: It's a type safe way to convert between data types that have the same runtime representation. Instances of `Coercible` are generated by the compiler and usages of `coerce` introduce no actual runtime code executions (for the most part). See the documentation for more info.
2021-05-02 22:02:57 +0200 <chisui> https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Coerce.html#t:Coercible
2021-05-02 22:03:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 22:04:25 +0200Guest757(~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-02 22:05:25 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-02 22:06:07 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2021-05-02 22:07:13 +0200petersen(~petersen@redhat/juhp)
2021-05-02 22:07:14 +0200darjeeling_(~darjeelin@115.215.40.212) (Ping timeout: 246 seconds)
2021-05-02 22:07:55 +0200wnbehsklr(~wnbehsklr@97-119-109-245.omah.qwest.net)
2021-05-02 22:08:15 +0200 <hololeap> the bigger question is when do you use Data.Typeable.cast vs Data.Coerce.coerce ?
2021-05-02 22:09:30 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2021-05-02 22:10:52 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-02 22:11:56 +0200cdsmith(49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-02 22:13:08 +0200 <cdsmith> I don't understand why 'a' isn't in scope here.  Anyone want to convince me this makes sense?  https://gist.github.com/cdsmith/d8d7876f4a978edca62d05dd454c7b9d
2021-05-02 22:13:11 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-05-02 22:14:05 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 22:14:12 +0200v01d4lph4(~v01d4lph4@171.48.62.25)
2021-05-02 22:15:09 +0200 <geekosaur> I'm not sure what you typed makes sense. "forall."?
2021-05-02 22:15:19 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2021-05-02 22:15:27 +0200 <cdsmith> geekosaur: That's just to rpevent implicity quanitification
2021-05-02 22:15:38 +0200 <cdsmith> Okay, I cannot type today, it seems
2021-05-02 22:15:47 +0200 <cdsmith> prevent implicit quantification
2021-05-02 22:16:28 +0200 <cdsmith> Without that, it compiles, but only because there's an implicit `forall a.` on the constructor.
2021-05-02 22:16:48 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection)
2021-05-02 22:18:26 +0200 <dmj`> llvm-hs is a great package
2021-05-02 22:18:26 +0200v01d4lph4(~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds)
2021-05-02 22:19:17 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2021-05-02 22:20:55 +0200darjeeling_(~darjeelin@115.215.40.84)
2021-05-02 22:21:22 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 22:22:16 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds)
2021-05-02 22:22:52 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-02 22:23:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 22:24:01 +0200stree(~stree@68.36.8.116)
2021-05-02 22:25:55 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds)
2021-05-02 22:27:18 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 22:27:46 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 252 seconds)
2021-05-02 22:30:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 22:33:46 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-02 22:35:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-05-02 22:35:47 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-02 22:36:37 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-02 22:37:51 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-02 22:38:46 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-02 22:39:15 +0200hc(~hc@fsfe/hc)
2021-05-02 22:41:36 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2021-05-02 22:43:11 +0200supercoven(~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-05-02 22:46:46 +0200 <cdsmith> Oh, never mind about my forall question.  I realized that even though I need to include 'a' in the forall of the constructor, because it also occurs in the result, it unifies the way I wanted anyway.
2021-05-02 22:48:21 +0200acidjnk_new2(~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de)
2021-05-02 22:52:06 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-05-02 22:52:20 +0200neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-05-02 22:54:33 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 22:57:10 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-wuxcwfzdtkwlmcjg) ()
2021-05-02 22:58:57 +0200ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 22:59:32 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-02 23:00:45 +0200hackagedimensional 1.4 - Statically checked physical dimensions https://hackage.haskell.org/package/dimensional-1.4 (BjornBuckwalter)
2021-05-02 23:00:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds)
2021-05-02 23:01:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 23:02:16 +0200wnbehsklr(~wnbehsklr@97-119-109-245.omah.qwest.net) (Remote host closed the connection)
2021-05-02 23:02:38 +0200henninb(~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal)
2021-05-02 23:02:54 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-02 23:09:00 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-05-02 23:09:40 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru)
2021-05-02 23:09:41 +0200 <safinaskar> hi
2021-05-02 23:10:27 +0200 <safinaskar> when i type multiple words at http://hackage.haskell.org/packages/search , it seems they are connected using OR. how to connect them using AND?
2021-05-02 23:11:55 +0200LKoen(~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-02 23:12:20 +0200 <lyxia> safinaskar: have you considered using Google instead
2021-05-02 23:15:34 +0200 <safinaskar> well, i found what i want
2021-05-02 23:15:39 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru) ()
2021-05-02 23:19:56 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-05-02 23:21:10 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-02 23:21:34 +0200britva(~britva@2a02:aa13:7240:2980:517d:e116:307a:ffc)
2021-05-02 23:23:05 +0200pera(~pera@unaffiliated/pera) (Quit: leaving)
2021-05-02 23:23:10 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 23:23:41 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 23:24:56 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection)
2021-05-02 23:25:46 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 23:26:53 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2021-05-02 23:27:17 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-02 23:27:58 +0200 <jijimofo> had an idea for cabal. what if instead of building for a single set of versions, cabal built for a whole bunch of version sets at once?
2021-05-02 23:28:19 +0200 <Uniaika> jijimofo: that's called CI matrices :-P
2021-05-02 23:28:35 +0200 <jijimofo> idea being to automate building and testing with a wide variety of library versions
2021-05-02 23:28:53 +0200 <jijimofo> Uniaika: oh. heh, of course someone has already had the idea :)
2021-05-02 23:29:17 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-02 23:29:26 +0200 <Uniaika> jijimofo: GitHub Actions allow you to specify matrices https://kodimensional.dev/github-actions
2021-05-02 23:30:11 +0200mmfood_2(~mmfood@185.176.246.118) (Remote host closed the connection)
2021-05-02 23:30:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds)
2021-05-02 23:31:38 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-05-02 23:32:06 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-02 23:32:06 +0200mmfood_2(~mmfood@45.135.187.148)
2021-05-02 23:33:09 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-02 23:33:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157)
2021-05-02 23:34:19 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-02 23:36:41 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-05-02 23:37:45 +0200 <jijimofo> i think building and testing against a single set of versions is "wrong". one should specify supported version ranges and cabal should automate building and testing against mulitple version sets
2021-05-02 23:39:00 +0200 <jijimofo> except in "development mode" where speed in compiling is important. but when you publish the changes the extra building is done
2021-05-02 23:39:40 +0200 <jijimofo> does cabal have a way to determine maximal version bounds?
2021-05-02 23:39:40 +0200mmfood_1(~mmfood@45.135.187.146)
2021-05-02 23:39:52 +0200mmfood_2(~mmfood@45.135.187.148) (Ping timeout: 240 seconds)
2021-05-02 23:39:58 +0200proofofkeags(~proofofke@8.36.227.157)
2021-05-02 23:41:05 +0200 <jijimofo> i think i have my next project. how to automatically determine version ranges for packages
2021-05-02 23:41:35 +0200 <jijimofo> the goal being to use cabal and not have to think about version bounds period
2021-05-02 23:42:21 +0200 <jijimofo> so each package would come with a way of testing it and the auto-bounds will use success and failure of build/test to figure out bounds
2021-05-02 23:43:17 +0200 <jijimofo> s/auto-bounds/bounds-bot
2021-05-02 23:43:24 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-05-02 23:43:56 +0200 <jijimofo> gah no one ever talks to me
2021-05-02 23:44:08 +0200 <jijimofo> itsok ;
2021-05-02 23:44:15 +0200 <jijimofo> im just bored
2021-05-02 23:44:45 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-02 23:45:03 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-02 23:48:23 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-02 23:48:43 +0200biglama(~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection)
2021-05-02 23:50:32 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 240 seconds)
2021-05-02 23:52:30 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 23:57:36 +0200minoru_shiraeesh(~shiraeesh@109.166.56.14) (Ping timeout: 260 seconds)
2021-05-02 23:58:11 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-02 23:58:52 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)