Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 804 805 806 807 808 809 810 811 812 813 814 .. 5022
— 502,152 events total
2020-10-22 20:22:12 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:22:23 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 20:23:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:25:54 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:26:10 → stefan-__ joins (~cri@42dots.de)
2020-10-22 20:28:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 20:28:05 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 240 seconds)
2020-10-22 20:29:08 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-22 20:31:03 × Majiir quits (~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (Quit: CUT THE HARDLINES!!)
2020-10-22 20:31:16 <monsterchrom> dminuoso: I think that automatic promotion-pun is wrong in the first place. Note that the need for the singletons library implies that automatic promotion-pun doesn't even buy any superficial convenience, lack alone fundamental benenfits.
2020-10-22 20:31:17 → coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-22 20:32:50 <monsterchrom> Instead, "data X = A | B" should only give "X :: Type, A, B :: X", and for the promotion, one must write separately "kind X2 = A2 | B2".
2020-10-22 20:33:22 <monsterchrom> Either that, or automatic promotion-pun should automatically induce what singletons now does.
2020-10-22 20:33:43 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-22 20:33:52 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:34:22 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-22 20:37:18 × knupfer quits (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-10-22 20:37:27 hackage keep-alive 0.1.0.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.0.0 (3kyro)
2020-10-22 20:38:15 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 20:38:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 20:40:38 × hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 246 seconds)
2020-10-22 20:42:23 × xff0x quits (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) (Ping timeout: 246 seconds)
2020-10-22 20:43:02 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:43:08 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-22 20:43:23 → xff0x joins (~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43)
2020-10-22 20:45:45 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-22 20:48:19 → crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 20:48:50 → howdoi joins (uid224@gateway/web/irccloud.com/x-pqhdvcgecdtzmnpf)
2020-10-22 20:51:05 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 20:51:48 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 20:51:59 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-10-22 20:54:29 → britva joins (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1)
2020-10-22 20:54:38 × mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 20:54:50 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 20:55:55 × thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 20:55:58 hackage keep-alive 0.1.1.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.1.0 (3kyro)
2020-10-22 20:57:11 × ericsagnes quits (~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) (Ping timeout: 272 seconds)
2020-10-22 20:59:05 × chaosmasttter quits (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-22 21:00:01 × Guest76304 quits (~davidfisc@178.238.229.54) ()
2020-10-22 21:01:25 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:01:37 → ComposerMike joins (~Mike@047-037-150-174.res.spectrum.com)
2020-10-22 21:03:39 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds)
2020-10-22 21:05:02 × irc_user quits (uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) (Quit: Connection closed for inactivity)
2020-10-22 21:05:09 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 21:05:55 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-22 21:06:10 <ComposerMike> I started getting AesonExcpetions when Stack tries to download the resolver build plan .. this seems to have happened right after I tried to use ghcup to install a default system ghc.. any ideas?
2020-10-22 21:06:17 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 21:06:26 → stefan-__ joins (~cri@42dots.de)
2020-10-22 21:06:34 × crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:07:31 → crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:07:36 <ComposerMike> for instance, “Error in $.pcakages.cassave.contraints.flags[‘bytestring-lt_0_1_4’]: invalid file name”
2020-10-22 21:08:01 × mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds)
2020-10-22 21:08:23 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-10-22 21:08:52 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 21:09:15 → Lord_of_Life joins (~Lord@46.217.219.190)
2020-10-22 21:09:16 × Lord_of_Life quits (~Lord@46.217.219.190) (Changing host)
2020-10-22 21:09:16 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-22 21:09:22 → ericsagnes joins (~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb)
2020-10-22 21:10:58 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 21:11:14 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds)
2020-10-22 21:11:14 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-22 21:11:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:12:34 × crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:12:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 21:12:49 → conal joins (~conal@64.71.133.70)
2020-10-22 21:12:55 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:13:03 × ComposerMike quits (~Mike@047-037-150-174.res.spectrum.com) (Quit: ComposerMike)
2020-10-22 21:13:26 <merijn> Which stack version?
2020-10-22 21:13:38 → crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:14:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-22 21:15:47 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 21:24:13 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-22 21:24:50 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 21:25:52 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 246 seconds)
2020-10-22 21:25:59 → son0p joins (~son0p@181.136.122.143)
2020-10-22 21:26:20 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-22 21:27:29 × karanlikmadde quits (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 21:27:56 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 21:30:11 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 21:30:44 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 21:31:14 → conal joins (~conal@64.71.133.70)
2020-10-22 21:32:32 → karanlikmadde joins (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 21:33:43 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-22 21:34:01 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 21:34:07 × britva quits (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-22 21:35:46 × Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 21:36:09 → hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 21:36:46 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 21:36:56 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-22 21:36:56 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 21:36:56 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-22 21:37:00 × hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Remote host closed the connection)
2020-10-22 21:37:09 → polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 21:37:28 → mbomba joins (~mbomba@142.114.9.241)
2020-10-22 21:38:00 → hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 21:40:46 × Tops2 quits (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-22 21:42:34 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 21:43:04 × crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:45:58 → crestfallen_ joins (~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:46:25 × LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 804 805 806 807 808 809 810 811 812 813 814 .. 5022

All times are in UTC.