Logs: freenode/#haskell
| 2020-11-18 14:06:31 | → | rezajan joins (~rezajan@151.243.221.71) |
| 2020-11-18 14:06:50 | × | rezajan quits (~rezajan@151.243.221.71) (Client Quit) |
| 2020-11-18 14:08:13 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2020-11-18 14:08:35 | × | jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 2020-11-18 14:08:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-18 14:08:38 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2020-11-18 14:08:56 | × | supercoven quits (~Supercove@dsl-hkibng31-54fae0-18.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2020-11-18 14:09:06 | × | pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Ping timeout: 256 seconds) |
| 2020-11-18 14:09:10 | × | vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 256 seconds) |
| 2020-11-18 14:11:09 | → | haskellian joins (565d4710@86-93-71-16.fixed.kpn.net) |
| 2020-11-18 14:11:16 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-18 14:11:25 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 2020-11-18 14:11:25 | → | pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662) |
| 2020-11-18 14:11:44 | → | mirrorbird joins (~psutcliff@mail.stylishbroker.com) |
| 2020-11-18 14:12:30 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-11-18 14:13:27 | → | jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) |
| 2020-11-18 14:14:06 | → | brisbin joins (~patrick@199.66.179.204) |
| 2020-11-18 14:17:30 | hackage | flashblast 0.0.9.0 - Generate language learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.9.0 (locallycompact) |
| 2020-11-18 14:17:57 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-18 14:22:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-18 14:22:55 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:95c1:f982:82e4:2d79) |
| 2020-11-18 14:26:04 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-asjzblgwwtdcvjsz) (Quit: Connection closed for inactivity) |
| 2020-11-18 14:30:16 | × | darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 240 seconds) |
| 2020-11-18 14:31:01 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 2020-11-18 14:35:09 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 2020-11-18 14:36:24 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2020-11-18 14:36:36 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2020-11-18 14:37:06 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:95c1:f982:82e4:2d79) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-18 14:37:08 | sqrt2_ | is now known as sqrt2 |
| 2020-11-18 14:43:03 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-18 14:43:32 | × | acidjnk_new quits (~acidjnk@p200300d0c719ff876dbcfe4d3d96265f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-18 14:46:19 | w2gz | is now known as w1gz |
| 2020-11-18 14:47:35 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-11-18 14:50:22 | → | darjeeling_ joins (~darjeelin@122.245.211.11) |
| 2020-11-18 14:52:47 | × | haskellian quits (565d4710@86-93-71-16.fixed.kpn.net) (Remote host closed the connection) |
| 2020-11-18 14:55:39 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2020-11-18 14:55:59 | → | acidjnk_new joins (~acidjnk@p200300d0c719ff57608036dc958592ad.dip0.t-ipconnect.de) |
| 2020-11-18 14:57:05 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2020-11-18 15:00:02 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-78-149.revip7.asianet.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-18 15:00:04 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2020-11-18 15:00:39 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 2020-11-18 15:04:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-18 15:09:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-11-18 15:11:08 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-18 15:16:14 | × | jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 2020-11-18 15:16:47 | × | roconnor quits (~roconnor@host-104-157-230-3.dyn.295.ca) (Ping timeout: 260 seconds) |
| 2020-11-18 15:16:51 | → | jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) |
| 2020-11-18 15:18:21 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-18 15:18:41 | × | kuribas quits (~user@ptr-25vy0ia1gi47vc0v7ie.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2020-11-18 15:19:41 | → | Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr) |
| 2020-11-18 15:20:55 | × | jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Client Quit) |
| 2020-11-18 15:22:39 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:bd9e:1b6a:d045:2128) (Remote host closed the connection) |
| 2020-11-18 15:22:50 | → | mirrorbird_ joins (~psutcliff@89.40.182.215) |
| 2020-11-18 15:22:52 | × | toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection) |
| 2020-11-18 15:23:50 | × | sszark quits (~sszark@h-213-180.A392.priv.bahnhof.se) (Quit: Lost terminal) |
| 2020-11-18 15:24:56 | × | mirrorbird quits (~psutcliff@mail.stylishbroker.com) (Ping timeout: 240 seconds) |
| 2020-11-18 15:25:49 | → | knupfer joins (~Thunderbi@200116b8244bd600704b43fffe5fc0ce.dip.versatel-1u1.de) |
| 2020-11-18 15:25:51 | × | knupfer quits (~Thunderbi@200116b8244bd600704b43fffe5fc0ce.dip.versatel-1u1.de) (Client Quit) |
| 2020-11-18 15:25:52 | × | borne quits (~fritjof@200116b864880600f1dc39039d201adf.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-11-18 15:26:03 | → | knupfer joins (~Thunderbi@200116b8244bd600953b9562e9fc25b9.dip.versatel-1u1.de) |
| 2020-11-18 15:27:34 | → | nuncanada joins (~dude@179.235.160.168) |
| 2020-11-18 15:28:54 | × | brisbin quits (~patrick@199.66.179.204) (Read error: Connection reset by peer) |
| 2020-11-18 15:30:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-18 15:31:07 | × | acidjnk_new quits (~acidjnk@p200300d0c719ff57608036dc958592ad.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-18 15:31:56 | × | codeAlways quits (uid272474@gateway/web/irccloud.com/x-gprgopjmphvaootv) (Quit: Connection closed for inactivity) |
| 2020-11-18 15:31:57 | → | roconnor joins (~roconnor@host-104-157-230-3.dyn.295.ca) |
| 2020-11-18 15:34:26 | → | brisbin joins (~patrick@199.66.179.204) |
| 2020-11-18 15:39:56 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-18 15:40:56 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-18 15:41:24 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-11-18 15:43:24 | × | carlomagno quits (~cararell@148.87.23.12) (Remote host closed the connection) |
| 2020-11-18 15:45:04 | <dolio> | dminuoso: No, but I think it's close enough. That kind of thing can never be absolutely the case in GHC's type checking, because it doesn't exactly work by 'unification'. A local constraint could always be introduced that allows you to solve an equation between a rigid variable and something else. |
| 2020-11-18 15:45:42 | <dolio> | But it's much longer to say whatever is completely accurate, and is no better for intuition. |
| 2020-11-18 15:47:26 | <tomjaguarpaw> | I'm confused what I'm supposed to do when my package has a library and an executable. The executable depends on the library, naturally, but if I put it in build-depends then cabal says The package has an extraneous version range for a dependency on an |
| 2020-11-18 15:47:44 | <tomjaguarpaw> | internal library: packagename -any && ==0.0.0.0. ... |
| 2020-11-18 15:47:51 | <merijn> | tomjaguarpaw: Yeah, ignore that |
| 2020-11-18 15:47:57 | <tomjaguarpaw> | Oh OK |
| 2020-11-18 15:48:15 | <tomjaguarpaw> | It's one of those, is it? |
| 2020-11-18 15:48:37 | → | carlomagno joins (~cararell@148.87.23.12) |
| 2020-11-18 15:48:54 | <merijn> | tomjaguarpaw: Essentially cabal now supports multiple libraries per package too, and one of the (planned, non-existent) features is to allow packages to depend on only *some* libraries of other packages |
| 2020-11-18 15:48:55 | × | zephyz quits (~zephyz@4e69715d.skybroadband.com) (Quit: zephyz) |
| 2020-11-18 15:49:32 | <merijn> | tomjaguarpaw: A weird interaction between code preparing for that future and the current "simply depending on a library in the same package" triggers that warning |
| 2020-11-18 15:50:15 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2020-11-18 15:50:46 | <merijn> | tomjaguarpaw: I think it's something like "the version is fixed by being in the same package, but other code is inferring it as a constraint and then later on those facts result in 'hey, this (inferred) constraint is extraneous!'" |
| 2020-11-18 15:53:49 | × | omega8cc quits (~omega8cc@185.204.1.185) (Remote host closed the connection) |
| 2020-11-18 15:53:52 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c60:9ba4:8bf9:ee34) |
| 2020-11-18 15:56:03 | × | britva quits (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4) (Quit: This computer has gone to sleep) |
| 2020-11-18 15:56:22 | <tomjaguarpaw> | Aha, I see, two constraints from different places |
| 2020-11-18 15:57:41 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-18 15:58:06 | → | nados joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-11-18 16:01:54 | → | todda7 joins (~torstein@ppp-2-84-17-169.home.otenet.gr) |
| 2020-11-18 16:05:55 | <merijn> | Which cabal-install, btw? I think it might be fixed in one of the newest ones |
| 2020-11-18 16:06:49 | <merijn> | 3.2 or 3.4 release candidate, but not 100% I remember that correctly |
| 2020-11-18 16:08:07 | → | mastarija joins (~mastarija@93-136-96-155.adsl.net.t-com.hr) |
| 2020-11-18 16:08:16 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-11-18 16:10:24 | → | ph88 joins (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) |
| 2020-11-18 16:11:02 | hekkaidekapus_ | is now known as hekkaidekapus |
| 2020-11-18 16:11:40 | <hekkaidekapus> | merijn: It is not yet fixed, AFAIR. Paging fgaz ^^^ |
| 2020-11-18 16:11:49 | → | the-smug-one joins (~user@h188-122-129-70.cust.a3fiber.se) |
| 2020-11-18 16:13:04 | → | luto1 joins (~luto@84.39.117.57) |
All times are in UTC.