Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 612 613 614 615 616 617 618 619 620 621 622 .. 5022
— 502,152 events total
2020-10-13 12:40:10 <dminuoso> merijn: Im confident that its not the case, the instance selection algorithm descriped in the overlapping instances section seems rather clear.
2020-10-13 12:40:29 → mmohammadi981266 joins (~mmohammad@188.210.103.147)
2020-10-13 12:42:30 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 12:42:45 <hekkaidekapus> dminuoso: I’m looking at the corresponding Core before drawing conclusion. <https://paste.tomsmeding.com/aHILkhin>
2020-10-13 12:42:48 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 12:42:58 <hekkaidekapus> *conclusions
2020-10-13 12:43:40 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-13 12:43:42 <dminuoso> hekkaidekapus: Mind my asking, what is Core gonna tell you?
2020-10-13 12:44:00 <hekkaidekapus> The dictionary passing.
2020-10-13 12:44:52 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 12:45:16 → ralejs joins (~ralejs@163.114.131.1)
2020-10-13 12:45:40 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8576:1536:5132:aae7)
2020-10-13 12:46:19 × mmohammadi981266 quits (~mmohammad@188.210.103.147) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-13 12:47:08 <dminuoso> $cshow1_rX8
2020-10-13 12:47:56 <dminuoso> Internally, it picked dShow2_aV5 = $fShowMaybe $dShow1_aUS
2020-10-13 12:49:02 <dminuoso> Despite another, equally good, dictionary, existing: $cshow_rWA
2020-10-13 12:49:10 → mmohammadi981266 joins (~mmohammad@188.210.103.147)
2020-10-13 12:49:27 × perdent quits (~blah@101.175.82.233) (Ping timeout: 244 seconds)
2020-10-13 12:49:28 <hekkaidekapus> Yeah, file a bug report!
2020-10-13 12:50:01 <hekkaidekapus> Overlapping instances considered harmful anyway :0
2020-10-13 12:50:32 → perdent joins (~blah@101.175.147.239)
2020-10-13 12:52:07 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-nkhvkoypuffdqqdu) (Quit: Connection closed for inactivity)
2020-10-13 12:52:53 × oisdk quits (~oisdk@2001:bb6:3329:d100:7c51:293a:6844:5080) (Quit: oisdk)
2020-10-13 12:53:23 × sword865 quits (uid208942@gateway/web/irccloud.com/x-sxotpuupdfwwcwxa) (Quit: Connection closed for inactivity)
2020-10-13 12:53:26 → chaosmasttter joins (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de)
2020-10-13 12:53:36 × ralejs quits (~ralejs@163.114.131.1) (Read error: Connection reset by peer)
2020-10-13 12:53:58 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 12:55:27 → John20 joins (~John@82.46.59.122)
2020-10-13 12:56:08 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-13 12:57:08 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-13 12:58:55 <dminuoso> hekkaidekapus: The one thing Im not quite sold on, is this:
2020-10-13 12:58:59 <dminuoso> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#instance-overlap
2020-10-13 12:59:25 <dminuoso> At the bottom it does mention that FlexibleInstances can lead to incoherent instance selection, but Im not immediately seeing whether this is related
2020-10-13 13:01:31 × solonarv quits (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-13 13:06:31 <hekkaidekapus> dminuoso: The bulb seems pretty related, but I would file the report still. It might be a short-lived ticket but we will have an up-to-date explanation as to “An alternative possible behaviour, not currently implemented…”.
2020-10-13 13:07:01 × Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection)
2020-10-13 13:08:13 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-13 13:08:30 <dminuoso> hekkaidekapus: Well, it's not really related because the incoherence arises from making a *more* specific instance in another module, and then run an instance selection in both modules.
2020-10-13 13:09:34 <dminuoso> But yeah, I filed a bug report. At the very least the GHC manual should be improved if this is not an instance selection bug.
2020-10-13 13:10:03 <hekkaidekapus> 👍
2020-10-13 13:10:13 × Nik05 quits (~Nik05@85.150.134.175) (Quit: leaving)
2020-10-13 13:15:23 → ocaml427 joins (506d8558@gateway/web/cgi-irc/kiwiirc.com/ip.80.109.133.88)
2020-10-13 13:15:32 ← ocaml427 parts (506d8558@gateway/web/cgi-irc/kiwiirc.com/ip.80.109.133.88) ()
2020-10-13 13:15:45 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 240 seconds)
2020-10-13 13:16:40 → Nik05 joins (~Nik05@85.150.134.175)
2020-10-13 13:19:50 → ruffy joins (~jonas@2a03:b0c0:3:d0::162e:a001)
2020-10-13 13:20:39 × mmohammadi981266 quits (~mmohammad@188.210.103.147) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-13 13:22:05 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 13:23:52 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 13:24:10 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 13:24:10 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 13:24:10 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 13:24:34 × rihards_ quits (~rihards@vpnlv.tilde.com) (Remote host closed the connection)
2020-10-13 13:25:30 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-10-13 13:26:11 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-13 13:26:59 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-13 13:29:36 → Tops2 joins (~Tobias@dyndsl-095-033-027-027.ewe-ip-backbone.de)
2020-10-13 13:30:01 ruffy is now known as ruffy_
2020-10-13 13:32:00 × Nik05 quits (~Nik05@85.150.134.175) (Changing host)
2020-10-13 13:32:00 → Nik05 joins (~Nik05@unaffiliated/nik05)
2020-10-13 13:32:37 → nomeata joins (~jojo@dslb-088-064-028-148.088.064.pools.vodafone-ip.de)
2020-10-13 13:33:42 × ruffy_ quits (~jonas@2a03:b0c0:3:d0::162e:a001) (Quit: WeeChat 2.9)
2020-10-13 13:34:00 → ruffy joins (~jonas@2a03:b0c0:3:d0::162e:a001)
2020-10-13 13:34:15 ruffy is now known as ruffy_
2020-10-13 13:35:24 → ystael joins (~ystael@209.6.50.55)
2020-10-13 13:37:40 → lowryder joins (~djlowry@web603.webfaction.com)
2020-10-13 13:38:41 × ruffy_ quits (~jonas@2a03:b0c0:3:d0::162e:a001) (Client Quit)
2020-10-13 13:40:55 × alp quits (~alp@2a01:e0a:58b:4920:2586:865a:4e94:a66b) (Ping timeout: 272 seconds)
2020-10-13 13:41:31 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 13:42:04 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 13:42:55 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 13:43:11 → knupfer joins (~Thunderbi@200116b82c814300c0110b68686b9a3e.dip.versatel-1u1.de)
2020-10-13 13:43:14 × Sanchayan quits (~Sanchayan@106.201.37.251) (Ping timeout: 256 seconds)
2020-10-13 13:43:43 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-13 13:43:50 → Sanchayan joins (~Sanchayan@106.201.37.251)
2020-10-13 13:44:29 × Sanchayan quits (~Sanchayan@106.201.37.251) (Max SendQ exceeded)
2020-10-13 13:45:08 → Sanchayan joins (~Sanchayan@106.201.37.251)
2020-10-13 13:45:44 × Sanchayan quits (~Sanchayan@106.201.37.251) (Max SendQ exceeded)
2020-10-13 13:46:10 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-13 13:46:14 → Sanchayan joins (~Sanchayan@106.201.37.251)
2020-10-13 13:46:54 × Sanchayan quits (~Sanchayan@106.201.37.251) (Max SendQ exceeded)
2020-10-13 13:47:30 → Sanchayan joins (~Sanchayan@106.201.37.251)
2020-10-13 13:48:08 lemmih__ is now known as lemmih
2020-10-13 13:48:10 × Sanchayan quits (~Sanchayan@106.201.37.251) (Max SendQ exceeded)
2020-10-13 13:50:50 → mmohammadi981266 joins (~mmohammad@188.210.103.147)
2020-10-13 13:51:56 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-13 13:52:27 hackage Z-IO 0.1.5.2 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.5.2 (winterland)
2020-10-13 13:53:46 → ralejs_ joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 13:53:46 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 13:55:20 × drbean quits (~drbean@TC210-63-209-63.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-10-13 13:55:21 × ralejs_ quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 13:55:22 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 13:55:34 → cpressey joins (~cpressey@88.144.70.115)
2020-10-13 13:57:15 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 13:57:31 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 13:59:45 <merijn> btw, does anyone know of any working human cloning programs? >.>
2020-10-13 13:59:46 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-13 14:01:44 <merijn> I was clicking through some dependencies and I'd like to order some backup phadej's ahead of time so the ecosystem doesn't grind to a halt without him >.>
2020-10-13 14:02:59 <dminuoso> merijn: Well, we should get an ekmett along side. They could grow up together.
2020-10-13 14:03:14 <phadej> dminuoso: ekmett is cloned already: RyanGlScott
←Prev  Next→
Page 1 .. 612 613 614 615 616 617 618 619 620 621 622 .. 5022

All times are in UTC.