| 2021-04-15 00:00:32 +0200 | dinciorip | (~dincio@5.170.25.42) (Quit: WeeChat 3.1) |
| 2021-04-15 00:01:39 +0200 | L29Ah | (~L29Ah@unaffiliated/l29ah) (Ping timeout: 245 seconds) |
| 2021-04-15 00:04:29 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1b7c:b2ef:9111:71fe) |
| 2021-04-15 00:04:43 +0200 | malumore_ | (~malumore@151.62.114.211) (Remote host closed the connection) |
| 2021-04-15 00:04:46 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-04-15 00:04:53 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-15 00:06:24 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-15 00:06:35 +0200 | <nicholasbulka> | ski thanks again |
| 2021-04-15 00:06:58 +0200 | <ski> | np |
| 2021-04-15 00:09:01 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-04-15 00:09:32 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-15 00:09:49 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1b7c:b2ef:9111:71fe) (Ping timeout: 250 seconds) |
| 2021-04-15 00:10:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 00:13:19 +0200 | dinciorip | (~dincio@5.170.25.42) |
| 2021-04-15 00:13:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 00:14:22 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-15 00:15:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-15 00:16:29 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-15 00:17:47 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2021-04-15 00:21:06 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-15 00:21:36 +0200 | i7c | (Rmit7A5pyb@unaffiliated/i7c) |
| 2021-04-15 00:21:57 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 00:22:10 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) |
| 2021-04-15 00:22:19 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 00:23:06 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-15 00:23:20 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 00:23:41 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-15 00:24:16 +0200 | fendor_ | (~fendor@178.165.129.79.wireless.dyn.drei.com) |
| 2021-04-15 00:27:03 +0200 | fendor | (~fendor@77.119.129.135.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-04-15 00:27:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 00:27:23 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 00:28:26 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-04-15 00:28:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 00:29:31 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) (Ping timeout: 260 seconds) |
| 2021-04-15 00:30:05 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 00:30:45 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 00:31:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 00:31:35 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 00:32:41 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-15 00:32:43 +0200 | maiqthefalse | (uid494950@gateway/web/irccloud.com/x-lubjogfdgluyqicn) (Quit: Connection closed for inactivity) |
| 2021-04-15 00:34:38 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-15 00:34:48 +0200 | ddellacosta | (~ddellacos@86.106.143.174) |
| 2021-04-15 00:34:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-15 00:37:10 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-15 00:37:15 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) |
| 2021-04-15 00:37:42 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 00:37:42 +0200 | ddella___ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 00:38:29 +0200 | bwe | (~bwe@unaffiliated/bwe) (Quit: leaving) |
| 2021-04-15 00:39:40 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-15 00:40:26 +0200 | ddella___ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 00:41:51 +0200 | ddellacosta | (~ddellacos@86.106.143.174) (Ping timeout: 268 seconds) |
| 2021-04-15 00:42:14 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) |
| 2021-04-15 00:42:56 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 00:43:50 +0200 | bwe | (~bwe@unaffiliated/bwe) |
| 2021-04-15 00:45:34 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) |
| 2021-04-15 00:45:46 +0200 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-15 00:52:32 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-15 00:52:48 +0200 | L29Ah | (~L29Ah@unaffiliated/l29ah) |
| 2021-04-15 00:53:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 00:57:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 00:59:18 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:00:14 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-15 01:00:20 +0200 | Alleria | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 01:00:44 +0200 | Alleria | Guest80119 |
| 2021-04-15 01:01:18 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 01:02:50 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-15 01:03:10 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-15 01:04:18 +0200 | holo2 | Faye |
| 2021-04-15 01:04:47 +0200 | Guest80119 | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-15 01:04:52 +0200 | Faye | FayeAleph |
| 2021-04-15 01:05:33 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) (Ping timeout: 258 seconds) |
| 2021-04-15 01:06:31 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-15 01:07:33 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:b785:70ea:2ff6:8e22) |
| 2021-04-15 01:09:43 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 01:09:47 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 01:10:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-15 01:10:34 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:10:45 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 01:11:10 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-15 01:11:20 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:11:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-15 01:12:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 01:12:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 01:13:17 +0200 | gawen | (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-15 01:15:16 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-15 01:16:16 +0200 | gawen | (~gawen@movzbl.root.sx) |
| 2021-04-15 01:16:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 01:17:02 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-15 01:17:24 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-15 01:19:14 +0200 | gawen | (~gawen@movzbl.root.sx) (Client Quit) |
| 2021-04-15 01:19:51 +0200 | <DigitalKiwi> | glguy: Sigyn likes ski more than me :( |
| 2021-04-15 01:21:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-15 01:22:11 +0200 | dinciorip | (~dincio@5.170.25.42) (Quit: WeeChat 3.1) |
| 2021-04-15 01:22:12 +0200 | gawen | (~gawen@movzbl.root.sx) |
| 2021-04-15 01:22:18 +0200 | <glguy> | DigitalKiwi: not particularly, no |
| 2021-04-15 01:22:27 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 01:22:56 +0200 | <nicholasbulka> | ski: this is the last part I got |
| 2021-04-15 01:23:02 +0200 | <nicholasbulka> | * ski <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html>, all by Edsger Wybe Dijkstra ) <ski> OP : to close with, i think the Lawvere & Schanuel book may be the easiest one to start with, for one without that much math experience. take care and have fun ! |
| 2021-04-15 01:23:02 +0200 | <nicholasbulka> | ski |
| 2021-04-15 01:23:02 +0200 | <nicholasbulka> | (done) |
| 2021-04-15 01:23:04 +0200 | <nicholasbulka> | 17:25 Disconnected |
| 2021-04-15 01:23:29 +0200 | <glguy> | probably good to drop in a pastebin |
| 2021-04-15 01:23:52 +0200 | <glguy> | nicholasbulka: (done) was the indication that it was |
| 2021-04-15 01:24:16 +0200 | <nicholasbulka> | makes sense |
| 2021-04-15 01:24:53 +0200 | <DigitalKiwi> | i need a grep that parses urls |
| 2021-04-15 01:25:34 +0200 | <DigitalKiwi> | like when people use matrix and it makes those long messages links that i never click... |
| 2021-04-15 01:26:18 +0200 | <DigitalKiwi> | 'parse' is the wrong word. |
| 2021-04-15 01:26:27 +0200 | <glguy> | DigitalKiwi: /url ? |
| 2021-04-15 01:26:50 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-15 01:26:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 01:27:49 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-15 01:30:27 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-04-15 01:30:44 +0200 | usr25 | (~J@26.red-83-63-221.staticip.rima-tde.net) |
| 2021-04-15 01:31:16 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-15 01:31:24 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 01:32:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-15 01:34:57 +0200 | syntactic_sugar | (~syntactic@66.115.157.118) |
| 2021-04-15 01:35:31 +0200 | syntactic_sugar | (~syntactic@66.115.157.118) (Client Quit) |
| 2021-04-15 01:36:13 +0200 | usr25 | (~J@26.red-83-63-221.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-15 01:36:21 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:70e7:2dce:b9d2:60a7) (Remote host closed the connection) |
| 2021-04-15 01:36:37 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:1f29:251c:9834:33) |
| 2021-04-15 01:37:57 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 01:38:32 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-15 01:40:26 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-15 01:41:07 +0200 | syntactic_sugar | (~syntactic@209.58.139.27) |
| 2021-04-15 01:41:11 +0200 | eru | (bba71272@187-167-18-114.static.axtel.net) |
| 2021-04-15 01:41:19 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-15 01:41:45 +0200 | <eru> | hi everybody |
| 2021-04-15 01:41:50 +0200 | <Axman6> | Hello! |
| 2021-04-15 01:42:37 +0200 | eru | (bba71272@187-167-18-114.static.axtel.net) (Client Quit) |
| 2021-04-15 01:45:37 +0200 | <Axman6> | :( |
| 2021-04-15 01:48:14 +0200 | nvmd | (~nvmd@177.30.111.232) |
| 2021-04-15 01:51:09 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 01:52:35 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 01:52:49 +0200 | ddellacosta | (~ddellacos@86.106.143.118) |
| 2021-04-15 01:52:49 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 01:55:49 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2021-04-15 01:57:21 +0200 | ddellacosta | (~ddellacos@86.106.143.118) (Ping timeout: 265 seconds) |
| 2021-04-15 02:01:57 +0200 | <nicholasbulka> | hey |
| 2021-04-15 02:02:43 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-15 02:03:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 02:05:16 +0200 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-04-15 02:09:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-15 02:11:26 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 02:13:44 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-15 02:17:06 +0200 | syntactic_sugar | (~syntactic@209.58.139.27) (Ping timeout: 240 seconds) |
| 2021-04-15 02:17:52 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:340f:2736:618a:ba87) |
| 2021-04-15 02:18:12 +0200 | <monochrom> | Interesting. Define "reset p = runCont p id". Then reset has as much power as runCont because runCont p f = reset (fmap f p). |
| 2021-04-15 02:19:17 +0200 | rdd | (~user@c-407ce255.012-81-73746f39.cust.ownit.se) (Ping timeout: 246 seconds) |
| 2021-04-15 02:19:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-15 02:24:11 +0200 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-15 02:24:30 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 02:24:35 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-15 02:25:25 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-15 02:27:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 02:28:19 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-15 02:28:30 +0200 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-15 02:28:36 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-15 02:28:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 02:29:18 +0200 | nighmi | (~felix@port-92-196-72-29.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-04-15 02:29:20 +0200 | tsandstr | (~user@nat-130-132-173-221.central.yale.edu) (Ping timeout: 252 seconds) |
| 2021-04-15 02:30:01 +0200 | Natch | (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 2021-04-15 02:34:05 +0200 | <monochrom> | When I google for "mother of monads" I get https://twitchard.github.io/posts/2020-07-26-monads.html |
| 2021-04-15 02:34:14 +0200 | <monochrom> | (don't worry, not 1st hit :) ) |
| 2021-04-15 02:35:33 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 02:36:20 +0200 | dariof4 | (~dario@5.11.121.66) (Quit: WeeChat 3.1) |
| 2021-04-15 02:37:56 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 2021-04-15 02:38:34 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 02:38:51 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:a2cc:76b1:70b6:a69f) |
| 2021-04-15 02:39:16 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 02:39:41 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:f171) |
| 2021-04-15 02:40:34 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 02:48:26 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 02:48:52 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-15 02:50:10 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-15 02:51:00 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-15 02:52:43 +0200 | <edwardk> | Cont is the mother of all monads, but she's not as productive as she could be. Er wait, that sounds like the preamble to a whole sexist rant. I'm going to stop now. |
| 2021-04-15 02:54:38 +0200 | <monochrom> | :( :) |
| 2021-04-15 02:54:57 +0200 | <ski> | monochrom : reminds me of <http://www.smonad.com/monad/> (also not the first search hit) |
| 2021-04-15 02:55:13 +0200 | <monochrom> | haha great |
| 2021-04-15 02:55:48 +0200 | <shachaf> | Isn't it settled that Codensity is the mother of all monads? |
| 2021-04-15 02:55:54 +0200 | <monochrom> | Single monad, duality, and the four corners of the time cube. |
| 2021-04-15 02:56:06 +0200 | <edwardk> | codensity is the grandmother of all monads |
| 2021-04-15 02:56:08 +0200 | <ski> | (also, i prefer `reset :: Cont o o -> Cont p o; reset = return . evalCont', giving back an action) |
| 2021-04-15 02:57:23 +0200 | <edwardk> | wait, she's a single monad? |
| 2021-04-15 02:58:33 +0200 | <monochrom> | The mother of all monads may be most useful in Scheme and SML etc., as explained in Filinski's paper «representing monads» |
| 2021-04-15 02:59:20 +0200 | <monochrom> | in which our cont and runCont become their shift and reset |
| 2021-04-15 02:59:24 +0200 | <ski> | which languages, or language implementations, provide access to first-class continuations ? |
| 2021-04-15 02:59:35 +0200 | <monochrom> | Scheme. |
| 2021-04-15 02:59:39 +0200 | <ski> | Scheme and SML/NJ (and i think also Mlton or so ?) |
| 2021-04-15 02:59:41 +0200 | Natch | (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 02:59:51 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 03:00:09 +0200 | <ski> | but istr also hearing about some other ones. like some Smalltalk implementation, possibly Ruby (?), maybe a Python or Perl implementation ? |
| 2021-04-15 03:00:16 +0200 | <monochrom> | But «representing monads» prefers shift/reset, I gather. |
| 2021-04-15 03:00:24 +0200 | <ski> | yes |
| 2021-04-15 03:00:59 +0200 | <monochrom> | Well, Racket also prefers any delimited continuation story than call/cc too. Hell, its call/cc can also be delimited... |
| 2021-04-15 03:01:03 +0200 | <ski> | hm, i think there's an implementation for OCaml |
| 2021-04-15 03:01:07 +0200 | slack1256 | (~slack1256@191.113.234.51) |
| 2021-04-15 03:01:21 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 03:01:25 +0200 | <ski> | yea .. many in the Scheme world now seem to prefer it |
| 2021-04-15 03:01:40 +0200 | <monochrom> | Oleg likes to use OCaml to show off his continuation fu (both delimited and unlimited) |
| 2021-04-15 03:01:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 03:01:52 +0200 | ski | nods |
| 2021-04-15 03:02:30 +0200 | <ski> | @quote shift.k |
| 2021-04-15 03:02:30 +0200 | <lambdabot> | ddarius says: shift k. O(leg k) |
| 2021-04-15 03:02:39 +0200 | <monochrom> | haha |
| 2021-04-15 03:03:55 +0200 | <slack1256> | Are IsLabel instances written by hand or are they inferred by the compiler (as in Typeable)? |
| 2021-04-15 03:04:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 03:05:51 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 03:06:19 +0200 | haritz | (~hrtz@unaffiliated/haritz) (Ping timeout: 260 seconds) |
| 2021-04-15 03:06:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 03:07:42 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 03:07:56 +0200 | Anthaas_ | (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
| 2021-04-15 03:08:21 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 03:08:47 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) |
| 2021-04-15 03:09:41 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) (Client Quit) |
| 2021-04-15 03:09:52 +0200 | <ski> | slack1256 : not the latter, i think. see <https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/overloaded_labels.html> |
| 2021-04-15 03:09:54 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-15 03:09:57 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) |
| 2021-04-15 03:10:03 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) (Client Quit) |
| 2021-04-15 03:10:05 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 03:10:27 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) |
| 2021-04-15 03:10:28 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) (Client Quit) |
| 2021-04-15 03:10:38 +0200 | <slack1256> | Great, I wanted to corroborate. |
| 2021-04-15 03:10:44 +0200 | mael_ | (~mael@static.195.7.217.95.clients.your-server.de) |
| 2021-04-15 03:10:44 +0200 | mael_ | danom |
| 2021-04-15 03:11:08 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 03:11:50 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:f171) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-15 03:13:44 +0200 | Guest_58 | (491fa5dd@c-73-31-165-221.hsd1.va.comcast.net) |
| 2021-04-15 03:14:36 +0200 | curiousgay | (~gay@178.217.208.8) |
| 2021-04-15 03:14:51 +0200 | danom | (~mael@static.195.7.217.95.clients.your-server.de) (Client Quit) |
| 2021-04-15 03:15:16 +0200 | Guest_58 | (491fa5dd@c-73-31-165-221.hsd1.va.comcast.net) (Client Quit) |
| 2021-04-15 03:18:19 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:a2cc:76b1:70b6:a69f) (Ping timeout: 250 seconds) |
| 2021-04-15 03:18:27 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-15 03:18:27 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-15 03:18:27 +0200 | haritz | (~hrtz@unaffiliated/haritz) |
| 2021-04-15 03:19:04 +0200 | <DigitalKiwi> | glguy: use case; i search my logs a lot with grep, so when people use matrix/gist/paste site, w/e. it's not possible for me to find a message. so what i want is like a grep that when it finds a link that's a gist/matrix.org media `message.txt` etc. it substitutes the content of the url instead of the url. |
| 2021-04-15 03:20:06 +0200 | xff0x | (~xff0x@2001:1a81:5212:400:4c6f:5915:2f4f:d6a1) |
| 2021-04-15 03:21:42 +0200 | FayeAleph | (~holo@nikky.moe) ("WeeChat 2.7") |
| 2021-04-15 03:26:29 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-15 03:28:06 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-15 03:28:30 +0200 | Anthaas | (~Anthaas@unaffiliated/anthaas) |
| 2021-04-15 03:29:04 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 03:29:25 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 03:29:33 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 03:29:59 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-15 03:34:51 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-15 03:35:18 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 03:35:45 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds) |
| 2021-04-15 03:37:51 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 03:38:15 +0200 | <slack1256> | Is there a current use for GHC.Records ? |
| 2021-04-15 03:40:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-15 03:40:18 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 03:42:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 03:43:09 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 03:45:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-15 03:46:00 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-04-15 03:48:36 +0200 | drbean_ | (~drbean@TC210-63-209-24.static.apol.com.tw) |
| 2021-04-15 03:48:59 +0200 | <Axman6> | Pretty sure we use it all the time in DAML, record dot syntax is on by dsefault and we use it everywhere |
| 2021-04-15 03:49:03 +0200 | <Axman6> | default* |
| 2021-04-15 03:51:38 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-15 03:53:48 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-15 03:54:56 +0200 | poljar | (~poljar@93-139-112-157.adsl.net.t-com.hr) |
| 2021-04-15 03:55:10 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-15 03:55:10 +0200 | lemmih_ | (~lemmih@2406:3003:2072:44:2735:f443:3ea4:35ea) |
| 2021-04-15 03:55:11 +0200 | electrostat | (~dag@unaffiliated/electrostat) (Ping timeout: 246 seconds) |
| 2021-04-15 03:55:32 +0200 | drdo | (~drdo@overlord0.drdo.eu) (Ping timeout: 246 seconds) |
| 2021-04-15 03:55:37 +0200 | gothos_ | (~gothos@antsy.jhz.name) |
| 2021-04-15 03:56:31 +0200 | carbolymer | (~carbolyme@dropacid.net) (Quit: o/) |
| 2021-04-15 03:56:35 +0200 | gothos | (~gothos@antsy.jhz.name) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:36 +0200 | malthe | (~mborch@46.101.103.63) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:36 +0200 | gothos_ | gothos |
| 2021-04-15 03:56:42 +0200 | drdo | (~drdo@overlord0.drdo.eu) |
| 2021-04-15 03:56:51 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-04-15 03:56:56 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:56 +0200 | freeside | (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:57 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:57 +0200 | apoc | (~apoc@49.12.13.193) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:57 +0200 | ring0` | (~ringo@unaffiliated/ring0/x-8667941) (Ping timeout: 246 seconds) |
| 2021-04-15 03:56:57 +0200 | nopf | (~frosch@static.179.17.76.144.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:17 +0200 | gienah_ | (~mwright@119-18-3-62.771203.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:18 +0200 | myme | (~myme@li1406-121.members.linode.com) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:18 +0200 | poljar1 | (~poljar@93-139-112-157.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:18 +0200 | sujeet | (sujeet@unaffiliated/freeboson) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:18 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:31 +0200 | sujeet | (sujeet@unaffiliated/freeboson) |
| 2021-04-15 03:57:39 +0200 | lemmih | (~lemmih@58.182.184.138) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:39 +0200 | bcoppens | (~bartcopp@kde/coppens) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:39 +0200 | sim642 | (~simmo@unaffiliated/sim642) (Ping timeout: 246 seconds) |
| 2021-04-15 03:57:57 +0200 | electrostat | (~dag@unaffiliated/electrostat) |
| 2021-04-15 03:58:11 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-15 03:58:20 +0200 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 246 seconds) |
| 2021-04-15 03:58:44 +0200 | malthe | (~mborch@46.101.103.63) |
| 2021-04-15 03:58:52 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2021-04-15 03:58:53 +0200 | nopf | (~frosch@static.179.17.76.144.clients.your-server.de) |
| 2021-04-15 03:59:00 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-04-15 03:59:06 +0200 | freeside | (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) |
| 2021-04-15 03:59:22 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
| 2021-04-15 03:59:23 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (Changing host) |
| 2021-04-15 03:59:24 +0200 | bcoppens | (~bartcopp@kde/coppens) |
| 2021-04-15 03:59:27 +0200 | ring0` | (~ringo@unaffiliated/ring0/x-8667941) |
| 2021-04-15 03:59:31 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) |
| 2021-04-15 03:59:57 +0200 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-04-15 04:00:00 +0200 | gienah | (~mwright@gentoo/developer/gienah) |
| 2021-04-15 04:00:00 +0200 | Alleria | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 04:00:09 +0200 | sim642 | (~simmo@unaffiliated/sim642) |
| 2021-04-15 04:00:24 +0200 | Alleria | Guest7075 |
| 2021-04-15 04:00:25 +0200 | apoc | (~apoc@49.12.13.193) |
| 2021-04-15 04:00:30 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 04:00:44 +0200 | myme | (~myme@li1406-121.members.linode.com) |
| 2021-04-15 04:02:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-15 04:03:32 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Ping timeout: 240 seconds) |
| 2021-04-15 04:03:44 +0200 | nvmd | (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 2021-04-15 04:04:17 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-15 04:04:34 +0200 | Guest7075 | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-15 04:05:57 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 04:06:14 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-mitiigphbgxjtueq) |
| 2021-04-15 04:08:33 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-15 04:09:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 04:10:29 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-15 04:10:56 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-04-15 04:13:27 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Remote host closed the connection) |
| 2021-04-15 04:14:05 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-15 04:14:24 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-15 04:15:28 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Remote host closed the connection) |
| 2021-04-15 04:15:44 +0200 | <slack1256> | Right, I forgot about that extension. |
| 2021-04-15 04:15:44 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-15 04:18:00 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Remote host closed the connection) |
| 2021-04-15 04:18:19 +0200 | <__minoru__shirae> | DigitalKiwi: how about an obvious solution of expanding all those links into new logs and then grepping those new files |
| 2021-04-15 04:18:33 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-15 04:18:49 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-15 04:18:50 +0200 | <DigitalKiwi> | yeah i started that |
| 2021-04-15 04:22:33 +0200 | carlomagno | (~cararell@148.87.23.13) (Quit: Leaving.) |
| 2021-04-15 04:23:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Ping timeout: 250 seconds) |
| 2021-04-15 04:26:12 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-04-15 04:29:51 +0200 | haasn | (~nand@mpv/developer/haasn) (Ping timeout: 260 seconds) |
| 2021-04-15 04:31:31 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:f171) |
| 2021-04-15 04:32:01 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-15 04:32:15 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-15 04:35:41 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-15 04:37:10 +0200 | haasn | (~nand@mpv/developer/haasn) |
| 2021-04-15 04:37:25 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-15 04:38:47 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 2021-04-15 04:42:26 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-15 04:42:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 04:43:40 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-15 04:44:40 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-15 04:44:53 +0200 | theDon | (~td@94.134.91.214) (Ping timeout: 240 seconds) |
| 2021-04-15 04:45:59 +0200 | Guest63507 | (~Tracerneo@185.204.1.185) (Remote host closed the connection) |
| 2021-04-15 04:46:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 04:46:59 +0200 | theDon | (~td@94.134.91.244) |
| 2021-04-15 04:47:32 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 04:48:14 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 04:49:06 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-15 04:49:40 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-15 04:50:18 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-15 04:50:18 +0200 | finn_elija | Guest91988 |
| 2021-04-15 04:50:18 +0200 | FinnElija | finn_elija |
| 2021-04-15 04:53:57 +0200 | Guest91988 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-15 04:55:46 +0200 | turq | (~electro@138.197.8.173) (Changing host) |
| 2021-04-15 04:55:46 +0200 | turq | (~electro@unaffiliated/turq) |
| 2021-04-15 04:58:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 05:00:48 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-15 05:01:11 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds) |
| 2021-04-15 05:01:44 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 05:03:46 +0200 | aerona | (~aerona@2600:6c54:4600:f300:e708:b239:a59c:f83b) (Remote host closed the connection) |
| 2021-04-15 05:04:10 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-15 05:04:26 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-15 05:04:41 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) (Ping timeout: 240 seconds) |
| 2021-04-15 05:06:11 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 05:06:16 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-15 05:11:33 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-15 05:12:53 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Ping timeout: 252 seconds) |
| 2021-04-15 05:19:25 +0200 | ddellacosta | (~ddellacos@86.106.143.92) |
| 2021-04-15 05:20:31 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-15 05:21:25 +0200 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-04-15 05:21:29 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-04-15 05:21:49 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 05:22:10 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-15 05:23:43 +0200 | ddellacosta | (~ddellacos@86.106.143.92) (Ping timeout: 252 seconds) |
| 2021-04-15 05:27:49 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-15 05:29:34 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-15 05:29:42 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-15 05:32:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-15 05:33:53 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Ping timeout: 258 seconds) |
| 2021-04-15 05:35:51 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 05:37:04 +0200 | slack1256 | (~slack1256@191.113.234.51) (Ping timeout: 252 seconds) |
| 2021-04-15 05:37:43 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:f171) (Ping timeout: 258 seconds) |
| 2021-04-15 05:37:52 +0200 | sayola | (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
| 2021-04-15 05:40:13 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
| 2021-04-15 05:43:31 +0200 | zaquest | (~notzaques@5.128.210.178) (Ping timeout: 252 seconds) |
| 2021-04-15 05:44:39 +0200 | slack1256 | (~slack1256@191.113.234.51) |
| 2021-04-15 05:47:03 +0200 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Quit: Connection closed) |
| 2021-04-15 05:55:33 +0200 | Iam_thor | (~Iam_thor@185.204.1.185) |
| 2021-04-15 05:59:00 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 05:59:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 06:00:16 +0200 | ram19890 | (~ram@49.207.130.109) |
| 2021-04-15 06:00:19 +0200 | dumptruckman | (~dumptruck@li1287-148.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2021-04-15 06:03:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 06:06:12 +0200 | dumptruckman | (~dumptruck@li1287-148.members.linode.com) |
| 2021-04-15 06:08:48 +0200 | alx741 | (~alx741@181.196.69.92) (Quit: alx741) |
| 2021-04-15 06:09:11 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-04-15 06:10:13 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:10f2:b1a:7b7d:5e4f) |
| 2021-04-15 06:10:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-15 06:11:20 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) |
| 2021-04-15 06:13:16 +0200 | <jackdk> | How do I tell cabal to build haddocks of dependencies? |
| 2021-04-15 06:13:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-15 06:14:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:10f2:b1a:7b7d:5e4f) (Ping timeout: 258 seconds) |
| 2021-04-15 06:15:40 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) (Ping timeout: 258 seconds) |
| 2021-04-15 06:15:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 06:16:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-15 06:19:56 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) |
| 2021-04-15 06:21:30 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 06:24:49 +0200 | <jackdk> | apparently I needed `documentation: True` in `~/.cabal/config` and not `cabal.project` |
| 2021-04-15 06:26:06 +0200 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-15 06:26:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-15 06:26:23 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) (Ping timeout: 246 seconds) |
| 2021-04-15 06:27:20 +0200 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2021-04-15 06:28:13 +0200 | slack1256 | (~slack1256@191.113.234.51) (Ping timeout: 240 seconds) |
| 2021-04-15 06:30:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 06:33:58 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-15 06:34:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 06:37:35 +0200 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-15 06:38:39 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 265 seconds) |
| 2021-04-15 06:38:54 +0200 | <gnumonic> | I'm getting a "Reduction stack overflow ... when simplifying the following type: SDecide Nat". Is anything bad going to happen if I listen to the error message and disable the check? (I'm sure my proof terminates) |
| 2021-04-15 06:39:54 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-15 06:42:28 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-15 06:44:27 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds) |
| 2021-04-15 06:47:28 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-15 06:47:32 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-15 06:47:52 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-04-15 06:51:24 +0200 | antaoiseach | (~z0ltan@103.5.134.18) |
| 2021-04-15 06:51:34 +0200 | <antaoiseach> | Hello folks, good place to ask about cabal build failures? |
| 2021-04-15 06:51:51 +0200 | <antaoiseach> | (Newbie to the Haskell ecosystem, beginner-intermediate in the language itself) |
| 2021-04-15 06:52:20 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-15 06:54:54 +0200 | <glguy> | This is a fine place to ask. Things are a bit slow this time of the day |
| 2021-04-15 06:57:57 +0200 | <antaoiseach> | glguy: Thank you! |
| 2021-04-15 06:58:38 +0200 | <antaoiseach> | So I'm working through the Haskell MOOC (haskell.mooc.fi) course, and my setup was working with a manually installed ghc (8.8.4 IIRC) via homebrew. |
| 2021-04-15 06:59:03 +0200 | <antaoiseach> | That led to some problems generating executables (link errors with both clang and gcc), and so I decided to do a fresh install. |
| 2021-04-15 06:59:05 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 06:59:16 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 246 seconds) |
| 2021-04-15 06:59:26 +0200 | <antaoiseach> | I followed the recommended procedure and installed ghc vis ghcup (am on macOS) and installed stack as well |
| 2021-04-15 06:59:53 +0200 | <antaoiseach> | The test cases are built using the command `cabal v2-build && cabal v2-exec runhaskell <testfile>` |
| 2021-04-15 06:59:58 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 252 seconds) |
| 2021-04-15 07:00:06 +0200 | Alleria | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 07:00:17 +0200 | <antaoiseach> | Now this gives me problems during the build step itself (the stack version of the instructions also fail spectacularly) |
| 2021-04-15 07:00:29 +0200 | Alleria | Guest80128 |
| 2021-04-15 07:00:38 +0200 | <antaoiseach> | ```cabal: Failed to build basement-0.0.11 (which is required by tests-0.0.1). See |
| 2021-04-15 07:00:38 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 07:00:41 +0200 | <antaoiseach> | the build log above for details. |
| 2021-04-15 07:00:43 +0200 | <antaoiseach> | Failed to build clock-0.8.2 (which is required by tests-0.0.1). See the build |
| 2021-04-15 07:00:46 +0200 | <antaoiseach> | log above for details. |
| 2021-04-15 07:00:48 +0200 | <antaoiseach> | Failed to build hourglass-0.2.12 (which is required by tests-0.0.1). See the |
| 2021-04-15 07:00:51 +0200 | <antaoiseach> | build log above for details. |
| 2021-04-15 07:00:51 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-15 07:00:53 +0200 | <antaoiseach> | Failed to build hashable-1.3.1.0 (which is required by tests-0.0.1). See the |
| 2021-04-15 07:00:56 +0200 | <antaoiseach> | build log above for details. |
| 2021-04-15 07:00:58 +0200 | <antaoiseach> | Failed to build network-3.1.2.1 (which is required by tests-0.0.1). See the |
| 2021-04-15 07:01:01 +0200 | <antaoiseach> | build log above for details.``` |
| 2021-04-15 07:01:03 +0200 | <antaoiseach> | (Sorry, thought the snippet would paste as a single message) |
| 2021-04-15 07:01:24 +0200 | <antaoiseach> | I have a suspicion the libraries used by the mooc might be a build old and for an older lts version, but I'm not experienced in the haskell ecosystem enough to figure it out. |
| 2021-04-15 07:01:37 +0200 | <antaoiseach> | Any tips to proceed debugging would be highly appreciated! :-) |
| 2021-04-15 07:01:41 +0200 | <opqdonut> | antaoiseach: hi, author of haskell.mooc.fi here. I haven't tested the alternative cabal instructions in a while so it might very well be that they're broken. The recommended way is to use stack and that does seem to work for most studens. What problems are you having with stack? |
| 2021-04-15 07:02:31 +0200 | <antaoiseach> | Oh hi opqdonut! Stack also crashes out with more inscrutable errors! :-) |
| 2021-04-15 07:02:48 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 2021-04-15 07:03:39 +0200 | <antaoiseach> | opqdonut: Sorry, let me get the relevant output ... my computer seems to have frozen |
| 2021-04-15 07:03:55 +0200 | <opqdonut> | use some sort of pastebin site |
| 2021-04-15 07:03:58 +0200 | <opqdonut> | @where paste |
| 2021-04-15 07:03:58 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-04-15 07:04:04 +0200 | <antaoiseach> | opqdonut: yes, will do. Thanks! |
| 2021-04-15 07:04:31 +0200 | Guest80128 | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-15 07:05:00 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 07:05:01 +0200 | aerona | (~aerona@2600:6c54:4600:f300:3482:b912:44a5:8346) |
| 2021-04-15 07:08:36 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 07:08:47 +0200 | <opqdonut> | antaoiseach: meanwhile, I tried the cabal v2-build method on my machine and it worked fine, so it's not _completely_ broken :) |
| 2021-04-15 07:09:23 +0200 | <antaoiseach> | opqdonut: Here is the error part at the end - https://paste.tomsmeding.com/QMG5AEI7, and the full stack trace for `stack build` - https://paste.tomsmeding.com/llww9793 |
| 2021-04-15 07:09:50 +0200 | <antaoiseach> | opqdonut: yes, cabal v2-build worked nicely for me with ghc 8.8.4 (IIRC). Let me my latest versions info |
| 2021-04-15 07:09:57 +0200 | Natch | (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-04-15 07:10:15 +0200 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ ghc --version |
| 2021-04-15 07:10:15 +0200 | <antaoiseach> | \The Glorious Glasgow Haskell Compilation System, version 8.10.4 |
| 2021-04-15 07:10:15 +0200 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ cabal --version |
| 2021-04-15 07:10:15 +0200 | <antaoiseach> | cabal-install version 3.4.0.0 |
| 2021-04-15 07:10:15 +0200 | <antaoiseach> | compiled using version 3.4.0.0 of the Cabal library |
| 2021-04-15 07:10:18 +0200 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ stack --version |
| 2021-04-15 07:10:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 07:10:26 +0200 | <antaoiseach> | Version 2.5.1, Git revision d6ab861544918185236cf826cb2028abb266d6d5 x86_64 hpack-0.33.0 |
| 2021-04-15 07:10:31 +0200 | <antaoiseach> | (stack version) |
| 2021-04-15 07:10:39 +0200 | <antaoiseach> | Sorry for the walls of text, appreciate your help! ;-) |
| 2021-04-15 07:11:18 +0200 | <sclv> | antaoiseach: ok so tou |
| 2021-04-15 07:11:42 +0200 | <sclv> | er ok so you’re using homebrew gcc with ghc? |
| 2021-04-15 07:11:57 +0200 | <antaoiseach> | sclv: Previously, but not installed with `ghcup` |
| 2021-04-15 07:12:04 +0200 | <antaoiseach> | and stack from the stack site |
| 2021-04-15 07:12:18 +0200 | <antaoiseach> | sclv: oh sorry, no, using clang |
| 2021-04-15 07:12:22 +0200 | <antaoiseach> | (well, Apple clang) |
| 2021-04-15 07:12:47 +0200 | <antaoiseach> | tried with gcc - gave a bunch of errors about unrecognised symbols and gc-options |
| 2021-04-15 07:12:52 +0200 | <sclv> | the no pie stuff is a giveaway that there’s something funny with the combo of ghc and your system |
| 2021-04-15 07:13:02 +0200 | <antaoiseach> | (gcc/clang/actual clang is a real mess on macOS I know :() |
| 2021-04-15 07:13:16 +0200 | <antaoiseach> | sclv: I hope that's the case! |
| 2021-04-15 07:13:24 +0200 | <antaoiseach> | not issues with lib versions |
| 2021-04-15 07:13:53 +0200 | <sclv> | stack manages ghc in its own way, but if the ghcup installed one works fine my advice is stick to that |
| 2021-04-15 07:14:15 +0200 | <sclv> | You can pass a flag to stack so it uses system ghc instead of its own |
| 2021-04-15 07:14:53 +0200 | <antaoiseach> | here is my ghc settings file (from `ghc --print-libdir`) if it helps - https://paste.tomsmeding.com/KwXxg7OI |
| 2021-04-15 07:15:15 +0200 | <antaoiseach> | sclv: that's for stack, right? the system-ghc flag |
| 2021-04-15 07:15:17 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-15 07:15:20 +0200 | Natch | (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 07:16:51 +0200 | <sclv> | ya |
| 2021-04-15 07:17:13 +0200 | <antaoiseach> | sclv: yes, that makes sense! |
| 2021-04-15 07:17:26 +0200 | <sclv> | note that your settings file says that the c compiler supports no-pie but the error message says it doesn’t |
| 2021-04-15 07:17:27 +0200 | Iam_thor | (~Iam_thor@185.204.1.185) (Remote host closed the connection) |
| 2021-04-15 07:17:49 +0200 | <sclv> | here’s an older ticket with some details https://gitlab.haskell.org/ghc/ghc/-/issues/16656 |
| 2021-04-15 07:17:49 +0200 | <antaoiseach> | sclv: lemme try setting that off and try |
| 2021-04-15 07:18:28 +0200 | michalz | (~user@185.246.204.44) |
| 2021-04-15 07:18:40 +0200 | <sclv> | you can pass verbosity flags to cabal to see the gcc/clang invocations too |
| 2021-04-15 07:18:48 +0200 | <antaoiseach> | okay, with cabal build, it failed again, but with some slightly different messages |
| 2021-04-15 07:19:01 +0200 | <antaoiseach> | sclv: passing `-v`? |
| 2021-04-15 07:19:04 +0200 | <Guest78317> | another silly question again. i have a thing that should be a json array. i have a parser for each of the contents of the json array. |
| 2021-04-15 07:19:31 +0200 | <sclv> | there’s a variety of verbosity levels iirc |
| 2021-04-15 07:20:38 +0200 | <sclv> | the easiest thing to do is to make sure you install ghc in precisely the compiler env you intend to run it in, so ideally the configure script just works right |
| 2021-04-15 07:21:32 +0200 | <antaoiseach> | sclv: I didn't get that... can you elaborate? |
| 2021-04-15 07:23:00 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 07:23:10 +0200 | <sclv> | the ticket explains. when you install ghc (including via ghcup) it runs scripts to detect what settings to put in that file. so if you install it with precisely the ambient env you want (correct gcc in path, etc) then things go smoothly |
| 2021-04-15 07:23:36 +0200 | <sclv> | or one hopes they do |
| 2021-04-15 07:24:57 +0200 | <antaoiseach> | sclv: Hmmm, okay. I read through that issue now.... seems kind of relevant, but I think they're building ghc from source there, right? I'd hoped that installing the binary from ghcup would have put in the right settings. |
| 2021-04-15 07:25:16 +0200 | <antaoiseach> | Strangely enough, it did point to gcc (IIRC), and I had to manually change it to clang in the settings file |
| 2021-04-15 07:25:28 +0200 | <sclv> | the configure gets run regardless |
| 2021-04-15 07:25:40 +0200 | <sclv> | to generate that file |
| 2021-04-15 07:25:45 +0200 | <antaoiseach> | Hmmm |
| 2021-04-15 07:26:04 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 07:26:09 +0200 | <antaoiseach> | That step is in the ghcup shell script though? |
| 2021-04-15 07:26:17 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-15 07:26:20 +0200 | <antaoiseach> | and that runs automatically with the command given on the site |
| 2021-04-15 07:26:43 +0200 | <antaoiseach> | The command given is `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh` (on the ghcup site) |
| 2021-04-15 07:26:44 +0200 | <sclv> | You can pass the installer a flag to tell it which c compiler to pick, but it picks the thing named gcc by default |
| 2021-04-15 07:27:09 +0200 | <antaoiseach> | okay, let me try and reinstall ghcup and see all the options presented |
| 2021-04-15 07:27:11 +0200 | <sclv> | recall that gcc is aliased to clang on brewless systems |
| 2021-04-15 07:27:24 +0200 | <sclv> | idk if ghcup hides this from you |
| 2021-04-15 07:27:47 +0200 | <sclv> | the curl script should have put a ghcup cmd in your path? |
| 2021-04-15 07:27:49 +0200 | <antaoiseach> | sclv: Hmmm, yes. I don't recall actually ... let me try it out now and see the options |
| 2021-04-15 07:28:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 07:28:59 +0200 | <sclv> | i would have a gcc aliased to clang, do a clean install, and then later if i wanted to change this, then change the gcc alias and also the ghc config for only that |
| 2021-04-15 07:29:04 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-cwhemzwwgbboniwh) (Quit: Connection closed for inactivity) |
| 2021-04-15 07:29:16 +0200 | <sclv> | it may not be the best approach but it seems safe |
| 2021-04-15 07:30:08 +0200 | <antaoiseach> | sclv: funnily enough, macOS does have gcc aliased to Apple clang by default! |
| 2021-04-15 07:30:26 +0200 | <antaoiseach> | I had manually rebound the alias to a brew installed instance of gcc 10 |
| 2021-04-15 07:30:31 +0200 | <antaoiseach> | so what you're saying makes sense |
| 2021-04-15 07:31:18 +0200 | <sclv> | right. you changed the compiler but not its flags, leading to an inconsistent config file |
| 2021-04-15 07:32:31 +0200 | <antaoiseach> | sclv: Okay, so I have removed the alias, gcc is now (as originally), pointing to Apple's clang instance ... installing via ghcup now... let's see! |
| 2021-04-15 07:32:54 +0200 | <antaoiseach> | So it's pointing to Apple clang version 11.0.0 (clang-1100.0.33.17) right now |
| 2021-04-15 07:33:06 +0200 | <antaoiseach> | let's hope for the best! :D |
| 2021-04-15 07:34:05 +0200 | drbean_ | (~drbean@TC210-63-209-24.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-15 07:35:51 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:194:cbbb:ad89:4623) |
| 2021-04-15 07:36:05 +0200 | antaoise1ch | (~z0ltan@103.5.134.18) |
| 2021-04-15 07:37:26 +0200 | antaoiseach | (~z0ltan@103.5.134.18) (Ping timeout: 246 seconds) |
| 2021-04-15 07:38:00 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:39:35 +0200 | <antaoise1ch> | sclv: Sorry about the outage ... power cut, back again. Okay, so no luck... cabal build is still failing |
| 2021-04-15 07:40:04 +0200 | <antaoise1ch> | and strangely enough, the settings file still has references to gcc (had assumed it would use the alias and pick up clang) |
| 2021-04-15 07:40:22 +0200 | <sclv> | no its going to use the alias name |
| 2021-04-15 07:40:34 +0200 | <antaoise1ch> | okay |
| 2021-04-15 07:41:07 +0200 | <antaoise1ch> | clang: error: linker command failed with exit code 1 (use -v to see invocation) |
| 2021-04-15 07:41:08 +0200 | <antaoise1ch> | `gcc' failed in phase `Linker'. (Exit code: 1) |
| 2021-04-15 07:41:08 +0200 | <antaoise1ch> | cabal: Failed to build basement-0.0.11 (which is required by tests-0.0.1). See |
| 2021-04-15 07:41:08 +0200 | <antaoise1ch> | the build log above for details. |
| 2021-04-15 07:41:26 +0200 | <antaoise1ch> | you're right ... it did use clang, but but same failure |
| 2021-04-15 07:41:30 +0200 | <antaoise1ch> | let me try stack |
| 2021-04-15 07:41:43 +0200 | <sclv> | wait is the failure the no pie? |
| 2021-04-15 07:42:03 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:194:cbbb:ad89:4623) () |
| 2021-04-15 07:42:05 +0200 | <sclv> | make sure your config file for ghc is actually now correct |
| 2021-04-15 07:43:46 +0200 | <antaoise1ch> | sclv: https://paste.tomsmeding.com/fZKo4PPa is my new settings .. it has `NO` for pie support |
| 2021-04-15 07:43:57 +0200 | gimps | (~gimps@185.169.233.12) |
| 2021-04-15 07:44:26 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-15 07:45:02 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:45:47 +0200 | <antaoise1ch> | not sure what to make of it ... |
| 2021-04-15 07:46:00 +0200 | <antaoise1ch> | the verbose output doesn't mention it though |
| 2021-04-15 07:46:13 +0200 | <antaoise1ch> | I found this bit funny though - "Failed to build QuickCheck-2.14.2 because it depends on QuickCheck-2.14.2 |
| 2021-04-15 07:46:16 +0200 | <antaoise1ch> | " |
| 2021-04-15 07:46:19 +0200 | <antaoise1ch> | :D |
| 2021-04-15 07:46:22 +0200 | ddellacosta | (~ddellacos@86.106.143.131) |
| 2021-04-15 07:46:30 +0200 | <opqdonut> | antaoise1ch: sorry, I was away for a while, but it seems this issue is beyond me anyway. I have no experience with macos or building ghc from source... |
| 2021-04-15 07:47:29 +0200 | <antaoise1ch> | opqdonut: hey, no worries! Yeah, macOS has a bunch of issues with Apple installing their own versions of stuff |
| 2021-04-15 07:47:46 +0200 | <antaoise1ch> | Thanks for the help though, opqdonut and sclv! Appreciate it! :-) |
| 2021-04-15 07:47:56 +0200 | <opqdonut> | modifying the stack.yaml to include `system-ghc: true` might help if you indeed manage to install a working GHC via some non-stack mechanism |
| 2021-04-15 07:48:07 +0200 | <antaoise1ch> | I'll go back to 8.8.4, finish the mooc, and then try updating later! :D |
| 2021-04-15 07:48:23 +0200 | <opqdonut> | perhaps also `skip-ghc-check: true` is needed if the ghc version doesn't match |
| 2021-04-15 07:48:24 +0200 | <antaoise1ch> | opqdonut: I did set it to `true` :-) |
| 2021-04-15 07:48:43 +0200 | <opqdonut> | hmm yeah going back to a working configuration you had before makes sense |
| 2021-04-15 07:48:45 +0200 | <opqdonut> | have fun |
| 2021-04-15 07:48:48 +0200 | <antaoise1ch> | Okay, I can try the skip-check and see.. |
| 2021-04-15 07:48:55 +0200 | <antaoise1ch> | Thanks, and cheers! :-) |
| 2021-04-15 07:49:11 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-15 07:50:14 +0200 | antaoise1ch | (~z0ltan@103.5.134.18) (Quit: leaving) |
| 2021-04-15 07:50:44 +0200 | ddellacosta | (~ddellacos@86.106.143.131) (Ping timeout: 246 seconds) |
| 2021-04-15 07:51:19 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-15 07:52:53 +0200 | horatiohb | (~horatiohb@104.236.208.44) (Ping timeout: 240 seconds) |
| 2021-04-15 07:53:35 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-15 07:54:14 +0200 | malumore | (~malumore@151.62.126.218) |
| 2021-04-15 07:55:18 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-15 07:55:48 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2d99:cd1a:54c5:e472) (Remote host closed the connection) |
| 2021-04-15 08:03:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 08:03:37 +0200 | koz_ | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2021-04-15 08:04:00 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-04-15 08:05:25 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 08:07:34 +0200 | koz | (~koz@121.99.240.58) |
| 2021-04-15 08:09:35 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-15 08:12:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-15 08:13:56 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-15 08:14:11 +0200 | MrMobius | (~MrMobius@208.58.206.154) (Ping timeout: 246 seconds) |
| 2021-04-15 08:22:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 08:26:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-15 08:27:47 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 08:27:50 +0200 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-04-15 08:30:42 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-15 08:36:33 +0200 | MrMobius | (~MrMobius@208.58.206.154) (Ping timeout: 240 seconds) |
| 2021-04-15 08:37:51 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 08:44:17 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 08:44:41 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-15 08:45:10 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 08:45:44 +0200 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-04-15 08:47:28 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-15 08:47:57 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 08:48:56 +0200 | dave_uy48 | (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-15 08:49:04 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) |
| 2021-04-15 08:49:54 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
| 2021-04-15 08:51:01 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 2021-04-15 08:51:03 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 08:52:07 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-04-15 08:52:24 +0200 | dave_uy48 | (~david@108.61.193.26) |
| 2021-04-15 08:53:23 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-15 08:53:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) (Ping timeout: 258 seconds) |
| 2021-04-15 08:54:26 +0200 | MrMobius | (~MrMobius@208.58.206.154) (Ping timeout: 246 seconds) |
| 2021-04-15 08:54:39 +0200 | echoreply | (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 2021-04-15 08:54:53 +0200 | rmk236 | (~lcampos@ip-37-201-211-111.hsi13.unitymediagroup.de) |
| 2021-04-15 08:55:09 +0200 | echoreply | (~echoreply@unaffiliated/echoreply) |
| 2021-04-15 08:56:36 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-15 08:57:36 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 08:57:45 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 08:58:49 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 265 seconds) |
| 2021-04-15 08:58:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-15 09:01:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 09:02:52 +0200 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-04-15 09:03:06 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-15 09:03:29 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-15 09:05:43 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-15 09:07:01 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-04-15 09:08:21 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 09:08:42 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:9862:5ebf:d254:8a81) |
| 2021-04-15 09:09:06 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-15 09:09:38 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:e405:142d:f14b:a007) |
| 2021-04-15 09:10:22 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 09:10:54 +0200 | aerona | (~aerona@2600:6c54:4600:f300:3482:b912:44a5:8346) (Quit: Leaving) |
| 2021-04-15 09:11:17 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-15 09:11:43 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:340f:2736:618a:ba87) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 09:13:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:9862:5ebf:d254:8a81) (Ping timeout: 258 seconds) |
| 2021-04-15 09:13:56 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 09:14:17 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-04-15 09:14:18 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:e405:142d:f14b:a007) (Ping timeout: 258 seconds) |
| 2021-04-15 09:14:40 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-15 09:16:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-15 09:16:57 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-04-15 09:17:30 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-15 09:17:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-15 09:17:57 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 09:20:54 +0200 | dunj3 | (~dunj3@2001:16b8:30dd:8b00:33d6:e798:cf85:ced0) |
| 2021-04-15 09:21:45 +0200 | jespada | (~jespada@90.254.243.187) (Quit: Sleeping) |
| 2021-04-15 09:22:20 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-15 09:22:21 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 09:25:14 +0200 | xourt | (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 2021-04-15 09:30:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 09:34:17 +0200 | knupfer | (~Thunderbi@200116b82be60c00402734a0c266fa8b.dip.versatel-1u1.de) |
| 2021-04-15 09:34:32 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 09:35:05 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 09:37:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 09:39:06 +0200 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
| 2021-04-15 09:39:45 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-15 09:40:43 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 09:41:31 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 09:41:37 +0200 | rmk236 | (~lcampos@ip-37-201-211-111.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-15 09:42:02 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-15 09:42:08 +0200 | jrqc | (~rofl@96.78.87.197) |
| 2021-04-15 09:42:08 +0200 | rmk236 | (~lcampos@2a02:908:3616:b100:7f3a:e025:cd55:2b03) |
| 2021-04-15 09:42:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 09:43:41 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-15 09:44:07 +0200 | MrMobius | (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 2021-04-15 09:44:12 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 258 seconds) |
| 2021-04-15 09:46:07 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-15 09:48:11 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-15 09:48:34 +0200 | <BosonCollider> | okay, some of the patterns from Julias type system are honestly really intriguing |
| 2021-04-15 09:48:55 +0200 | <BosonCollider> | inheritance hierarchies for uninhabited types are common |
| 2021-04-15 09:49:44 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds) |
| 2021-04-15 09:50:14 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 09:51:55 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-15 09:51:55 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-04-15 09:52:15 +0200 | <BosonCollider> | Mainly when making trait bounds which are mutually exclusive, by applying single inheritance to traits basically, which is separate from typeclass implication |
| 2021-04-15 09:52:29 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) |
| 2021-04-15 09:52:32 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 2021-04-15 09:54:03 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) |
| 2021-04-15 09:54:33 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 09:56:05 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 09:56:11 +0200 | <BosonCollider> | I guess the typeclass equivalent for this would be to have type implication depend only on the root typeclass, but you get to have multiple subcases of each typeclass that are mutually exclusive and can have different default implementations |
| 2021-04-15 09:56:39 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:b969:a1b1:317:a236) |
| 2021-04-15 09:57:12 +0200 | koz | koz_ |
| 2021-04-15 09:57:52 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-15 09:58:23 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:9346:b3f:94d7:13fa) (Ping timeout: 260 seconds) |
| 2021-04-15 10:00:08 +0200 | Alleria | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 10:00:20 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
| 2021-04-15 10:00:29 +0200 | Alleria | Guest34423 |
| 2021-04-15 10:01:04 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:b969:a1b1:317:a236) (Ping timeout: 258 seconds) |
| 2021-04-15 10:04:55 +0200 | Guest34423 | (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-15 10:05:53 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 10:07:20 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-15 10:08:48 +0200 | <BosonCollider> | I guess that's arguably higher kinded inheritance? |
| 2021-04-15 10:09:48 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-15 10:10:01 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:6755:5277:6a5:378b) |
| 2021-04-15 10:10:12 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-04-15 10:10:21 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-15 10:12:16 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 10:12:32 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 10:13:42 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 10:14:00 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 10:14:09 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 2021-04-15 10:14:20 +0200 | _xor | (~xor@74.215.46.133) (Read error: Connection reset by peer) |
| 2021-04-15 10:15:13 +0200 | _xor | (~xor@74.215.46.133) |
| 2021-04-15 10:15:26 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-15 10:15:38 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-15 10:15:52 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-15 10:16:13 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 10:16:14 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-04-15 10:16:28 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 10:16:29 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-04-15 10:16:43 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 10:17:41 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 10:17:51 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-15 10:19:41 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 10:21:28 +0200 | fendor_ | fendor |
| 2021-04-15 10:21:52 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Ping timeout: 240 seconds) |
| 2021-04-15 10:21:58 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-15 10:22:03 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 10:22:41 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2021-04-15 10:22:53 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-15 10:23:19 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 10:24:04 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 10:24:41 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 10:27:58 +0200 | jophish__ | (ca536851@202.83.104.81) |
| 2021-04-15 10:31:04 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) |
| 2021-04-15 10:31:07 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) (Max SendQ exceeded) |
| 2021-04-15 10:31:39 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) |
| 2021-04-15 10:31:43 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) (Max SendQ exceeded) |
| 2021-04-15 10:31:51 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-15 10:32:49 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds) |
| 2021-04-15 10:33:11 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 10:33:30 +0200 | fiedlr | (~fiedlr@195.91.9.86) |
| 2021-04-15 10:36:46 +0200 | xourt | (d4c620ea@212-198-32-234.rev.numericable.fr) (Quit: Connection closed) |
| 2021-04-15 10:36:56 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-15 10:37:00 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 10:37:17 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-15 10:37:54 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-04-15 10:37:58 +0200 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-04-15 10:38:27 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 10:39:03 +0200 | jespada | (~jespada@90.254.243.187) |
| 2021-04-15 10:39:05 +0200 | jophish__ | (ca536851@202.83.104.81) (Quit: Connection closed) |
| 2021-04-15 10:39:30 +0200 | jophish__ | (ca536851@202.83.104.81) |
| 2021-04-15 10:39:56 +0200 | <DamienCassou> | hi |
| 2021-04-15 10:40:28 +0200 | Sorna | (~Sornaensi@79.142.232.102) |
| 2021-04-15 10:41:07 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-04-15 10:41:29 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-15 10:42:09 +0200 | jophish | (~joemonoid@li1766-207.members.linode.com) |
| 2021-04-15 10:43:29 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-15 10:44:19 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 10:46:11 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 268 seconds) |
| 2021-04-15 10:50:45 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-15 10:52:02 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 10:52:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 10:55:52 +0200 | <jophish> | . |
| 2021-04-15 10:56:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 10:58:32 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-15 10:59:21 +0200 | dinciorip | (~dincio@5.170.213.143) |
| 2021-04-15 11:00:03 +0200 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-vimrtwwkezzrsayu) (Quit: Idle for 30+ days) |
| 2021-04-15 11:00:36 +0200 | kristijonas | (~kristijon@IN-84-15-181-058.bitemobile.lt) |
| 2021-04-15 11:01:11 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 11:01:50 +0200 | datajerk | (~datajerk@sense.net) (Ping timeout: 246 seconds) |
| 2021-04-15 11:03:13 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-04-15 11:05:18 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 11:07:29 +0200 | dinciorip | (~dincio@5.170.213.143) (Quit: WeeChat 3.1) |
| 2021-04-15 11:10:06 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 2021-04-15 11:10:15 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) |
| 2021-04-15 11:10:29 +0200 | datajerk | (~datajerk@sense.net) |
| 2021-04-15 11:10:52 +0200 | dhil | (~dhil@80.208.56.181) |
| 2021-04-15 11:14:25 +0200 | dinciorip | (~dincio@5.170.213.143) |
| 2021-04-15 11:14:51 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-15 11:15:02 +0200 | dinciorip | (~dincio@5.170.213.143) (Client Quit) |
| 2021-04-15 11:15:36 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-04-15 11:16:25 +0200 | fiedlr_ | (~fiedlr@83.148.33.254) |
| 2021-04-15 11:16:27 +0200 | CMCDragonkai1 | (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-04-15 11:17:19 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-15 11:19:41 +0200 | fiedlr | (~fiedlr@195.91.9.86) (Ping timeout: 240 seconds) |
| 2021-04-15 11:21:24 +0200 | CMCDragonkai1 | (~Thunderbi@60-242-118-130.tpgi.com.au) (Remote host closed the connection) |
| 2021-04-15 11:24:06 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 11:27:26 +0200 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 240 seconds) |
| 2021-04-15 11:31:29 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-04-15 11:35:06 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) |
| 2021-04-15 11:35:53 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Ping timeout: 240 seconds) |
| 2021-04-15 11:38:07 +0200 | <absence> | is there a way to enable equality constraints (~) without enabling gadts or type families (and subsequently NoMonoLocalBinds)? |
| 2021-04-15 11:38:19 +0200 | mandiblegrip | (~mandibleg@58.168.115.44) |
| 2021-04-15 11:41:18 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 11:41:42 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-04-15 11:42:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-15 11:42:54 +0200 | mandiblegrip | (~mandibleg@58.168.115.44) (Client Quit) |
| 2021-04-15 11:44:53 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 11:47:16 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-15 11:49:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-15 11:49:33 +0200 | ram19890 | (~ram@49.207.130.109) (Ping timeout: 240 seconds) |
| 2021-04-15 11:49:54 +0200 | ram19890 | (~ram@49.206.125.108) |
| 2021-04-15 11:51:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 11:52:22 +0200 | Tom85 | (9ec25c49@158.194.92.73) |
| 2021-04-15 12:01:56 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-15 12:02:03 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-15 12:02:15 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-04-15 12:03:04 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-15 12:03:05 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-04-15 12:03:05 +0200 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-04-15 12:04:28 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-15 12:05:28 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 12:06:25 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 12:06:39 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-15 12:07:14 +0200 | srk | (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-15 12:08:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 12:09:41 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 12:13:21 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-15 12:13:55 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-15 12:19:33 +0200 | Natch | (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-04-15 12:23:51 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-15 12:26:49 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-15 12:28:11 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 12:29:11 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 12:30:26 +0200 | kristijonas | (~kristijon@IN-84-15-181-058.bitemobile.lt) (Ping timeout: 240 seconds) |
| 2021-04-15 12:31:40 +0200 | Tom85 | (9ec25c49@158.194.92.73) (Quit: Connection closed) |
| 2021-04-15 12:31:47 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 12:32:35 +0200 | jophish__ | (ca536851@202.83.104.81) (Quit: Connection closed) |
| 2021-04-15 12:34:02 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 12:35:04 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-15 12:36:16 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 12:38:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 12:40:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 12:41:06 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-15 12:41:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 12:41:40 +0200 | fiedlr_ | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 12:43:16 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 12:45:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 12:45:23 +0200 | Maikelsan | (5d686538@ppp-93-104-101-56.dynamic.mnet-online.de) |
| 2021-04-15 12:45:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 12:46:04 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 12:47:40 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 12:49:53 +0200 | xff0x | (~xff0x@2001:1a81:5212:400:4c6f:5915:2f4f:d6a1) (Ping timeout: 250 seconds) |
| 2021-04-15 12:50:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-15 12:50:54 +0200 | xff0x | (~xff0x@2001:1a81:5212:400:40ea:4efb:39d4:239a) |
| 2021-04-15 12:51:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 12:52:15 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-15 12:52:20 +0200 | liyang | (~liyang@90.255.129.199) (Quit: Lost terminal) |
| 2021-04-15 12:53:57 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 2021-04-15 12:54:30 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-04-15 12:55:06 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-15 12:56:12 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) (Ping timeout: 240 seconds) |
| 2021-04-15 13:01:50 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 13:02:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-15 13:02:29 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-15 13:02:48 +0200 | dave_uy48 | dave_uy |
| 2021-04-15 13:03:12 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-15 13:03:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 13:03:50 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 13:04:09 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-04-15 13:04:27 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 13:04:32 +0200 | Alleria | Guest61024 |
| 2021-04-15 13:07:38 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-04-15 13:07:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-15 13:08:52 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-04-15 13:09:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 13:10:08 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 13:14:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-15 13:14:31 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-15 13:15:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 13:17:01 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 13:18:00 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-15 13:20:23 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 13:20:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-15 13:20:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 13:23:27 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 13:25:09 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Ping timeout: 260 seconds) |
| 2021-04-15 13:29:33 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-15 13:31:52 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 13:33:32 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-15 13:33:35 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 13:34:35 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 13:37:15 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-15 13:37:35 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-15 13:40:50 +0200 | <maralorn> | absence: Currently not. But there is a nearly accepted proposal about this: https://github.com/int-index/ghc-proposals/blob/67d80148e482e2b79256bb980ec1ac395b8e07ed/proposals… |
| 2021-04-15 13:41:42 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-15 13:46:49 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 13:47:07 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 13:47:23 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection) |
| 2021-04-15 13:47:45 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 13:47:48 +0200 | urdh | (~urdh@unaffiliated/urdh) (Quit: Boom!) |
| 2021-04-15 13:51:59 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 13:52:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 13:53:45 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 13:54:59 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-15 13:56:09 +0200 | Maikelsan | (5d686538@ppp-93-104-101-56.dynamic.mnet-online.de) (Quit: Connection closed) |
| 2021-04-15 13:57:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 13:57:41 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:8499:f3c:be0c:2511) |
| 2021-04-15 14:02:11 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:8499:f3c:be0c:2511) (Ping timeout: 258 seconds) |
| 2021-04-15 14:08:14 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 14:08:44 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-15 14:11:22 +0200 | Guest_98 | (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) |
| 2021-04-15 14:11:45 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-15 14:12:15 +0200 | xff0x | (~xff0x@2001:1a81:5212:400:40ea:4efb:39d4:239a) (Ping timeout: 260 seconds) |
| 2021-04-15 14:13:07 +0200 | xff0x | (~xff0x@2001:1a81:5212:400:5254:5969:59c7:5023) |
| 2021-04-15 14:14:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-15 14:18:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-15 14:20:51 +0200 | <kuribas> | I found a solution for my problem of how to create forms. |
| 2021-04-15 14:21:12 +0200 | <kuribas> | Because some forms may depend on other forms, but they still need to be known statically. |
| 2021-04-15 14:21:23 +0200 | <kuribas> | So it isn't a Monad, but also not an Applicative either. |
| 2021-04-15 14:21:27 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 14:21:29 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 14:21:53 +0200 | <kuribas> | They idea is to have a "form-builder" Monad, where you can register forms, then using the registered forms to specify the dependencies (as an applicative). |
| 2021-04-15 14:22:21 +0200 | <kuribas> | the form-builder then can assign unique IDs for each form. |
| 2021-04-15 14:23:27 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-04-15 14:24:02 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 14:25:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-15 14:26:16 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Client Quit) |
| 2021-04-15 14:27:35 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-04-15 14:28:03 +0200 | Franciman | (~francesco@host-212-171-46-208.pool212171.interbusiness.it) |
| 2021-04-15 14:28:13 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-eeudlqiuuwrtzpbi) |
| 2021-04-15 14:28:15 +0200 | <Franciman> | Hi all, I have a problem with servant-to-elm |
| 2021-04-15 14:28:21 +0200 | <Franciman> | it generates elm code that does not compile |
| 2021-04-15 14:28:25 +0200 | <Franciman> | because of an indentation issue |
| 2021-04-15 14:28:33 +0200 | <Franciman> | have you experienced something similar? |
| 2021-04-15 14:29:07 +0200 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-ac34-8d7e-1853-75bb.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-15 14:29:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 14:30:02 +0200 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-15 14:31:38 +0200 | <Uniaika> | .2 |
| 2021-04-15 14:31:41 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-04-15 14:32:02 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-15 14:33:35 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-15 14:35:36 +0200 | Guest_98 | (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-15 14:38:03 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-15 14:40:24 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-04-15 14:41:30 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2021-04-15 14:42:21 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-15 14:43:17 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-15 14:48:44 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
| 2021-04-15 14:49:15 +0200 | Alleria_ | (~AllahuAkb@69.202.254.168) |
| 2021-04-15 14:49:54 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-15 14:52:47 +0200 | slack1256 | (~slack1256@191.113.234.51) |
| 2021-04-15 14:53:11 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 14:55:40 +0200 | <timCF> | Hello! Is there some well-known generic Text-like type which can represent errors in complex business logic, where the most functions are returning something like `ExceptT Text m a`. Text is not very flexible in cases where sensitive data might be involved, and should be shown only in some particular cases. Basically I want to replace Text with something like `Error {errorSensitive :: Text, |
| 2021-04-15 14:55:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-15 14:55:46 +0200 | <timCF> | errorInsensitive :: Text, errorShowSensitive :: Bool}` and implement manually `Show` instance for this type. Just thinking, maybe I'm re-inventing the wheel and such thing/pattern already exists somewhere. |
| 2021-04-15 14:56:25 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-04-15 14:57:00 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-04-15 14:57:21 +0200 | graf_blutwurst | (~user@2001:171b:226e:adc0:24b2:5439:95f2:6db1) |
| 2021-04-15 14:57:23 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 246 seconds) |
| 2021-04-15 14:57:35 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 15:00:01 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 15:00:54 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-15 15:01:16 +0200 | <kuribas> | timCF: seems easy enough to define |
| 2021-04-15 15:01:43 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-15 15:04:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 15:04:24 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-15 15:05:29 +0200 | Alleria_ | (~AllahuAkb@69.202.254.168) (Ping timeout: 260 seconds) |
| 2021-04-15 15:06:05 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 15:09:56 +0200 | <tdammers> | Franciman: maybe the Elm compiler has been changed? |
| 2021-04-15 15:10:21 +0200 | <Franciman> | the docs say that the library is compatible with elm 0.19 |
| 2021-04-15 15:10:25 +0200 | <Franciman> | now I use elm 0.19.2 |
| 2021-04-15 15:10:36 +0200 | <Franciman> | will a minor version bump cause so much havoc? |
| 2021-04-15 15:10:46 +0200 | <tdammers> | with elm, anything's possible |
| 2021-04-15 15:10:49 +0200 | <Franciman> | oh I see |
| 2021-04-15 15:10:50 +0200 | <aforemny> | Franciman: Maybe as a work-around you could run elm-format on the resulting elm files? Maybe elm-format is able to fix the indentation issue. |
| 2021-04-15 15:11:02 +0200 | <Franciman> | that is a terrific idea |
| 2021-04-15 15:11:03 +0200 | <Franciman> | thanks |
| 2021-04-15 15:11:06 +0200 | <aforemny> | Franciman: There are no syntax changes from 0.19.0 to 0.19.2 as far as I know |
| 2021-04-15 15:11:29 +0200 | <Franciman> | is this elm format: https://github.com/avh4/elm-format ? |
| 2021-04-15 15:11:36 +0200 | <aforemny> | Franciman: Yes |
| 2021-04-15 15:11:45 +0200 | <Franciman> | thanks |
| 2021-04-15 15:12:00 +0200 | <aforemny> | Franciman: Hope it works! :fingerscrossed: |
| 2021-04-15 15:14:32 +0200 | <L29Ah> | is it me or ghc build system breaks if i build it with make -j9? |
| 2021-04-15 15:14:53 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-04-15 15:15:33 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-15 15:15:45 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) |
| 2021-04-15 15:17:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
| 2021-04-15 15:17:12 +0200 | carlomagno | (~cararell@148.87.23.7) |
| 2021-04-15 15:17:18 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 15:19:20 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 15:20:39 +0200 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-1861-6f3f-b8b6-91aa.res6.spectrum.com) |
| 2021-04-15 15:21:02 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-15 15:22:23 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-15 15:22:33 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-15 15:23:20 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 15:25:36 +0200 | Sorny | (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 2021-04-15 15:25:37 +0200 | Tom53 | (9ec25c49@158.194.92.73) |
| 2021-04-15 15:26:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c9cb:2da:a0e5:f567) |
| 2021-04-15 15:27:42 +0200 | Tom53 | (9ec25c49@158.194.92.73) (Client Quit) |
| 2021-04-15 15:28:07 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 15:28:13 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-15 15:28:25 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 15:28:31 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 15:28:54 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c9cb:2da:a0e5:f567) (Client Quit) |
| 2021-04-15 15:29:51 +0200 | Sorna | (~Sornaensi@79.142.232.102) (Ping timeout: 268 seconds) |
| 2021-04-15 15:32:55 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-15 15:33:33 +0200 | gimps | (~gimps@185.169.233.12) (Remote host closed the connection) |
| 2021-04-15 15:35:09 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-15 15:35:45 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-04-15 15:39:51 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-04-15 15:41:51 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-04-15 15:41:51 +0200 | <fendor> | L29Ah, I think you should rather ask that in #ghc? |
| 2021-04-15 15:42:51 +0200 | <L29Ah> | idk; > Please ask user questions in #haskell |
| 2021-04-15 15:43:07 +0200 | <merijn> | L29Ah: User as in "compiler users" |
| 2021-04-15 15:43:30 +0200 | <merijn> | L29Ah: i.e. #ghc is strictly for "hacking on GHC questions" and not "programming Haskell questions" |
| 2021-04-15 15:45:09 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-15 15:47:03 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-mduldyizmjdpywto) |
| 2021-04-15 15:47:44 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) (Ping timeout: 268 seconds) |
| 2021-04-15 15:48:13 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) |
| 2021-04-15 15:48:43 +0200 | lewky | (~lewky@159.65.37.240) (Quit: Ping timeout (120 seconds)) |
| 2021-04-15 15:49:11 +0200 | lewky | (~lewky@159.65.37.240) |
| 2021-04-15 15:51:03 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-15 15:54:08 +0200 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-04-15 15:54:15 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) (Remote host closed the connection) |
| 2021-04-15 15:54:28 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) |
| 2021-04-15 15:57:14 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-15 16:02:47 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 16:03:52 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-15 16:04:17 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-04-15 16:04:30 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-04-15 16:07:37 +0200 | <kuribas> | Isn't allowing non-total computations more a question of culture rather than language? I find that haskell programmers are largely afraid of having non-total computations, even if it makes the code simpler, while a clojure programmer wouldn't care. |
| 2021-04-15 16:08:47 +0200 | <kuribas> | For example, having a combinator that outputs a runtime error instead of being proven correct in the type system, may be acceptable, as long as the error is done early. |
| 2021-04-15 16:09:09 +0200 | <kuribas> | As in, the code will always give an error if the combinator is applied wrongly. |
| 2021-04-15 16:09:28 +0200 | <nicholasbulka> | what exactly is a non total computation? |
| 2021-04-15 16:09:34 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-15 16:09:56 +0200 | <kuribas> | nicholasbulka: a computation that in some cases results in a run-time error. |
| 2021-04-15 16:10:17 +0200 | <kuribas> | I am more thinking about using combinators to specify business logic. |
| 2021-04-15 16:10:27 +0200 | <nicholasbulka> | gotcha, how does Either fit into that? |
| 2021-04-15 16:10:28 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-04-15 16:10:36 +0200 | <nicholasbulka> | I apologize for my noob questions :-D |
| 2021-04-15 16:10:57 +0200 | <kuribas> | nicholasbulka: Either is fine, because it is total. |
| 2021-04-15 16:11:29 +0200 | <nicholasbulka> | so as opposed to finding an uncaught null value at runtime? |
| 2021-04-15 16:11:31 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-15 16:11:46 +0200 | <kuribas> | yes |
| 2021-04-15 16:11:53 +0200 | <kuribas> | but IMO null values are not acceptable. |
| 2021-04-15 16:11:55 +0200 | <tdammers> | largely depends on what you consider a bottom |
| 2021-04-15 16:12:08 +0200 | <kuribas> | that's where clojure, java, etc, gets it wrong. |
| 2021-04-15 16:12:31 +0200 | <kuribas> | nicholasbulka: Either forces you to handle the error case. |
| 2021-04-15 16:12:47 +0200 | <tdammers> | but I would say that null is a perfectly fine value. it's just problematic to have it as a mandatory inhabitant of all user-defined types |
| 2021-04-15 16:13:14 +0200 | <hyperisco> | kuribas, but non-total can also mean it does not terminate |
| 2021-04-15 16:13:17 +0200 | <kuribas> | tdammers: true, but how would you do that without an option type? |
| 2021-04-15 16:14:08 +0200 | <kuribas> | hyperisco: yeah, the case I find acceptable is early crashing, with a meaningfull error message. |
| 2021-04-15 16:14:21 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-15 16:14:28 +0200 | <tdammers> | I think you're being a tad bit pretentious here |
| 2021-04-15 16:14:29 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-15 16:14:40 +0200 | <kuribas> | tdammers: how so? |
| 2021-04-15 16:15:13 +0200 | <ij> | Do graphs from fgl be converted back to data? |
| 2021-04-15 16:15:14 +0200 | <tdammers> | I mean, making everything nullable with no typesystem support for ruling out nulls is of course a lousy decision |
| 2021-04-15 16:15:16 +0200 | <merijn> | Well, see: nullPtr |
| 2021-04-15 16:15:38 +0200 | <tdammers> | but that has relatively little to do with "totality" as a property of the language as a whole |
| 2021-04-15 16:15:55 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-15 16:16:26 +0200 | <hyperisco> | kuribas, you have to hit the crash to know it exists then, which isn't guaranteed … I think the question is what sort of errors are most likely to reveal themselves when made, and how obviously do they identify themselves among other possible sources of error |
| 2021-04-15 16:16:31 +0200 | <dolio> | People are often 'scared' of partial functions because the errors and whatnot are not the sort of thing that are supposed to exit the program and be reported. They're supposed to be impossible cases that are sometimes very hard to track down when they end up not being impossible. |
| 2021-04-15 16:17:10 +0200 | <dolio> | And it's a classic scenario for someone to go, "you're too worried about it, just use partial functions," and then it comes back to ruin their day. |
| 2021-04-15 16:17:26 +0200 | <hyperisco> | running your program and getting a seg fault is typically not a good day |
| 2021-04-15 16:17:34 +0200 | <tdammers> | maybe worth mentioning that all practical general-purpose languages are partial |
| 2021-04-15 16:17:38 +0200 | <merijn> | It's a great day |
| 2021-04-15 16:17:49 +0200 | <merijn> | It's not getting a segfault that makes your life shit |
| 2021-04-15 16:18:08 +0200 | <hyperisco> | okay I guess I like shit |
| 2021-04-15 16:18:09 +0200 | <kuribas> | hyperisco: the problem with a segfault is that it is hard to track. |
| 2021-04-15 16:18:25 +0200 | <merijn> | What? segfaults are trivial to track |
| 2021-04-15 16:18:29 +0200 | <merijn> | You get a coredump |
| 2021-04-15 16:18:36 +0200 | <merijn> | It's silent memory corruption that's hell |
| 2021-04-15 16:18:38 +0200 | <kuribas> | merijn: then what? gdb? |
| 2021-04-15 16:18:43 +0200 | <merijn> | kuribas: Yes |
| 2021-04-15 16:18:47 +0200 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-04-15 16:18:54 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 16:19:03 +0200 | <hyperisco> | we're talking about different leagues of difficulty here lol |
| 2021-04-15 16:19:05 +0200 | <kuribas> | merijn: how do I map that to a haskell function? |
| 2021-04-15 16:19:06 +0200 | <merijn> | kuribas: Much better than "some state got corrupted by write to a dangling pointer that didn't segfault and now memory is consistent" |
| 2021-04-15 16:19:17 +0200 | <tdammers> | segfaults aren't hard to track. the only problem with them is that they're in the "prove the presence of a bug" class, not the "prove the absence of a bug" class |
| 2021-04-15 16:19:19 +0200 | <merijn> | kuribas: GHC supports DWARF symbols now |
| 2021-04-15 16:19:31 +0200 | <hyperisco> | a simple error to me is you run the program, you get an error, and from that you immediately know where and what in the program is wrong |
| 2021-04-15 16:19:35 +0200 | <merijn> | (actually has since 8.0?) |
| 2021-04-15 16:19:43 +0200 | <hyperisco> | intuitively, not stepping through a debugger |
| 2021-04-15 16:19:57 +0200 | <merijn> | hyperisco: That's nice, but entirely unrelated to "total" or "not total" |
| 2021-04-15 16:19:59 +0200 | <hyperisco> | if you have to start stepping through a debugger you're in a bad place |
| 2021-04-15 16:20:32 +0200 | <merijn> | (or partiality for that matter) |
| 2021-04-15 16:21:00 +0200 | <hyperisco> | I don't understand how you can make that assertion |
| 2021-04-15 16:21:44 +0200 | <maerwald> | hm, we only have one dwarf bindist though |
| 2021-04-15 16:21:46 +0200 | <merijn> | You can have partial functions with great errors and total functions with shit errors |
| 2021-04-15 16:22:06 +0200 | <merijn> | "quality of error" and partiality are entirely orthogonal |
| 2021-04-15 16:22:21 +0200 | <hyperisco> | I didn't say otherwise |
| 2021-04-15 16:22:38 +0200 | <merijn> | hyperisco: I'm confused why we are even talking about quality of errors, though? |
| 2021-04-15 16:22:51 +0200 | <tdammers> | also, you don't usually step when debugging a segfault. or at least, I don't. |
| 2021-04-15 16:22:53 +0200 | <hyperisco> | because kuribas was talking about it |
| 2021-04-15 16:22:53 +0200 | <merijn> | The discussion started with "is partiality important or not" |
| 2021-04-15 16:22:54 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-prwjffdraokbcpct) |
| 2021-04-15 16:23:11 +0200 | <ij> | re fgl: the interface isn't hidden, it's just type Gr = IntMap, so IntMap.toList should do :) |
| 2021-04-15 16:23:23 +0200 | <kuribas> | merijn: not important, but acceptable. |
| 2021-04-15 16:23:23 +0200 | <tdammers> | I use gdb to find the pointer that segfaults, and then I either stare the bug down with that information, or I pepper the code with tests to rule out all the error conditions I can think of. |
| 2021-04-15 16:23:24 +0200 | <ij> | view source button from hackage docs is amazing |
| 2021-04-15 16:23:27 +0200 | <tdammers> | that usually does the trick. |
| 2021-04-15 16:23:40 +0200 | <tdammers> | I think I haven't step-debugged anything in over a decade now |
| 2021-04-15 16:23:46 +0200 | <kuribas> | tdammers: that doesn't sound low-effort |
| 2021-04-15 16:23:56 +0200 | <tdammers> | it is, though |
| 2021-04-15 16:24:11 +0200 | <maerwald> | writing tests to find a bug sounds too much like an engineer |
| 2021-04-15 16:24:14 +0200 | <maerwald> | :p |
| 2021-04-15 16:24:14 +0200 | <merijn> | tdammers: It's mostly the issue of debuggers being shit, though |
| 2021-04-15 16:24:21 +0200 | <tdammers> | the idea is to not waste any time |
| 2021-04-15 16:24:35 +0200 | <merijn> | tdammers: Allinea DDT was some amazing shit |
| 2021-04-15 16:24:47 +0200 | <tdammers> | step-debugging is frugal - the moment you step away from a line, the state in which your program was at that moment is lost, only preserved in your brain |
| 2021-04-15 16:24:47 +0200 | <merijn> | tdammers: Of course it costs, like 100k per year per engineer :p |
| 2021-04-15 16:24:58 +0200 | <tdammers> | well yeah, debuggers being shit also contributes |
| 2021-04-15 16:25:11 +0200 | <merijn> | Good debuggers exist, but people charge :p |
| 2021-04-15 16:25:30 +0200 | <maerwald> | my debugger is printf |
| 2021-04-15 16:25:33 +0200 | <tdammers> | but the fundamental problem remains that step-debugging is usually ad-hoc and unprincipled |
| 2021-04-15 16:25:36 +0200 | <maerwald> | screw everything else |
| 2021-04-15 16:25:45 +0200 | <tdammers> | even printf-debugging is more principled than step debugging |
| 2021-04-15 16:26:25 +0200 | <maerwald> | also, gdb acts weird with O2 sometimes and some bugs disappear with O0 |
| 2021-04-15 16:26:51 +0200 | <merijn> | maerwald: printf is my default too, tbh |
| 2021-04-15 16:27:03 +0200 | <kuribas> | hyperisco: the usecase is this, I want to make a combinator library for generating some javascript, and some combinations are invalid. Proving them invalid in code makes the types complicated, requires typeclasses, phantom types, etc... however doing it using a runtime error is relatively easy. |
| 2021-04-15 16:27:10 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2021-04-15 16:27:54 +0200 | <tdammers> | kuribas: in that case, the standard Haskell approach would be to lock down what you can with types, within reason, and use property testing to deal with the rest |
| 2021-04-15 16:28:17 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) ("WeeChat 3.0.1") |
| 2021-04-15 16:28:21 +0200 | <hyperisco> | kuribas, I wouldn't bother then |
| 2021-04-15 16:28:43 +0200 | <kuribas> | tdammers: how would property testing help the user get it right? |
| 2021-04-15 16:29:26 +0200 | <kuribas> | tdammers: or do you mean the user should property test their use? |
| 2021-04-15 16:29:55 +0200 | <kuribas> | I guess unit tests will help, not sure how to make property tests for the generated javascript... |
| 2021-04-15 16:32:01 +0200 | <tdammers> | I meant property-test the combinators to make sure they meet the specification |
| 2021-04-15 16:32:04 +0200 | <dolio> | Are you talking about giving a 'runtime error' during the generation of the JS? Because that sounds like in this scenario it's actually a static error. |
| 2021-04-15 16:32:25 +0200 | <tdammers> | ^ that |
| 2021-04-15 16:32:27 +0200 | <dolio> | Which is precisely what the 'total functions' are supposed to accomplish in the scenarios you're talking about. |
| 2021-04-15 16:33:32 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) |
| 2021-04-15 16:33:58 +0200 | __minoru__shirae | (~shiraeesh@109.166.58.151) |
| 2021-04-15 16:34:48 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-15 16:35:16 +0200 | tv | (~tv@unaffiliated/tv) (Ping timeout: 252 seconds) |
| 2021-04-15 16:35:37 +0200 | <kuribas> | dolio: yeah |
| 2021-04-15 16:36:01 +0200 | <dolio> | The analogue of what people dislike about partial functions would be your tool saying nothing, but generating JS that fails for customers instead. |
| 2021-04-15 16:42:03 +0200 | <kuribas> | indeed |
| 2021-04-15 16:42:59 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:b785:70ea:2ff6:8e22) (Ping timeout: 260 seconds) |
| 2021-04-15 16:46:17 +0200 | Wizek | (uid191769@gateway/web/irccloud.com/x-rypqrtfuoeoxlmkt) |
| 2021-04-15 16:47:13 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-15 16:48:29 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-15 16:53:32 +0200 | knupfer | (~Thunderbi@200116b82be60c00402734a0c266fa8b.dip.versatel-1u1.de) (Ping timeout: 258 seconds) |
| 2021-04-15 16:54:43 +0200 | tv | (~tv@unaffiliated/tv) |
| 2021-04-15 16:56:10 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-04-15 16:56:18 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:335e:738b:9066:e6) |
| 2021-04-15 16:56:34 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-15 16:57:10 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-15 16:59:47 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-15 17:02:58 +0200 | <absence> | maralorn: cool, thanks |
| 2021-04-15 17:02:58 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-15 17:03:03 +0200 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 260 seconds) |
| 2021-04-15 17:06:19 +0200 | malumore | (~malumore@151.62.126.218) (Remote host closed the connection) |
| 2021-04-15 17:06:57 +0200 | malumore | (~malumore@151.62.126.218) |
| 2021-04-15 17:07:44 +0200 | knupfer | (~Thunderbi@i577BCD8A.versanet.de) |
| 2021-04-15 17:08:57 +0200 | alx741 | (~alx741@181.196.69.92) |
| 2021-04-15 17:10:14 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
| 2021-04-15 17:11:50 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 17:13:47 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:6755:5277:6a5:378b) (Ping timeout: 260 seconds) |
| 2021-04-15 17:15:24 +0200 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) |
| 2021-04-15 17:15:59 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 2021-04-15 17:16:14 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 17:18:19 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
| 2021-04-15 17:19:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 17:20:45 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Client Quit) |
| 2021-04-15 17:20:53 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-15 17:22:18 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 17:22:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-15 17:23:25 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
| 2021-04-15 17:30:18 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-sdeodmvqokbrtcvh) |
| 2021-04-15 17:30:22 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 17:31:49 +0200 | rmk236 | (~lcampos@2a02:908:3616:b100:7f3a:e025:cd55:2b03) (Remote host closed the connection) |
| 2021-04-15 17:32:46 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 2021-04-15 17:34:40 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 2021-04-15 17:35:30 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-15 17:36:59 +0200 | LKoen_ | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 17:38:04 +0200 | graf_blutwurst | (~user@2001:171b:226e:adc0:24b2:5439:95f2:6db1) (Remote host closed the connection) |
| 2021-04-15 17:39:12 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2021-04-15 17:40:28 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-15 17:40:48 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-15 17:41:02 +0200 | cloudpip | (sid67735@gateway/web/irccloud.com/x-lqqwgjfhbduhzygo) (Changing host) |
| 2021-04-15 17:41:02 +0200 | cloudpip | (sid67735@unixcorps/staff/pippijn) |
| 2021-04-15 17:41:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 17:45:02 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 2021-04-15 17:46:37 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-15 17:46:54 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 17:47:49 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-04-15 17:48:25 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-04-15 17:53:37 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-15 17:53:46 +0200 | <shapr> | Does cabal support "find all source files in specified directory" ? That is, can cabal automatically create an export module list? |
| 2021-04-15 17:53:49 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
| 2021-04-15 17:54:31 +0200 | <edwardk> | shapr: no |
| 2021-04-15 17:54:33 +0200 | <geekosaur> | no. iirc that's one of the big reasons people prefer stack's package.yaml even though it's less capable in other ways |
| 2021-04-15 17:54:38 +0200 | <edwardk> | shapr: you can do that through the stack toolchain |
| 2021-04-15 17:54:58 +0200 | Guest61024 | (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-15 17:55:03 +0200 | <shapr> | edwardk: we want to switch from stack to cabal at work, so I'm checking feature parity |
| 2021-04-15 17:55:35 +0200 | <shapr> | I've seen many cases where stack does more rebuilding than cabal when module change, but I haven't pinned it down to specifics. |
| 2021-04-15 17:55:44 +0200 | <edwardk> | you can still use package.yaml through whatever tool it was that produces it |
| 2021-04-15 17:55:56 +0200 | <edwardk> | er consumes it |
| 2021-04-15 17:56:09 +0200 | <shapr> | so, use hpack to produce a cabal file? |
| 2021-04-15 17:56:12 +0200 | <edwardk> | yeah |
| 2021-04-15 17:56:16 +0200 | <sclv> | right, if you want autodiscovery |
| 2021-04-15 17:56:26 +0200 | <sclv> | imho its overrated as a feature for production |
| 2021-04-15 17:56:29 +0200 | <edwardk> | then you can just use the cabal toolchain from there |
| 2021-04-15 17:56:34 +0200 | <shapr> | we also mentioned https://github.com/deech/cabal-auto-expose but I don't think anyone has tried it. |
| 2021-04-15 17:56:40 +0200 | <sclv> | its really just handy for sort of experimental projects |
| 2021-04-15 17:56:50 +0200 | <edwardk> | my concern with stack is mostly that the moment i want backpack multiple public libs to shrink my maintenance burden, etc. i get stuck |
| 2021-04-15 17:57:06 +0200 | <Franciman> | stack is the inferior solution |
| 2021-04-15 17:57:10 +0200 | <sclv> | but yeah, package.yaml vs cabal files is actually orthogonal to cabal/stack |
| 2021-04-15 17:57:15 +0200 | <shapr> | Franciman: for some things! not for other things |
| 2021-04-15 17:57:20 +0200 | <sclv> | its just stack runs stuff thru hpack by default |
| 2021-04-15 17:57:33 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-04-15 17:57:44 +0200 | <Franciman> | shapr, stackage is quite cool for example |
| 2021-04-15 17:57:52 +0200 | <Franciman> | but it does not require stack |
| 2021-04-15 17:57:57 +0200 | Alleria | Guest53443 |
| 2021-04-15 17:57:59 +0200 | <shapr> | Franciman: good point! |
| 2021-04-15 17:58:05 +0200 | <Franciman> | stack's ability to choose a ghc is not unique |
| 2021-04-15 17:58:15 +0200 | <shapr> | Last time I was teaching Haskell on windows stack was the best choice |
| 2021-04-15 17:58:16 +0200 | <Franciman> | you can use ghcup or vabal |
| 2021-04-15 17:58:24 +0200 | <shapr> | Franciman: I don't think ghcup works on windows |
| 2021-04-15 17:58:34 +0200 | <Franciman> | yup, that is a selling point for stack |
| 2021-04-15 17:58:38 +0200 | <shapr> | but I also don't have a wsl2 for testing |
| 2021-04-15 17:59:00 +0200 | <sclv> | ok can we Not have the big discussion again, lol |
| 2021-04-15 17:59:03 +0200 | <shapr> | Franciman: Yea, I prefer an explicit list of what tool is better for which situation |
| 2021-04-15 17:59:12 +0200 | <Franciman> | that makes sense |
| 2021-04-15 17:59:28 +0200 | <sclv> | that said -- on windows for heavy duty use the chocolatey way is really nice and idiomatic to windows ways of doing things |
| 2021-04-15 17:59:40 +0200 | <shapr> | that also makes it easier for me to update my list when features are added |
| 2021-04-15 17:59:43 +0200 | <sclv> | its only a bit problematic for extremely new users who are afraid of using like cmd line stuff |
| 2021-04-15 17:59:53 +0200 | JanBessai | (~JanB@85-22-21-116.ip.dokom21.de) |
| 2021-04-15 17:59:54 +0200 | <shapr> | sclv: I haven't done any Haskell dev on Windows, what's it like? |
| 2021-04-15 18:00:13 +0200 | <sclv> | chocolatey? its just the equivalent of brew for windows |
| 2021-04-15 18:00:17 +0200 | <shapr> | oh, neato |
| 2021-04-15 18:00:27 +0200 | <shapr> | I recently started using brew at work, it's ... okay |
| 2021-04-15 18:00:36 +0200 | <sclv> | tamar did a lot of work to make it work really cleanly with haskell |
| 2021-04-15 18:00:52 +0200 | <shapr> | I've found it easier to use nix to install things on mac |
| 2021-04-15 18:01:09 +0200 | <shapr> | well, not easier at first maybe, but to get consistently working installations of multiple tools |
| 2021-04-15 18:01:22 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 18:01:35 +0200 | <shapr> | Franciman: you writing any cool Haskell code? |
| 2021-04-15 18:01:45 +0200 | <Franciman> | I hope so :P |
| 2021-04-15 18:01:52 +0200 | <shapr> | ooh, what is it? |
| 2021-04-15 18:02:05 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 18:02:14 +0200 | <Franciman> | I am writing my programming language |
| 2021-04-15 18:02:17 +0200 | <shapr> | edwardk: so you need to parameterize your backpack builds and produce a pile of resulting artifacts? |
| 2021-04-15 18:02:23 +0200 | <Franciman> | and stuff for work which is less exciting |
| 2021-04-15 18:02:31 +0200 | <Franciman> | and you? |
| 2021-04-15 18:02:45 +0200 | <edwardk> | i use backpack to get code reuse for lots of unpacked data structures and the like |
| 2021-04-15 18:02:54 +0200 | <edwardk> | and to make lots of little compilers that all share logic |
| 2021-04-15 18:03:13 +0200 | <shapr> | I've written several things, but this weekend I want to figure out how to tune Haskell for command line utilities. I want to make this faster: https://github.com/shapr/bloohm |
| 2021-04-15 18:03:24 +0200 | <Franciman> | cool |
| 2021-04-15 18:03:56 +0200 | <shapr> | I want to write a blog post on "how to tune your Haskell for speedy command line utilities" |
| 2021-04-15 18:04:03 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-04-15 18:04:09 +0200 | <shapr> | but nothing like the usual edwardk post |
| 2021-04-15 18:04:26 +0200 | <Franciman> | it would be pretty interesting for me. Are you going to cover ghc profiler and laziness inspection? |
| 2021-04-15 18:04:31 +0200 | <shapr> | more like "single threaded runtime will give you better latency" |
| 2021-04-15 18:04:38 +0200 | <shapr> | Franciman: I want to! |
| 2021-04-15 18:04:47 +0200 | <shapr> | I could certainly talk about profiling |
| 2021-04-15 18:04:55 +0200 | apep11 | (~nikola@178.220.246.127) |
| 2021-04-15 18:04:57 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-ylxdmaadjlaxocvo) |
| 2021-04-15 18:05:13 +0200 | <shapr> | I'm not sure of the best way to talk about laziness inspection, I just learned about nothunks but that might be overkill? |
| 2021-04-15 18:05:27 +0200 | <shapr> | this https://well-typed.com/blog/2020/09/nothunks/ |
| 2021-04-15 18:05:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 18:06:23 +0200 | <Franciman> | i would definitely read it, then |
| 2021-04-15 18:06:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-15 18:06:47 +0200 | pippijn | (~pippijn@unixcorps/staff/pippijn) () |
| 2021-04-15 18:07:24 +0200 | <shapr> | edwardk: when will the comonad reader get new posts? |
| 2021-04-15 18:07:33 +0200 | <shapr> | I'm considering rebooting The Monad.Reader |
| 2021-04-15 18:07:35 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-15 18:07:36 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 18:07:51 +0200 | <shapr> | but first, the international obfuscated haskell code contest will soon be announced! |
| 2021-04-15 18:07:57 +0200 | coeus | (~coeus@p200300d0273ad90060e5967a49164cd4.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-15 18:08:20 +0200 | <shapr> | This IRC channel turns twenty on April 30th ! w00! |
| 2021-04-15 18:10:36 +0200 | <edwardk> | shapr: not sure. might work on an actual paper first |
| 2021-04-15 18:11:03 +0200 | <shapr> | ah, fair enough |
| 2021-04-15 18:11:06 +0200 | <edwardk> | and miri is keeping me busy, plus i'm now engaged over at groq |
| 2021-04-15 18:11:23 +0200 | <sclv> | groq? |
| 2021-04-15 18:12:54 +0200 | Javier12 | (5882311d@mue-88-130-49-029.dsl.tropolys.de) |
| 2021-04-15 18:13:13 +0200 | <Javier12> | Hello |
| 2021-04-15 18:13:26 +0200 | <Javier12> | I'm trying to understand a bit more the source code of the Reader Monad |
| 2021-04-15 18:13:33 +0200 | <Javier12> | here: https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#asks |
| 2021-04-15 18:14:05 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-15 18:14:47 +0200 | <Javier12> | But I don't understand how the class is defined `class Monad m => MonadReader r m | m -> r where` |
| 2021-04-15 18:14:47 +0200 | <Javier12> | what does "| m -> r " mean here? |
| 2021-04-15 18:15:32 +0200 | <kuribas> | Javier12: it means the type variable r is completely determined by the type variable m |
| 2021-04-15 18:15:40 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-15 18:15:49 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
| 2021-04-15 18:15:54 +0200 | <kuribas> | Javier12: in other words, give some type m, there is only one possible value of r |
| 2021-04-15 18:16:13 +0200 | <qwerty2o> | hi |
| 2021-04-15 18:16:58 +0200 | <qwerty2o> | i remeber there was a function that would clamp numbers like if its bigger than 0 then it would return 1, and if it's smaller, than -1 |
| 2021-04-15 18:17:12 +0200 | <qwerty2o> | can anyone tell me what that function's name is? |
| 2021-04-15 18:17:28 +0200 | <Rembane> | Sounds like something in Num |
| 2021-04-15 18:18:18 +0200 | <kuribas> | qwerty2o: min 1 . max (-1) ? |
| 2021-04-15 18:18:32 +0200 | <falsifian> | signum |
| 2021-04-15 18:19:08 +0200 | <falsifian> | It can be called the "sign function" if you want to search for it. |
| 2021-04-15 18:19:12 +0200 | <qwerty2o> | yess signum |
| 2021-04-15 18:19:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-15 18:19:14 +0200 | <qwerty2o> | thanks |
| 2021-04-15 18:20:03 +0200 | cloudpip | (sid67735@unixcorps/staff/pippijn) () |
| 2021-04-15 18:20:25 +0200 | <Javier12> | thanks kuribas do you know the term for this so I can search more information about it? |
| 2021-04-15 18:20:36 +0200 | <kuribas> | Javier12: functional dependencies |
| 2021-04-15 18:21:58 +0200 | <Javier12> | Thanks for the hint kuribas! |
| 2021-04-15 18:22:21 +0200 | <kuribas> | np |
| 2021-04-15 18:24:03 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-15 18:24:37 +0200 | coeus | (~coeus@p200300d027204600c2a89676bae3842b.dip0.t-ipconnect.de) |
| 2021-04-15 18:25:06 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) (Ping timeout: 240 seconds) |
| 2021-04-15 18:31:28 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Disconnected: Replaced by new connection") |
| 2021-04-15 18:32:43 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-15 18:36:29 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 18:38:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 18:43:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-15 18:43:28 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 18:44:57 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
| 2021-04-15 18:46:49 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 18:48:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-04-15 18:49:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-15 18:51:09 +0200 | sandokan | (~sandokan@213-66-41-118-no99.tbcn.telia.com) |
| 2021-04-15 18:52:24 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-prwjffdraokbcpct) (Quit: Connection closed for inactivity) |
| 2021-04-15 18:52:55 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 18:54:04 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-15 18:54:53 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-bkftvygbpflsjbzd) (Quit: Connection closed for inactivity) |
| 2021-04-15 18:55:08 +0200 | sandokan | (~sandokan@213-66-41-118-no99.tbcn.telia.com) (Client Quit) |
| 2021-04-15 18:55:18 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-15 18:55:28 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 19:00:05 +0200 | conkker | (~conkker@unaffiliated/conkker) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-15 19:02:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-04-15 19:02:34 +0200 | ihower | (~ihower@139.28.218.148) |
| 2021-04-15 19:03:39 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-15 19:04:41 +0200 | conkker | (~conkker@unaffiliated/conkker) |
| 2021-04-15 19:05:35 +0200 | Wizek | (uid191769@gateway/web/irccloud.com/x-rypqrtfuoeoxlmkt) (Quit: Connection closed for inactivity) |
| 2021-04-15 19:11:53 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) (Ping timeout: 240 seconds) |
| 2021-04-15 19:12:30 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-15 19:12:45 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 19:14:06 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-15 19:14:40 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 19:16:53 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 19:21:22 +0200 | nvmd | (~nvmd@177.30.111.232) |
| 2021-04-15 19:21:33 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-15 19:21:57 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-15 19:23:14 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-15 19:24:27 +0200 | bgamari | (~bgamari@2001:470:e438::1) (Ping timeout: 260 seconds) |
| 2021-04-15 19:25:11 +0200 | bgamari | (~bgamari@72.65.101.132) |
| 2021-04-15 19:26:30 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-15 19:26:58 +0200 | vnz | (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in) |
| 2021-04-15 19:27:29 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-15 19:28:19 +0200 | vnz | (~vnz@51.15.143.225) |
| 2021-04-15 19:28:19 +0200 | vnz | (~vnz@51.15.143.225) (Changing host) |
| 2021-04-15 19:28:19 +0200 | vnz | (~vnz@unaffiliated/vnz) |
| 2021-04-15 19:30:24 +0200 | bitmagie | (~Thunderbi@200116b806d5f900681f510c94b2ab70.dip.versatel-1u1.de) |
| 2021-04-15 19:30:27 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-15 19:30:54 +0200 | bitmagie | (~Thunderbi@200116b806d5f900681f510c94b2ab70.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-15 19:32:39 +0200 | hexfive | (~hexfive@50.35.83.177) |
| 2021-04-15 19:34:01 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-04-15 19:35:23 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-15 19:39:08 +0200 | vnz | (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in) |
| 2021-04-15 19:39:28 +0200 | apep11 | (~nikola@178.220.246.127) (Quit: leaving) |
| 2021-04-15 19:40:29 +0200 | vnz | (~vnz@51.15.143.225) |
| 2021-04-15 19:40:29 +0200 | vnz | (~vnz@51.15.143.225) (Changing host) |
| 2021-04-15 19:40:29 +0200 | vnz | (~vnz@unaffiliated/vnz) |
| 2021-04-15 19:42:21 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 19:44:47 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) |
| 2021-04-15 19:48:52 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-15 19:51:57 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.0) |
| 2021-04-15 19:54:36 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 19:55:41 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-15 19:55:56 +0200 | jbetz_ | (uid283648@gateway/web/irccloud.com/x-ebjzdarufjrfhfrh) |
| 2021-04-15 19:56:27 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-15 19:57:23 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-15 19:59:00 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:70d7:6a32:a3dc:7efa) |
| 2021-04-15 20:03:40 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:70d7:6a32:a3dc:7efa) (Ping timeout: 258 seconds) |
| 2021-04-15 20:04:56 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 20:05:12 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 20:06:12 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-15 20:06:27 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer) |
| 2021-04-15 20:06:54 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) |
| 2021-04-15 20:07:32 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-15 20:09:01 +0200 | ram19890 | (~ram@49.206.125.108) (Quit: Konversation terminated!) |
| 2021-04-15 20:09:04 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-mitiigphbgxjtueq) (Quit: Connection closed for inactivity) |
| 2021-04-15 20:10:01 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-15 20:13:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-15 20:16:18 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-15 20:16:22 +0200 | horatiohb | (~horatiohb@165.227.120.74) |
| 2021-04-15 20:17:05 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-15 20:17:14 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-15 20:17:25 +0200 | aerona | (~aerona@2600:6c54:4600:f300:9051:460a:b720:8d59) |
| 2021-04-15 20:21:06 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 252 seconds) |
| 2021-04-15 20:23:00 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:511c:6dec:57c0:cac4) |
| 2021-04-15 20:23:57 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.0) |
| 2021-04-15 20:25:54 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Ping timeout: 258 seconds) |
| 2021-04-15 20:26:15 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-15 20:27:57 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-15 20:33:48 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-15 20:34:41 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 20:35:24 +0200 | Javier12 | (5882311d@mue-88-130-49-029.dsl.tropolys.de) (Quit: Connection closed) |
| 2021-04-15 20:38:12 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Client Quit) |
| 2021-04-15 20:38:52 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 20:38:55 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c480:4201:b48b:2c9b) |
| 2021-04-15 20:39:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 20:39:08 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 20:40:45 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-15 20:41:02 +0200 | drakonis | (~drakonis@unaffiliated/drakonis) ("WeeChat 3.1") |
| 2021-04-15 20:46:16 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:511c:6dec:57c0:cac4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 20:46:40 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-15 20:47:52 +0200 | l8star__ | (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) |
| 2021-04-15 20:48:08 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 258 seconds) |
| 2021-04-15 20:48:29 +0200 | slac17915 | (~slack1256@191.113.238.246) |
| 2021-04-15 20:50:32 +0200 | slack1256 | (~slack1256@191.113.234.51) (Ping timeout: 246 seconds) |
| 2021-04-15 20:50:40 +0200 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2021-04-15 20:51:39 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-15 20:51:45 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:511c:6dec:57c0:cac4) |
| 2021-04-15 20:51:52 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-15 20:52:44 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-15 20:53:30 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-15 20:56:26 +0200 | malumore | (~malumore@151.62.126.218) (Ping timeout: 240 seconds) |
| 2021-04-15 20:57:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 20:58:24 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-15 20:59:53 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 21:00:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-15 21:01:03 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving) |
| 2021-04-15 21:01:19 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 21:01:26 +0200 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 21:01:33 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-04-15 21:02:05 +0200 | esp32_prog | (~esp32_pro@37.120.201.122) |
| 2021-04-15 21:05:26 +0200 | Javier62 | (5882311d@mue-88-130-49-029.dsl.tropolys.de) |
| 2021-04-15 21:05:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 21:05:58 +0200 | Javier62 | (5882311d@mue-88-130-49-029.dsl.tropolys.de) (Client Quit) |
| 2021-04-15 21:06:59 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-15 21:10:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 21:12:24 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 21:12:35 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 21:13:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-15 21:14:09 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 21:14:52 +0200 | malumore | (~malumore@151.62.126.218) |
| 2021-04-15 21:15:06 +0200 | __minoru__shirae | (~shiraeesh@109.166.58.151) (Ping timeout: 240 seconds) |
| 2021-04-15 21:15:15 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-04-15 21:15:27 +0200 | __minoru__shirae | (~shiraeesh@109.166.58.206) |
| 2021-04-15 21:16:44 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 21:16:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 21:17:05 +0200 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-04-15 21:18:01 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-15 21:18:28 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 2021-04-15 21:19:08 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) |
| 2021-04-15 21:20:01 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 21:20:24 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-04-15 21:20:45 +0200 | sm2n_ | sm2n |
| 2021-04-15 21:20:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-15 21:22:04 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 21:23:00 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-15 21:25:52 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 21:37:03 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 21:37:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 21:37:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 21:37:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-15 21:41:10 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-15 21:42:06 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-15 21:42:31 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-04-15 21:43:33 +0200 | Sorny | (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-15 21:44:05 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-15 21:44:33 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-15 21:45:29 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-15 21:48:41 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 260 seconds) |
| 2021-04-15 21:52:38 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-15 21:52:45 +0200 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-15 21:52:54 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-15 21:54:12 +0200 | <myShoggoth> | gonna start streaming at the top of the hour, reading more GHC GC code: https://www.twitch.tv/myshoggoth |
| 2021-04-15 21:55:35 +0200 | loller_ | (uid358106@gateway/web/irccloud.com/x-vwcbjpedwymxmltm) |
| 2021-04-15 21:56:04 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-15 21:56:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-15 21:57:34 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-15 21:58:31 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-15 21:59:22 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-15 21:59:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 22:01:07 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-15 22:02:55 +0200 | <Philonous> | Franciman, stackage doesn't strictly speaking require stack, but all the waiys to actually use it directly with cabal have some snags |
| 2021-04-15 22:03:14 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 22:03:40 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-15 22:04:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 22:04:58 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-15 22:06:06 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-15 22:06:58 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 22:08:40 +0200 | <Philonous> | edwardk, Since you're at MIRI, do you work with Eliezer Yudkowsky? |
| 2021-04-15 22:08:58 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-15 22:09:00 +0200 | <Franciman> | Philonous, I have great perplexities in fact |
| 2021-04-15 22:09:07 +0200 | <Franciman> | stackage in practice is almost locked in vendor |
| 2021-04-15 22:09:12 +0200 | <Franciman> | they tell you to use stack |
| 2021-04-15 22:09:14 +0200 | <Franciman> | to use their server |
| 2021-04-15 22:09:22 +0200 | <Franciman> | to use their infrastructure |
| 2021-04-15 22:11:14 +0200 | <Philonous> | I don't think they intentionally lock you in, you are welcome to use it however you like, but the stack guys have IMO always been very "shoot first and worry about compatibility later" |
| 2021-04-15 22:11:44 +0200 | slac17915 | slack1256 |
| 2021-04-15 22:11:49 +0200 | <Philonous> | Which isn't necessarily bad. Stack worked impressively well when cabal was a big pain. |
| 2021-04-15 22:13:34 +0200 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-04-15 22:14:09 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-15 22:14:50 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 22:15:10 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-15 22:16:41 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2021-04-15 22:17:43 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-15 22:19:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-15 22:27:33 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-15 22:28:01 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-04-15 22:31:15 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 22:32:44 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 22:33:27 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-15 22:34:09 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-15 22:34:50 +0200 | alx741 | (~alx741@181.196.69.92) (Ping timeout: 246 seconds) |
| 2021-04-15 22:35:31 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 22:36:41 +0200 | usr25 | (~J@33.red-83-63-129.staticip.rima-tde.net) |
| 2021-04-15 22:40:00 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-15 22:43:40 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-15 22:43:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 22:46:01 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-15 22:47:54 +0200 | alx741 | (~alx741@181.196.68.193) |
| 2021-04-15 22:47:59 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-15 22:48:00 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-04-15 22:48:00 +0200 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-04-15 22:48:43 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-15 22:48:54 +0200 | writenix | (~quassel@151.189.63.94.rev.vodafone.pt) |
| 2021-04-15 22:51:35 +0200 | writenix | (~quassel@151.189.63.94.rev.vodafone.pt) (Client Quit) |
| 2021-04-15 22:52:34 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-15 22:53:40 +0200 | __minoru__shirae | (~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds) |
| 2021-04-15 22:53:53 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-04-15 22:54:21 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Quit: Konversation terminated!) |
| 2021-04-15 22:54:35 +0200 | ghuntley | (sid16877@gateway/web/irccloud.com/x-qpvlvzzjxknipbhd) (Quit: Connection closed for inactivity) |
| 2021-04-15 22:56:48 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 2021-04-15 23:01:28 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-04-15 23:02:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 23:02:59 +0200 | hiroaki_ | (~hiroaki@2a02:908:4b18:8c40:8064:bb06:bb40:a0be) |
| 2021-04-15 23:03:47 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-15 23:03:54 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Disconnected by services) |
| 2021-04-15 23:03:55 +0200 | hyperisco_ | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-15 23:05:08 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-15 23:05:28 +0200 | LKoen_ | (~LKoen@65.250.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-04-15 23:06:01 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 23:06:04 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 23:06:40 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 23:06:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-15 23:06:57 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 23:06:58 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 23:07:29 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 23:07:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 23:07:40 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-15 23:08:32 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-15 23:09:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 23:09:56 +0200 | edge563 | (~edge563@gateway/tor-sasl/edge563) |
| 2021-04-15 23:10:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 23:11:30 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-04-15 23:11:49 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-15 23:13:21 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-15 23:13:47 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 23:14:13 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 23:20:17 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 23:20:44 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 23:21:18 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-15 23:23:08 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-04-15 23:24:51 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-15 23:25:20 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c480:4201:b48b:2c9b) (Quit: Leaving) |
| 2021-04-15 23:27:09 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 23:27:39 +0200 | michalz | (~user@185.246.204.44) ("Changed major mode") |
| 2021-04-15 23:27:45 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-15 23:28:13 +0200 | <maerwald> | Philonous: what problems have you seen when using stackage with cabal? |
| 2021-04-15 23:28:17 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 23:28:42 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 23:28:58 +0200 | <maerwald> | I have done so myself with relatively high success... the problem is only converting the snapshot and the stack configuration correctly |
| 2021-04-15 23:29:09 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-15 23:29:35 +0200 | <maerwald> | @hackage stack2cabal |
| 2021-04-15 23:29:36 +0200 | <lambdabot> | https://hackage.haskell.org/package/stack2cabal |
| 2021-04-15 23:32:15 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-15 23:34:35 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
| 2021-04-15 23:36:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 23:36:24 +0200 | knupfer | (~Thunderbi@i577BCD8A.versanet.de) (Ping timeout: 268 seconds) |
| 2021-04-15 23:37:58 +0200 | <maerwald> | the other problem is that it's hard to manually tell cabal which revision of a package you want |
| 2021-04-15 23:38:10 +0200 | <maerwald> | you can only do so implicitly via the index state |
| 2021-04-15 23:39:02 +0200 | <sclv> | i know its not perfect, but ideally one would always want the latest revision (if this isn't true, the revision was done weirdly/wrongly) |
| 2021-04-15 23:40:45 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 250 seconds) |
| 2021-04-15 23:41:24 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-04-15 23:42:51 +0200 | slack1256 | (~slack1256@191.113.238.246) (Ping timeout: 260 seconds) |
| 2021-04-15 23:43:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-15 23:44:20 +0200 | <maerwald> | sclv: not necessarily |
| 2021-04-15 23:44:31 +0200 | <maerwald> | some revisions break build plans |
| 2021-04-15 23:44:42 +0200 | <sclv> | right but they shouldn't |
| 2021-04-15 23:44:48 +0200 | <sclv> | they should only rule out invalid builds |
| 2021-04-15 23:44:49 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-15 23:45:02 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 23:45:09 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-15 23:45:42 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-15 23:46:31 +0200 | <maerwald> | I forgot why that doesn't work, I think because you can't have build plans per GHC version |
| 2021-04-15 23:46:44 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-15 23:47:13 +0200 | <sclv> | you can often use base as a proxy |
| 2021-04-15 23:47:41 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) |
| 2021-04-15 23:48:19 +0200 | <maerwald> | I'm aware of the GHC-base relationship |
| 2021-04-15 23:48:30 +0200 | thblt | (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 2021-04-15 23:49:13 +0200 | malumore | (~malumore@151.62.126.218) (Remote host closed the connection) |
| 2021-04-15 23:49:39 +0200 | Franciman | (~francesco@host-212-171-46-208.pool212171.interbusiness.it) (Quit: Leaving) |
| 2021-04-15 23:49:47 +0200 | malumore | (~malumore@151.62.126.218) |
| 2021-04-15 23:50:16 +0200 | <Philonous> | @maerwald, You can download the stackage snaptshot as a cabal.confg directly, e.g. https://www.stackage.org/lts-17.9/cabal.config |
| 2021-04-15 23:50:16 +0200 | <lambdabot> | Unknown command, try @list |
| 2021-04-15 23:50:26 +0200 | <Philonous> | Oops |
| 2021-04-15 23:50:36 +0200 | <maerwald> | sclv: https://github.com/ekmett/contravariant/issues/61 |
| 2021-04-15 23:50:38 +0200 | <Philonous> | But as the file says, that sometimes fails because of revisions |
| 2021-04-15 23:50:48 +0200 | <maerwald> | Philonous: stack2cabal does a better job at that |
| 2021-04-15 23:51:05 +0200 | <maerwald> | sclv: "However, when I actually did bump these version bounds, I discovered that contravariant fails to build with StateVar-1.2 on old GHCs due to changes in Safe Haskell behavior. See here for an example of the error that occurred." |
| 2021-04-15 23:51:12 +0200 | <Philonous> | Ah, I didn't know about that tool. Maybe that would be the best of both worlds then |
| 2021-04-15 23:51:23 +0200 | <maerwald> | so they changed an upper bound, because of failures of an old GHC version |
| 2021-04-15 23:51:44 +0200 | <maerwald> | you can't specify upper bounds depending on GHC versions |
| 2021-04-15 23:52:26 +0200 | <maerwald> | either you drop the old GHC version as unsupported, or you revert something that works for *some* GHC versions |
| 2021-04-15 23:52:33 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Remote host closed the connection) |
| 2021-04-15 23:52:45 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 23:52:51 +0200 | <maerwald> | and those who had a valid build plan now have a solver error |
| 2021-04-15 23:52:52 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Remote host closed the connection) |
| 2021-04-15 23:53:02 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 23:53:31 +0200 | <maerwald> | but not sure that's something relevant for stackage, since it's allow-newer anyway |
| 2021-04-15 23:53:39 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Remote host closed the connection) |
| 2021-04-15 23:53:46 +0200 | vs^ | (vs@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-15 23:53:50 +0200 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-04-15 23:53:53 +0200 | <sclv> | interesting! |
| 2021-04-15 23:54:22 +0200 | <maerwald> | but I think a revision update could theoretically add or remove platform support as well |
| 2021-04-15 23:54:26 +0200 | ddellacosta | (~ddellacos@86.106.143.222) (Remote host closed the connection) |
| 2021-04-15 23:55:22 +0200 | <maerwald> | IMO, they were a mistake and stem out of the necessity to fix stuff on hackage without making releases bypassing maintainers |
| 2021-04-15 23:55:55 +0200 | <maerwald> | but that's the error of PVP |
| 2021-04-15 23:55:59 +0200 | <maerwald> | not having revisions |
| 2021-04-15 23:56:16 +0200 | <sclv> | i mean the issue you linked seems fine -- the revision turned out to not be safe (monotone) and so was reverted |
| 2021-04-15 23:56:18 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-15 23:56:19 +0200 | <sclv> | and a new version was released |
| 2021-04-15 23:56:30 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 23:56:40 +0200 | <sclv> | you need revisions to make things work even if maintainers do them themselves tho |
| 2021-04-15 23:56:42 +0200 | <maerwald> | sclv: now cabal freezez index state too, so you don't hit such problems |
| 2021-04-15 23:56:51 +0200 | <sclv> | otherwise you can't ever fix wrong metadata |
| 2021-04-15 23:56:55 +0200 | <maerwald> | the linked revision update broke CI in production |
| 2021-04-15 23:56:57 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:10d3:95f2:684:2a30) |
| 2021-04-15 23:57:08 +0200 | <sclv> | no that was the revision _reversion_ that broke things |
| 2021-04-15 23:57:15 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:10d3:95f2:684:2a30) (Client Quit) |
| 2021-04-15 23:57:24 +0200 | <maerwald> | no, that was an added revision |
| 2021-04-15 23:57:39 +0200 | <maerwald> | you can't revert a revision, you can only add new ones |
| 2021-04-15 23:57:42 +0200 | <sclv> | first there was a revision to allow StateVar to be higher, and they moved to that |
| 2021-04-15 23:57:57 +0200 | <sclv> | right then they reverted it with a new revision, and then moving to that lower bound again broke things |
| 2021-04-15 23:58:04 +0200 | <sclv> | because that was a _nonmonotone_ revision |
| 2021-04-15 23:59:08 +0200 | <sclv> | and yeah its unfortunate that a situation like that (fixing an erronious revision) can lead to nonmonotone behavior |
| 2021-04-15 23:59:32 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 240 seconds) |
| 2021-04-15 23:59:52 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2b:3073:f6f8:6923) |