| 2021-05-18 00:00:06 +0200 | <refried_> | Hi there... is there a way I can register an IO action to be run on process exit? |
| 2021-05-18 00:00:17 +0200 | <refried_> | googling and hoogling hasn't gotten me anywhere |
| 2021-05-18 00:00:29 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) (Ping timeout: 250 seconds) |
| 2021-05-18 00:02:26 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-18 00:02:47 +0200 | <boxscape> | refried_ depending on your situation you might be able to use forkFinally to achieve something similar? |
| 2021-05-18 00:03:03 +0200 | <monochrom> | I wouldn't think "register hook". I would think "try ... finally", in which case there is "finally" in Control.Exception |
| 2021-05-18 00:03:39 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-18 00:03:46 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 00:03:55 +0200 | <refried_> | boxscape thanks i'll check it out. monochrom this is for debugging so don't want to change much with the application |
| 2021-05-18 00:04:10 +0200 | <monochrom> | Then again, given "finally", you can now code up your own registry. |
| 2021-05-18 00:05:51 +0200 | <refried_> | monochrom hmm I see |
| 2021-05-18 00:07:19 +0200 | aezarebski | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-18 00:07:57 +0200 | wroathe | (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2021-05-18 00:08:01 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 00:08:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 00:09:59 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-18 00:10:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Ping timeout: 245 seconds) |
| 2021-05-18 00:10:59 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-18 00:11:21 +0200 | falafel | (~falafel@cpe-70-93-65-166.natsow.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-05-18 00:11:35 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 00:11:46 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-18 00:12:20 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) |
| 2021-05-18 00:14:01 +0200 | LKoen | (~LKoen@2a01cb0407597a00ad8da624e122913c.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-18 00:14:11 +0200 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-05-18 00:14:39 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:48ba:635:8684:1c7d) (Quit: Leaving) |
| 2021-05-18 00:15:10 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 00:16:13 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-18 00:17:50 +0200 | patlv_ | (~patlv@unaffiliated/patlv) |
| 2021-05-18 00:19:02 +0200 | refried_ | (9a1d83d6@154.29.131.214) (Ping timeout: 240 seconds) |
| 2021-05-18 00:19:33 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-18 00:21:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 00:23:00 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-18 00:23:34 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-18 00:27:08 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 246 seconds) |
| 2021-05-18 00:30:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 00:32:33 +0200 | tsaka__ | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-18 00:32:59 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-18 00:34:40 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-18 00:37:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 00:37:43 +0200 | bone-baboon | (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) ("Using Circe, the loveliest of all IRC clients") |
| 2021-05-18 00:41:29 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-18 00:41:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 00:41:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-18 00:42:33 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-18 00:42:46 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 00:47:11 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-18 00:50:05 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2021-05-18 00:50:46 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 00:52:08 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-18 00:52:12 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 00:52:32 +0200 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-18 00:52:36 +0200 | vnz | (~vnz@unaffiliated/vnz) (Write error: Connection reset by peer) |
| 2021-05-18 00:53:18 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-18 00:54:34 +0200 | vnz | (~vnz@51.15.143.225) |
| 2021-05-18 00:54:35 +0200 | vnz | (~vnz@51.15.143.225) (Changing host) |
| 2021-05-18 00:54:35 +0200 | vnz | (~vnz@unaffiliated/vnz) |
| 2021-05-18 00:55:05 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-18 00:55:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 00:56:22 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-18 00:56:58 +0200 | Guest1564 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 00:59:13 +0200 | guest517` | (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-18 01:00:01 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 01:00:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 01:03:01 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 01:06:00 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-18 01:06:39 +0200 | patlv_ | (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-18 01:10:58 +0200 | ddellacosta | (~ddellacos@86.106.143.48) |
| 2021-05-18 01:11:10 +0200 | Alleria | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-18 01:11:33 +0200 | Alleria | Guest49769 |
| 2021-05-18 01:12:39 +0200 | st8less | (~st8less@2603:a060:11fd:0:475f:7ec2:20c6:ac2c) (Ping timeout: 260 seconds) |
| 2021-05-18 01:13:01 +0200 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 268 seconds) |
| 2021-05-18 01:13:09 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-18 01:14:22 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-18 01:15:11 +0200 | ddellacosta | (~ddellacos@86.106.143.48) (Ping timeout: 240 seconds) |
| 2021-05-18 01:15:24 +0200 | Guest49769 | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-18 01:15:24 +0200 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-05-18 01:16:26 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-18 01:23:41 +0200 | wroathe | (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-18 01:23:46 +0200 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds) |
| 2021-05-18 01:24:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 01:25:52 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 01:29:03 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 268 seconds) |
| 2021-05-18 01:29:56 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 01:31:06 +0200 | ozataman | (~ozataman@71.190.112.58) |
| 2021-05-18 01:32:07 +0200 | Evilmagix | (2be74510@43.231.69.16) |
| 2021-05-18 01:32:25 +0200 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-18 01:32:25 +0200 | a6a45081-2b83 | (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-18 01:33:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 01:36:36 +0200 | <Evilmagix> | I have started reading Bird's "Pearls of functional algorithm design" and in the first chapter he seems to state that us \\ vs is O(n) rather than what I assume is O(n^2). Hackage doesnt have anything on the time complexity of (\\), does anyone know if he is right? Only the left list is sorted in his example but I cant imagine the (\\) uses |
| 2021-05-18 01:36:37 +0200 | <Evilmagix> | indexing. |
| 2021-05-18 01:37:09 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 01:37:36 +0200 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 01:37:39 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-18 01:37:41 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 268 seconds) |
| 2021-05-18 01:37:41 +0200 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-05-18 01:38:13 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-18 01:41:02 +0200 | <monochrom> | head (us \\ vs) ≠ us \\ vs |
| 2021-05-18 01:41:27 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-18 01:42:26 +0200 | ozataman | (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-05-18 01:43:38 +0200 | Alleria | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-18 01:44:01 +0200 | Alleria | Guest11746 |
| 2021-05-18 01:44:10 +0200 | argento | (~argent0@168.227.97.34) |
| 2021-05-18 01:44:37 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-18 01:46:14 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-18 01:47:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 01:51:12 +0200 | <mniip> | is \\ list subtraction? |
| 2021-05-18 01:51:19 +0200 | <mniip> | you can never know with bird's formalism |
| 2021-05-18 01:52:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 01:55:49 +0200 | Jrdan | (~Jrdan@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 01:56:33 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-18 02:04:45 +0200 | pjb | (~pjb@2a01cb04063ec50010052b303219aac8.ipv6.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-05-18 02:06:03 +0200 | <monochrom> | It's given in the book. us \\ vs = filter (∉ vs) us |
| 2021-05-18 02:07:42 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-05-18 02:10:11 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-05-18 02:10:28 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 02:10:41 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 02:11:11 +0200 | bennofs__ | (~quassel@x4dbf70df.dyn.telefonica.de) |
| 2021-05-18 02:14:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 02:14:41 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-18 02:15:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 02:15:07 +0200 | bennofs_ | (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2021-05-18 02:15:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 02:17:31 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:f5ad:6b00:298d:80c7) (Ping timeout: 260 seconds) |
| 2021-05-18 02:20:40 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 02:20:50 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 02:22:42 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 02:22:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-18 02:23:00 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 02:23:20 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-05-18 02:23:45 +0200 | <Evilmagix> | Yeah sorry I should have clarified that he gave the definition as filter. Does this mean that due to laziness of Haskell, it is O(n)? |
| 2021-05-18 02:23:47 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 02:24:06 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 02:24:12 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2021-05-18 02:24:31 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 02:26:14 +0200 | <Evilmagix> | monochrom: if it was instead the RHS of this, would it be O(N^2) then? head (us \\ vs) ≠ us \\ vs |
| 2021-05-18 02:26:23 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-18 02:26:37 +0200 | patlv_ | (~patlv@unaffiliated/patlv) |
| 2021-05-18 02:27:07 +0200 | patlv_ | (~patlv@unaffiliated/patlv) (Client Quit) |
| 2021-05-18 02:27:52 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 02:27:54 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 02:28:13 +0200 | tadz1k | (~tadz1k@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 02:28:31 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-05-18 02:29:08 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 02:31:04 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-18 02:35:11 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-18 02:36:22 +0200 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-05-18 02:36:55 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-goyypkkhhsgxwnjf) |
| 2021-05-18 02:37:02 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-18 02:37:13 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 02:38:15 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-18 02:38:45 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 02:44:26 +0200 | <edwardk> | Evilmagix: consider something like head ([1..100001] \\ [100000,99999..0]]) -- you get each element then have to run through the entire second list looking for it, find it, then start over and look for the next element, etc then only find a result on the last possible entry. so even the head doesn't help you asymptotically. if you know a little more, like maybe you have two lists and they are stored in sorted order or some such you can |
| 2021-05-18 02:44:26 +0200 | <edwardk> | work a little smarter and try to reduce asymptotic costs but not with the definitions given here |
| 2021-05-18 02:44:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-18 02:45:51 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 02:46:30 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 02:48:31 +0200 | <Evilmagix> | edwardk: I am not sure if you saw my original question but I was asking 'I have started reading Bird's "Pearls of functional algorithm design" and in the first chapter he seems to state that us \\ vs is O(n) rather than what I assume is O(n^2)'. |
| 2021-05-18 02:49:05 +0200 | <monochrom> | I saw no such statement in the text, not even logically implied. |
| 2021-05-18 02:49:13 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-18 02:50:25 +0200 | <monochrom> | What's stated in the text is that "head ([0..] \\ xs)" takes quadratic time in length of xs. |
| 2021-05-18 02:50:52 +0200 | <Evilmagix> | monochrom: The whole point of that chapter is using this technique to find the first missing element in linear time. |
| 2021-05-18 02:51:04 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-18 02:51:07 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-18 02:51:09 +0200 | <monochrom> | The linear-time algorithm doesn't use \\ |
| 2021-05-18 02:51:22 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 02:51:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 02:52:06 +0200 | <Evilmagix> | linear time algorithm calls minfrom, which does use it though? |
| 2021-05-18 02:52:46 +0200 | <monochrom> | no? |
| 2021-05-18 02:53:31 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-18 02:54:39 +0200 | <edwardk> | i don't have my copy of the pearl book handy, but i don't recall the details of this chapter. i'm assuming you read the chapter wrong, because bird tends not to make mistakes like that |
| 2021-05-18 02:54:45 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 02:54:47 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-18 02:55:03 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 02:58:08 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-18 02:59:25 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-18 02:59:54 +0200 | <Evilmagix> | It is my mistake, it says θ(n) not O(n). Teach me for reading late at night |
| 2021-05-18 03:00:06 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-05-18 03:00:24 +0200 | <Evilmagix> | Feel silly now |
| 2021-05-18 03:00:47 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-05-18 03:01:14 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:817:9e04:8c77:45e2) (Ping timeout: 245 seconds) |
| 2021-05-18 03:01:14 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 03:01:34 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 03:02:32 +0200 | slack1256 | (~slack1256@191.126.227.87) |
| 2021-05-18 03:03:14 +0200 | liyang | (~liyang@90.255.129.199) (Ping timeout: 246 seconds) |
| 2021-05-18 03:03:53 +0200 | Evilmagix | (2be74510@43.231.69.16) (Quit: Connection closed) |
| 2021-05-18 03:04:13 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 03:04:23 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 03:05:25 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 03:06:02 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-18 03:06:06 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 03:07:19 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-18 03:09:36 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:a4e4:b4fd:c3d:e3bd) |
| 2021-05-18 03:12:23 +0200 | liyang | (~liyang@90.253.228.174) |
| 2021-05-18 03:12:49 +0200 | Sixtine | (~Sixtine@97e577ed.skybroadband.com) (Ping timeout: 252 seconds) |
| 2021-05-18 03:13:03 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-18 03:14:10 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-18 03:17:33 +0200 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 03:17:34 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-18 03:18:36 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 03:19:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 03:21:09 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 03:21:26 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-18 03:23:59 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 03:24:22 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 03:24:31 +0200 | <jackdk> | hw-kafka-client depends on librdkafka, which I have installed manually from source into /usr/local . it declares extra-libraries: rdkafka. My package, which has build-depends: hw-kafka-client, fails to find it even with --extra-lib-dirs=/usr/local/lib and --extra-include-dirs=/usr/local/include passed to cabal build. What am I missing? |
| 2021-05-18 03:25:00 +0200 | <jackdk> | building with -v3 says ld.gold: error: cannot find -lrdkafka, so the linker is misinformed |
| 2021-05-18 03:25:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 03:26:07 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 03:26:23 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 03:27:12 +0200 | <jackdk> | grepping for /usr/local in cabal output only shows it in path, so that makes me think I'm passing arguments the wrong way |
| 2021-05-18 03:30:07 +0200 | <jackdk> | oh. https://github.com/haskell/cabal/issues/2997 . That seems completely bizarre to me but there you go |
| 2021-05-18 03:32:17 +0200 | steven1 | (~steven@172.92.136.203) |
| 2021-05-18 03:32:46 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 03:33:05 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 03:33:53 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-18 03:37:20 +0200 | <steven1> | hello, I was curious is there any way for me to define a function that takes in a function and returns a function where the first parameter is moved to the end? e.g. flip3 :: (a -> b -> c -> d) -> (b -> c -> a -> d) but for any arity? I thought it might be possible with a typeclass but I tried it and didn't get very far. Here's my attempt |
| 2021-05-18 03:37:22 +0200 | <steven1> | https://gist.github.com/stevenfontanella/cd6326cb29861d4478a9fb6e3f79a8d8 |
| 2021-05-18 03:37:44 +0200 | <steven1> | seems like I would have to define it recursively in terms of lower-arity cases, which doesn't seem easy.... |
| 2021-05-18 03:37:54 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 03:38:37 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-124.dsl.bell.ca) |
| 2021-05-18 03:39:08 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-18 03:39:39 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (Ping timeout: 260 seconds) |
| 2021-05-18 03:40:37 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 03:41:43 +0200 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-18 03:41:56 +0200 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-18 03:42:26 +0200 | vk3wtf | (~doc@61.68.250.44) |
| 2021-05-18 03:43:07 +0200 | pjb | (~pjb@2a01cb04063ec5009477333dc83d90e4.ipv6.abo.wanadoo.fr) |
| 2021-05-18 03:43:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 03:43:37 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-124.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 03:43:40 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 03:44:06 +0200 | argento | (~argent0@168.227.97.34) (Ping timeout: 268 seconds) |
| 2021-05-18 03:46:36 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 03:47:15 +0200 | <ski> | "arity" isn't welldefined |
| 2021-05-18 03:47:16 +0200 | drbean_ | (~drbean@TC210-63-209-31.static.apol.com.tw) |
| 2021-05-18 03:47:50 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 03:48:13 +0200 | tim | Guest15818 |
| 2021-05-18 03:49:17 +0200 | xff0x | (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) (Ping timeout: 250 seconds) |
| 2021-05-18 03:49:54 +0200 | ddellacosta | (~ddellacos@86.106.143.126) |
| 2021-05-18 03:51:05 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:4a39:3404:e4b9:2aa4) |
| 2021-05-18 03:51:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 03:52:23 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-18 03:52:49 +0200 | <steven1> | ski: I guess it's not well-defined because a -> b could be a -> c -> d ? |
| 2021-05-18 03:54:12 +0200 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-18 03:54:41 +0200 | ddellacosta | (~ddellacos@86.106.143.126) (Ping timeout: 260 seconds) |
| 2021-05-18 03:55:46 +0200 | <ski> | yes |
| 2021-05-18 03:56:06 +0200 | <steven1> | the top answer here is doing something similar https://stackoverflow.com/questions/8369114/haskell-function-to-determine-the-arity-of-functions |
| 2021-05-18 03:56:12 +0200 | <steven1> | your message reminded me |
| 2021-05-18 03:56:52 +0200 | <steven1> | that's the technique I'm going for but I think my example is a bit tougher |
| 2021-05-18 03:58:00 +0200 | <steven1> | also I see your point about arity not being well-defined but I can also see that the top answer would work in some cases at least |
| 2021-05-18 04:00:17 +0200 | benjamin-l | (~benjamin@2601:1c0:8800:67e0:6444:b342:47b9:c531) |
| 2021-05-18 04:00:42 +0200 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-18 04:01:28 +0200 | <ski> | if you fix the return type, you can do it |
| 2021-05-18 04:02:42 +0200 | <steven1> | hmm, ok let me try |
| 2021-05-18 04:03:57 +0200 | starc | (~quassel@208.201.242.22) |
| 2021-05-18 04:04:50 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 265 seconds) |
| 2021-05-18 04:07:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-18 04:08:22 +0200 | <steven1> | yeah still not sure. Even if I fix the return type, my only options are instance Flop (a -> b) c or instance Flop a (b -> c) and neither one gives the correct type signature |
| 2021-05-18 04:09:28 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-05-18 04:10:54 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-18 04:11:14 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 04:13:28 +0200 | Tario | (~Tario@200.119.186.99) |
| 2021-05-18 04:16:35 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-18 04:17:24 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-18 04:19:32 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
| 2021-05-18 04:19:34 +0200 | Tario | (~Tario@200.119.186.99) (Read error: Connection reset by peer) |
| 2021-05-18 04:20:07 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 04:20:35 +0200 | Guest15818 | (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 04:21:49 +0200 | <ski> | class Flop a0 asz asa0z where {flop :: (a0 -> asz) -> asa0z}; instance Flop a Z (a -> Z) where {..}; instance Flop a0 asz asa0z => Flop a0 (a -> asz) (a -> asa0z) where {..} |
| 2021-05-18 04:22:07 +0200 | <ski> | something like trhat, perhaps ? |
| 2021-05-18 04:22:43 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 04:22:50 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-18 04:22:50 +0200 | finn_elija | Guest40929 |
| 2021-05-18 04:22:50 +0200 | FinnElija | finn_elija |
| 2021-05-18 04:25:57 +0200 | Guest40929 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-18 04:26:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 04:27:17 +0200 | slac91918 | (~slack1256@191.126.99.81) |
| 2021-05-18 04:27:23 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 04:28:23 +0200 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-18 04:29:06 +0200 | slack1256 | (~slack1256@191.126.227.87) (Ping timeout: 240 seconds) |
| 2021-05-18 04:31:29 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-18 04:31:41 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-18 04:31:41 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 04:38:07 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 04:38:15 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-18 04:38:31 +0200 | tim | Guest11093 |
| 2021-05-18 04:40:16 +0200 | <Guest11093> | hi all, glad to meet you all. |
| 2021-05-18 04:42:52 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) |
| 2021-05-18 04:44:57 +0200 | theDon | (~td@94.134.91.15) (Ping timeout: 265 seconds) |
| 2021-05-18 04:46:44 +0200 | theDon | (~td@muedsl-82-207-238-185.citykom.de) |
| 2021-05-18 04:47:56 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-18 04:48:33 +0200 | CrazyPython | (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-18 04:50:57 +0200 | mayleesia | (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) |
| 2021-05-18 04:52:53 +0200 | dumptruckman | (~dumptruck@li327-61.members.linode.com) |
| 2021-05-18 04:53:30 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 04:54:11 +0200 | maylee | (~mayleesia@dynamic-077-013-233-125.77.13.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-05-18 04:54:20 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) (Quit: Konversation terminated!) |
| 2021-05-18 04:56:12 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) |
| 2021-05-18 04:58:53 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-18 05:04:45 +0200 | f33f046c-a02e | (~aditya@122.163.149.247) |
| 2021-05-18 05:05:16 +0200 | a6a45081-2b83 | (~aditya@122.163.207.227) (Ping timeout: 260 seconds) |
| 2021-05-18 05:05:17 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 05:06:33 +0200 | Adluc | (~Adluc@83.167.228.130) (Ping timeout: 240 seconds) |
| 2021-05-18 05:06:42 +0200 | dqd | (id@wikipedia/dqd) (Ping timeout: 265 seconds) |
| 2021-05-18 05:08:48 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 05:09:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-18 05:12:47 +0200 | Guest11093 | (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 05:13:24 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 05:15:34 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-sydhbolmzgdlxhuf) (Quit: Connection closed for inactivity) |
| 2021-05-18 05:17:26 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 05:17:41 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 05:22:12 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-18 05:22:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 05:22:59 +0200 | plutoniix | (~q@ppp-58-8-176-34.revip2.asianet.co.th) |
| 2021-05-18 05:24:45 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8) |
| 2021-05-18 05:25:02 +0200 | slac91918 | (~slack1256@191.126.99.81) (Remote host closed the connection) |
| 2021-05-18 05:28:34 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::7a37) |
| 2021-05-18 05:29:13 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 05:33:12 +0200 | Adluc | (~Adluc@83.167.228.130) |
| 2021-05-18 05:33:34 +0200 | dqd | (id@wikipedia/dqd) |
| 2021-05-18 05:34:29 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-18 05:34:41 +0200 | domini | (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) |
| 2021-05-18 05:34:41 +0200 | tadz1k | (~tadz1k@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 05:38:12 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 05:38:35 +0200 | tim | Guest18934 |
| 2021-05-18 05:39:50 +0200 | fivebox | (x@unaffiliated/fivebox) |
| 2021-05-18 05:39:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 05:41:30 +0200 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 265 seconds) |
| 2021-05-18 05:44:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-18 05:44:50 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-162.dsl.bell.ca) |
| 2021-05-18 05:45:48 +0200 | starc | (~quassel@208.201.242.22) (Remote host closed the connection) |
| 2021-05-18 05:50:27 +0200 | spaceman97 | (2a6be225@42.107.226.37) |
| 2021-05-18 05:52:05 +0200 | spaceman97 | (2a6be225@42.107.226.37) (Client Quit) |
| 2021-05-18 05:54:41 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-18 05:56:39 +0200 | nineonin_ | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 05:56:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 05:57:51 +0200 | domini | (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) (Quit: domini) |
| 2021-05-18 05:58:44 +0200 | argento | (~argent0@168.227.96.26) |
| 2021-05-18 06:00:00 +0200 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-18 06:00:37 +0200 | nineonin_ | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 06:00:50 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-18 06:02:31 +0200 | Guest18934 | (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 06:05:53 +0200 | <steven1> | ski: thanks, that looks interesting. Trying it out now |
| 2021-05-18 06:06:03 +0200 | haritz | (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-18 06:06:13 +0200 | haritz | (~hrtz@62.3.70.206) |
| 2021-05-18 06:06:14 +0200 | haritz | (~hrtz@62.3.70.206) (Changing host) |
| 2021-05-18 06:06:14 +0200 | haritz | (~hrtz@unaffiliated/haritz) |
| 2021-05-18 06:07:51 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 06:07:54 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 06:08:54 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-18 06:09:13 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-18 06:12:06 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 06:12:52 +0200 | alx741 | (~alx741@186.178.108.105) (Quit: alx741) |
| 2021-05-18 06:14:26 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-lpmljnscttdlzszw) (Quit: Connection closed for inactivity) |
| 2021-05-18 06:15:56 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-18 06:16:01 +0200 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-18 06:19:30 +0200 | ddellacosta | (~ddellacos@86.106.143.126) |
| 2021-05-18 06:21:19 +0200 | benjamin-l | (~benjamin@2601:1c0:8800:67e0:6444:b342:47b9:c531) (Quit: WeeChat 3.1) |
| 2021-05-18 06:24:36 +0200 | ddellacosta | (~ddellacos@86.106.143.126) (Ping timeout: 260 seconds) |
| 2021-05-18 06:24:59 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-18 06:24:59 +0200 | <steven1> | ski: ok I think this is close to what I want (it moves the last argument to the beginning). Super interesting exercise. Thanks a lot for the help! I'll try to study this more and understand better |
| 2021-05-18 06:28:10 +0200 | steven1 | (~steven@172.92.136.203) (Quit: WeeChat 2.8) |
| 2021-05-18 06:31:28 +0200 | mpiechotka | (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 06:32:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 06:34:23 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::7a37) (Ping timeout: 250 seconds) |
| 2021-05-18 06:37:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-18 06:38:34 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-18 06:38:44 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 06:38:46 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 06:38:50 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-18 06:39:11 +0200 | tim | Guest69169 |
| 2021-05-18 06:40:03 +0200 | ozzymcdu_ | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-18 06:40:03 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-18 06:41:55 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-05-18 06:42:54 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds) |
| 2021-05-18 06:44:03 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 06:44:08 +0200 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
| 2021-05-18 06:45:40 +0200 | argento | (~argent0@168.227.96.26) (Remote host closed the connection) |
| 2021-05-18 06:53:02 +0200 | Guest69169 | (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 06:53:23 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 06:55:07 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 06:55:26 +0200 | f33f046c-a02e | (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 06:55:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 06:57:16 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
| 2021-05-18 06:58:19 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 07:00:53 +0200 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 246 seconds) |
| 2021-05-18 07:01:15 +0200 | badobb | (abaolute@unaffiliated/badobb) (Ping timeout: 260 seconds) |
| 2021-05-18 07:01:59 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 07:02:10 +0200 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 252 seconds) |
| 2021-05-18 07:03:53 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 07:03:59 +0200 | badobb | (abaolute@unaffiliated/badobb) |
| 2021-05-18 07:05:29 +0200 | yahb | (xsbot@178.219.36.155) |
| 2021-05-18 07:05:29 +0200 | yahb | (xsbot@178.219.36.155) (Changing host) |
| 2021-05-18 07:05:29 +0200 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-05-18 07:06:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-18 07:06:59 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 07:08:08 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-18 07:10:57 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 07:17:27 +0200 | paultag1 | (~paultag@185.204.1.185) (Remote host closed the connection) |
| 2021-05-18 07:18:29 +0200 | lucky | (~joel@unaffiliated/lucky) |
| 2021-05-18 07:19:56 +0200 | <lucky> | Hi, using Parsec, when I have two different types to parse to, can I re-use the parser for generating the first type's results, like if I just want to use it to accept-and-drop valid inputs that aren't used to generating the second type's result? |
| 2021-05-18 07:24:37 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-18 07:25:28 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-18 07:25:56 +0200 | manjaro-user-- | (~manjaro-u@138.59.122.124) |
| 2021-05-18 07:26:28 +0200 | manjaro-user-- | Ophir |
| 2021-05-18 07:26:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-18 07:28:48 +0200 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-18 07:30:56 +0200 | ddellacosta | (~ddellacos@86.106.143.217) |
| 2021-05-18 07:33:50 +0200 | alexander | (~alexander@2a02:587:dc03:1500:b16c:5166:feb8:97d5) |
| 2021-05-18 07:34:18 +0200 | alexander | Guest33594 |
| 2021-05-18 07:35:30 +0200 | ddellacosta | (~ddellacos@86.106.143.217) (Ping timeout: 252 seconds) |
| 2021-05-18 07:36:44 +0200 | <edwardk> | lucky: you may need to do so with a 'try' block if you want to have the parse error take place at the start of the 'too large' parsed thing you are going to trim down. haskell (er.. ghc) does this sort of thing itself. its not always clear in the grammar if something is a pattern or an expression until later, so we parse patterns first as expressions, then later on disambiguate (not using parsec, but the ideas is the same) |
| 2021-05-18 07:40:35 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-18 07:41:05 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 07:41:36 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds) |
| 2021-05-18 07:42:59 +0200 | MalekAlrwily | (~MalekAlrw@37.120.211.190) |
| 2021-05-18 07:43:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 07:45:06 +0200 | <jackdk> | Is anyone here familiar with cabal's pkgconfig support? I am trying to get my program that depends on `hw-kafka-client` to statically link (using musl toolchain), and got it working with `extra-libraries: rdkafka ssl crypto`. This should not be necessary, and I'm trying to fix it. I have a local copy of hw-kafka-client where I've changed `extra-libraries: rdkafka` to `pkgconfig-depends: rdkafka`. |
| 2021-05-18 07:45:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-18 07:46:07 +0200 | <jackdk> | Even though the `rdkafka.pc` file declares the extra libs it needs in `Libs.private:`, I do not see them on the linker command line when I compile my program with `build-depends: hw-kafka-client` and `ghc-options: -v3`. Does anyone here know what I'm missing? |
| 2021-05-18 07:47:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-18 07:48:20 +0200 | <jackdk> | Reading between the lines in the pkg-config manual, it looks like things declared in `{Libs,Requires}.private` fields are only pulled in when statically linking. So how do I tell cabal that I'm doing that? |
| 2021-05-18 07:49:06 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-05-18 07:49:37 +0200 | parabolize | (~paraboliz@98.43.173.221) (Quit: leaving) |
| 2021-05-18 07:52:09 +0200 | <jackdk> | https://github.com/haskell/cabal/blob/4f8aeb2c8a0a3638e1af887dc869a17e291c8329/Cabal/src/Distribut… appears to be the only place where I can find the string `--libs`, so perhaps the cabal<->pkg-config integration is not as smart as it could be? |
| 2021-05-18 07:52:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 07:56:53 +0200 | MalekAlrwily | (~MalekAlrw@37.120.211.190) () |
| 2021-05-18 07:58:56 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-18 08:05:25 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-18 08:05:42 +0200 | <dminuoso> | edwardk: Regarding the complexity of \\, couldn't one use `discrimination` to get the asymptotics down? |
| 2021-05-18 08:07:24 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 08:07:36 +0200 | mpiechotka | (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Quit: mpiechotka) |
| 2021-05-18 08:07:48 +0200 | tim | Guest62528 |
| 2021-05-18 08:07:57 +0200 | ddellacosta | (~ddellacos@86.106.143.139) |
| 2021-05-18 08:08:07 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-18 08:08:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-18 08:11:07 +0200 | michalz | (~user@185.246.204.56) |
| 2021-05-18 08:12:34 +0200 | ddellacosta | (~ddellacos@86.106.143.139) (Ping timeout: 252 seconds) |
| 2021-05-18 08:13:24 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-18 08:13:40 +0200 | Guest62528 | (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 252 seconds) |
| 2021-05-18 08:13:59 +0200 | <edwardk> | dminuoso: yes, or use data.set, or hashmaps, etc. you need different constraints for both of those scenarios |
| 2021-05-18 08:14:03 +0200 | Lume | (d95e3f95@pd95e3f95.dip0.t-ipconnect.de) |
| 2021-05-18 08:14:13 +0200 | <edwardk> | er each of |
| 2021-05-18 08:14:57 +0200 | Lume | (d95e3f95@pd95e3f95.dip0.t-ipconnect.de) (Client Quit) |
| 2021-05-18 08:16:03 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-18 08:16:23 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 08:20:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-18 08:27:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 08:28:54 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 08:33:05 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-18 08:37:26 +0200 | ystael | (~ystael@130.44.151.113) (Ping timeout: 265 seconds) |
| 2021-05-18 08:38:33 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 08:40:32 +0200 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-18 08:40:38 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-05-18 08:40:54 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 08:40:57 +0200 | ddellacosta | (~ddellacos@86.106.143.61) |
| 2021-05-18 08:41:55 +0200 | ^elf^ | (~elf@unaffiliated/elf) |
| 2021-05-18 08:45:39 +0200 | ddellacosta | (~ddellacos@86.106.143.61) (Ping timeout: 265 seconds) |
| 2021-05-18 08:46:20 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-18 08:46:28 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 08:47:02 +0200 | ^elf^ | (~elf@unaffiliated/elf) ("Leaving") |
| 2021-05-18 08:48:09 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 08:49:42 +0200 | <lucky> | edwardk: Thanks, though I mean like If I hav a Parser Int and I want to skip over Int's that match while generating Parser Idents, is there some way to reuse that Parser Int for that purpose? I was just re-implementing the whole thing with a different type but that usually means I'm doing it wrong (: |
| 2021-05-18 08:51:26 +0200 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Remote host closed the connection) |
| 2021-05-18 08:52:05 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 08:55:29 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-18 08:56:14 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds) |
| 2021-05-18 08:57:39 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 2021-05-18 08:58:08 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-18 09:00:32 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-18 09:01:18 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 09:03:53 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-18 09:05:18 +0200 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-18 09:06:48 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 09:11:16 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds) |
| 2021-05-18 09:14:25 +0200 | ketas1 | (~ketas@138.199.47.158) |
| 2021-05-18 09:16:04 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 09:19:17 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-kbmvyhgqqnssuyqy) |
| 2021-05-18 09:19:38 +0200 | ddellacosta | (~ddellacos@86.106.143.204) |
| 2021-05-18 09:21:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 09:22:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-18 09:24:16 +0200 | ddellacosta | (~ddellacos@86.106.143.204) (Ping timeout: 260 seconds) |
| 2021-05-18 09:24:51 +0200 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-18 09:29:11 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-162.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 09:29:35 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:1d97:2a21:a75b:9085) |
| 2021-05-18 09:30:16 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 09:31:24 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 09:31:41 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 09:32:44 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-244.dsl.bell.ca) |
| 2021-05-18 09:32:58 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 09:33:10 +0200 | drbean- | (~drbean@210.63.209.12) |
| 2021-05-18 09:33:25 +0200 | drbean_ | (~drbean@TC210-63-209-31.static.apol.com.tw) (Ping timeout: 252 seconds) |
| 2021-05-18 09:33:35 +0200 | tefter | (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-05-18 09:34:14 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-244.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 09:34:34 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-244.dsl.bell.ca) |
| 2021-05-18 09:36:03 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 09:38:53 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-244.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 09:40:17 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 250 seconds) |
| 2021-05-18 09:45:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 09:45:14 +0200 | przembot | (~pi@87-205-159-130.adsl.inetia.pl) |
| 2021-05-18 09:48:15 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-18 09:49:28 +0200 | <Axman6> | lucky: you can probably just use MyThing <$> ... <*> parseInt *> parseIdent, this will cause parseInt to run but you ignore the value it returns |
| 2021-05-18 09:49:56 +0200 | <Axman6> | lucky: answering your question will be abit easier if you give some examples though, I think I understand but I'm not sure |
| 2021-05-18 09:50:43 +0200 | alexeyneudat | (~alexeyneu@31.148.138.118) |
| 2021-05-18 09:53:46 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 09:58:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-18 09:58:10 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 09:59:13 +0200 | przembot | (~pi@87-205-159-130.adsl.inetia.pl) (Ping timeout: 240 seconds) |
| 2021-05-18 10:04:13 +0200 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-05-18 10:06:40 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-18 10:08:18 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 265 seconds) |
| 2021-05-18 10:08:37 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-18 10:08:51 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 10:09:16 +0200 | tim | Guest48091 |
| 2021-05-18 10:09:40 +0200 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-05-18 10:09:53 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-18 10:09:57 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-18 10:12:37 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 10:13:12 +0200 | Guest48091 | (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 240 seconds) |
| 2021-05-18 10:14:22 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-uqafdsjabmkfwjxh) (Quit: Connection closed for inactivity) |
| 2021-05-18 10:15:08 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-18 10:15:25 +0200 | <dminuoso> | Servant question: I appear to have overlapping routes but I cant pinpoint it. |
| 2021-05-18 10:15:27 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-18 10:15:44 +0200 | <dminuoso> | Is there a way to have servant debug which route it matches (say logging the Summary (or some other type level string)) when picking that route? |
| 2021-05-18 10:19:09 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds) |
| 2021-05-18 10:20:38 +0200 | LKoen | (~LKoen@2a01cb0407597a00c5d4c5917c5d748f.ipv6.abo.wanadoo.fr) |
| 2021-05-18 10:21:10 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-18 10:21:26 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-18 10:22:20 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 10:22:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 10:22:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-18 10:23:08 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-18 10:23:41 +0200 | plutoniix | (~q@ppp-58-8-176-34.revip2.asianet.co.th) (Ping timeout: 240 seconds) |
| 2021-05-18 10:27:02 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 10:27:09 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-18 10:27:10 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 10:27:40 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-18 10:27:59 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 10:28:28 +0200 | ggVGc | (~ggVGc@unaffiliated/walt) (Remote host closed the connection) |
| 2021-05-18 10:28:39 +0200 | kuribas | (~user@ptr-25vy0i9wup0349cbbey.18120a2.ip6.access.telenet.be) |
| 2021-05-18 10:28:47 +0200 | <Axman6> | Not sure if it'll help much, but there's a package which can canonicalise route types, so things like Auth :> (SomeHandler :<|> Another) become Auth :> SomeHandler :<|> Auth :> Another |
| 2021-05-18 10:29:07 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2021-05-18 10:29:32 +0200 | malumore_ | (~malumore@151.62.114.250) |
| 2021-05-18 10:30:03 +0200 | <Axman6> | https://hackage.haskell.org/package/servant-flatten |
| 2021-05-18 10:32:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 10:34:24 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-05-18 10:37:34 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 10:37:39 +0200 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-05-18 10:37:50 +0200 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-05-18 10:37:51 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 10:38:08 +0200 | plutoniix | (~q@ppp-58-8-176-34.revip2.asianet.co.th) |
| 2021-05-18 10:39:53 +0200 | malumore_ | (~malumore@151.62.114.250) (Remote host closed the connection) |
| 2021-05-18 10:40:38 +0200 | malumore | (~malumore@151.62.114.250) |
| 2021-05-18 10:41:39 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 10:42:03 +0200 | tim | Guest79915 |
| 2021-05-18 10:42:32 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 10:42:47 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 10:42:54 +0200 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds) |
| 2021-05-18 10:45:02 +0200 | sw1nn | (~sw1nn@host86-180-104-205.range86-180.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2021-05-18 10:45:35 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-18 10:45:40 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-18 10:45:40 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-18 10:46:58 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 10:47:07 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 10:47:53 +0200 | alexeyneudat | (~alexeyneu@31.148.138.118) (Quit: Leaving) |
| 2021-05-18 10:48:44 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 10:48:44 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-18 10:50:22 +0200 | zmijunkie | (~Adium@87.123.58.216) |
| 2021-05-18 11:02:17 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 11:02:25 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) |
| 2021-05-18 11:03:30 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 11:04:07 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-05-18 11:04:36 +0200 | drbean- | (~drbean@210.63.209.12) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-18 11:04:40 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-18 11:05:28 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-18 11:06:02 +0200 | ddellac__ | (~ddellacos@86.106.143.217) |
| 2021-05-18 11:06:57 +0200 | bitmagie | (~Thunderbi@200116b806519100f8b4f2f086b4eaf2.dip.versatel-1u1.de) |
| 2021-05-18 11:06:57 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 250 seconds) |
| 2021-05-18 11:07:59 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-18 11:09:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-18 11:10:26 +0200 | ddellac__ | (~ddellacos@86.106.143.217) (Ping timeout: 240 seconds) |
| 2021-05-18 11:14:47 +0200 | Guest79915 | (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 11:16:13 +0200 | <zzz> | if i have `remove/ |
| 2021-05-18 11:16:36 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-18 11:18:21 +0200 | <zzz> | if i have `removeTrailing = reverse . dropWhile isSpace . reverse`, does the compile optimize away the multiple traversing from reversing? |
| 2021-05-18 11:19:46 +0200 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-18 11:21:37 +0200 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-18 11:22:41 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 260 seconds) |
| 2021-05-18 11:22:56 +0200 | sw1nn | (~sw1nn@2a00:23c7:622f:2c00:2efd:9199:1df9:36c8) |
| 2021-05-18 11:22:59 +0200 | <opqdonut> | no, that'd be a really hard optimization to do |
| 2021-05-18 11:23:53 +0200 | zmijunkie1 | (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 2021-05-18 11:23:54 +0200 | <opqdonut> | you can get list fusion that removes unnecessary allocations when you do multiple list traversals in a row in the normal direction |
| 2021-05-18 11:24:16 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 11:24:16 +0200 | <opqdonut> | so something like `takeWhile bing . map foo . filter bar` will only allocate one list, the output list |
| 2021-05-18 11:25:15 +0200 | <zzz> | got it |
| 2021-05-18 11:25:37 +0200 | zmijunkie | (~Adium@87.123.58.216) (Ping timeout: 252 seconds) |
| 2021-05-18 11:28:30 +0200 | <tomsmeding> | zzz: (regardless of optimisations, your removeTrailing will be linear in the size of the string because String is a singly linked list) |
| 2021-05-18 11:28:52 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-18 11:29:42 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-05-18 11:29:53 +0200 | <merijn> | Not to mention strings are bad anyway :p |
| 2021-05-18 11:30:26 +0200 | <merijn> | Just use text with dropWhileEnd ? :p |
| 2021-05-18 11:33:01 +0200 | Guest11746 | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 11:33:19 +0200 | sw1nn | (~sw1nn@2a00:23c7:622f:2c00:2efd:9199:1df9:36c8) (Ping timeout: 260 seconds) |
| 2021-05-18 11:33:32 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 11:33:50 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 11:35:01 +0200 | <xenon-> | "MyThing <$> ... <*> parseInt *> parseIdent, this will cause parseInt to run but you ignore the value it returns" <- I think you meant to say that parseInt is ran, and then run the result of that is passed to MyThing |
| 2021-05-18 11:35:08 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 11:35:28 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 11:35:32 +0200 | <xenon-> | ""MyThing <$> ... <*> parseInt *> parseIdent, this will cause parseInt to run but you ignore the value it returns" <- I think you meant to say that parseInt is ran, and then the result of that is passed to MyThing", even |
| 2021-05-18 11:38:58 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 11:39:06 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 11:40:47 +0200 | <tomsmeding> | xenon-: that would be >>=; here there is instead *>, which ignores the result of its left argument (but executes the effect) |
| 2021-05-18 11:40:55 +0200 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-05-18 11:40:59 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Remote host closed the connection) |
| 2021-05-18 11:41:09 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2021-05-18 11:41:11 +0200 | digia | (~digia@unaffiliated/digia) (Ping timeout: 240 seconds) |
| 2021-05-18 11:41:12 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 11:41:20 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 11:42:00 +0200 | digia | (~digia@unaffiliated/digia) |
| 2021-05-18 11:42:13 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 11:42:21 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-05-18 11:42:37 +0200 | tim | Guest93183 |
| 2021-05-18 11:43:35 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:4a39:3404:e4b9:2aa4) (Ping timeout: 260 seconds) |
| 2021-05-18 11:44:24 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:1f9a:3035:a7ff:492) |
| 2021-05-18 11:45:03 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-18 11:45:26 +0200 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 246 seconds) |
| 2021-05-18 11:45:57 +0200 | <xenon-> | tomsmeding, yes I know, I completely missed that the last operator is *>, and just read it as <*> |
| 2021-05-18 11:46:36 +0200 | Guest93183 | (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 260 seconds) |
| 2021-05-18 11:49:20 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 11:49:51 +0200 | Nik05 | (~Nik05@unaffiliated/nik05) (Quit: ZNC - https://znc.in) |
| 2021-05-18 11:50:09 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-05-18 11:51:01 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-05-18 11:51:45 +0200 | Nik05 | (~Nik05@unaffiliated/nik05) |
| 2021-05-18 11:51:47 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-05-18 11:52:11 +0200 | Alleria | Guest75362 |
| 2021-05-18 11:53:04 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 11:53:25 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 11:54:50 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 11:55:11 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 11:57:27 +0200 | <Axman6> | trixy operators! |
| 2021-05-18 11:57:32 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 11:58:05 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-18 11:58:29 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:00:36 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-05-18 12:01:04 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:01:24 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-18 12:02:25 +0200 | obfusk_ | (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-18 12:02:30 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:03:17 +0200 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-05-18 12:03:21 +0200 | mayleesia | (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) (Remote host closed the connection) |
| 2021-05-18 12:03:25 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 12:03:56 +0200 | mayleesia | (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) |
| 2021-05-18 12:04:08 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-18 12:04:12 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:04:32 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:04:43 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 12:05:27 +0200 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 12:06:09 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 12:06:19 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:06:26 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2021-05-18 12:06:39 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds) |
| 2021-05-18 12:07:40 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:07:51 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:10:53 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:11:09 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-18 12:11:13 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:12:25 +0200 | nitrix | (~nitrix@haskell/developer/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration) |
| 2021-05-18 12:12:40 +0200 | Guest75362 | (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-18 12:14:25 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-18 12:17:19 +0200 | nitrix | (~nitrix@haskell/developer/nitrix) |
| 2021-05-18 12:17:52 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-05-18 12:19:50 +0200 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-18 12:20:29 +0200 | mrchampion | (~mrchampio@216-211-58-186.dynamic.tbaytel.net) (Ping timeout: 260 seconds) |
| 2021-05-18 12:20:32 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 12:21:46 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:21:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 12:22:47 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:22:59 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-18 12:23:05 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:24:16 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 12:24:45 +0200 | <dminuoso> | zzz |
| 2021-05-18 12:24:46 +0200 | <dminuoso> | object value > object key > 34: Failed reading: satisfy |
| 2021-05-18 12:25:20 +0200 | <dminuoso> | Mmm, is there something I can do to aeson to make it more intelligible when it comes to errors? |
| 2021-05-18 12:25:27 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-18 12:26:08 +0200 | Ishutin | (~ishutin@79.120.162.165) |
| 2021-05-18 12:26:35 +0200 | <dminuoso> | Axman6: Cheers btw, it didn't help - I just did good old binary search and some emacs region edits. |
| 2021-05-18 12:29:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-18 12:29:46 +0200 | Ishutin_ | (~ishutin@85-238-93-79.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2021-05-18 12:30:18 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 12:30:26 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:30:40 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-18 12:32:41 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-18 12:32:59 +0200 | Alleria__ | (~textual@mskresolve-a.mskcc.org) |
| 2021-05-18 12:33:05 +0200 | Stanley|00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 12:33:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-18 12:36:56 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 12:38:22 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:38:31 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-05-18 12:38:46 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 12:39:19 +0200 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-05-18 12:40:34 +0200 | kini | (~kini@unaffiliated/kini) |
| 2021-05-18 12:41:40 +0200 | <[exa]> | dminuoso: it supported some version of parsec-ish <?> right? |
| 2021-05-18 12:43:56 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 12:44:20 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:44:53 +0200 | mrchampion | (~mrchampio@216-211-58-186.dynamic.tbaytel.net) |
| 2021-05-18 12:46:20 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 12:46:38 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:47:07 +0200 | Stanley|00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-18 12:47:46 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 12:49:33 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-fyslmtebqhpnkrak) |
| 2021-05-18 12:49:49 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-mvdxvxychnvjhyrb) |
| 2021-05-18 12:49:56 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-18 12:50:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 12:52:11 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-18 12:53:44 +0200 | bitmagie | (~Thunderbi@200116b806519100f8b4f2f086b4eaf2.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 2021-05-18 12:54:32 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 12:54:51 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 12:55:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-18 12:55:47 +0200 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-18 12:56:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-18 12:58:53 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-18 13:04:13 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-18 13:05:31 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 13:06:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 13:08:05 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-18 13:08:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 13:08:28 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-18 13:10:07 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-18 13:10:40 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 252 seconds) |
| 2021-05-18 13:11:18 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-18 13:11:29 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-18 13:11:44 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-18 13:11:48 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-18 13:13:22 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-18 13:13:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 13:13:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 13:14:35 +0200 | Guest33594 | (~alexander@2a02:587:dc03:1500:b16c:5166:feb8:97d5) (Ping timeout: 260 seconds) |
| 2021-05-18 13:14:54 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-18 13:14:55 +0200 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-18 13:18:10 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-18 13:19:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-18 13:19:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 13:23:08 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 13:24:11 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-18 13:25:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 13:25:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 13:25:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 13:25:51 +0200 | <maerwald> | is there a way to tell cabal or ghc to make module compilation order more predictable? |
| 2021-05-18 13:26:14 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-18 13:26:16 +0200 | <maerwald> | It's quite annoying when you're fixing a file, recompile and it tries building some other file first |
| 2021-05-18 13:27:03 +0200 | Kaivo | (~Kaivo@172-97-54-87.mc.derytele.com) ("WeeChat 3.0.1") |
| 2021-05-18 13:28:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 13:28:47 +0200 | qwerty2o | (~qwerty2o@46.19.86.170) |
| 2021-05-18 13:28:51 +0200 | plutoniix | (~q@ppp-58-8-176-34.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-18 13:29:23 +0200 | mastarija | (~mastarija@31.217.0.94) |
| 2021-05-18 13:29:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-18 13:30:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 13:31:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 13:32:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-18 13:32:57 +0200 | qwerty2o | (~qwerty2o@46.19.86.170) (Read error: Connection reset by peer) |
| 2021-05-18 13:33:53 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 13:33:59 +0200 | <__monty__> | Maybe restricting the number of cores helps? |
| 2021-05-18 13:35:31 +0200 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-18 13:39:39 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-18 13:40:15 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 13:41:02 +0200 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-18 13:41:59 +0200 | tefter | (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 246 seconds) |
| 2021-05-18 13:42:31 +0200 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-18 13:43:11 +0200 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
| 2021-05-18 13:43:26 +0200 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-18 13:44:07 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-05-18 13:44:27 +0200 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-18 13:44:50 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds) |
| 2021-05-18 13:44:52 +0200 | tefter | (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-05-18 13:50:23 +0200 | <tomsmeding> | I had this exact problem a while ago; it's nondeterminism within one package, not across packages |
| 2021-05-18 13:50:31 +0200 | <tomsmeding> | maerwald: it's ghc, not cabal that does this |
| 2021-05-18 13:50:53 +0200 | <tomsmeding> | when I asked about it a while ago, I got the impression it's kind of unknown :p |
| 2021-05-18 13:51:03 +0200 | <maerwald> | it feels like ghc is trolling me |
| 2021-05-18 13:51:35 +0200 | <maerwald> | "haha, this file doesn't compile either btw..." |
| 2021-05-18 13:51:36 +0200 | <opqdonut> | ISTR some tool like ghcid trying to fix this with some workaround years ago |
| 2021-05-18 13:52:08 +0200 | <tomsmeding> | what you _can_ do is extract the ghc invocation that ghc is actually running, and run that manually, but passing it only one module name instead of the full list of modules in the package |
| 2021-05-18 13:52:14 +0200 | <tomsmeding> | but that's labour-intensive :p |
| 2021-05-18 13:52:46 +0200 | <nshepperd2> | there's nothing like a --keep-going flag to tell it to just build everything it can and return all errors? |
| 2021-05-18 13:53:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 13:57:13 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-18 14:02:03 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-18 14:02:32 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-18 14:02:45 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-18 14:03:37 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2021-05-18 14:03:54 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-18 14:06:10 +0200 | argento | (~argent0@168.227.96.26) |
| 2021-05-18 14:07:00 +0200 | sedeki | (~textual@unaffiliated/sedeki) |
| 2021-05-18 14:07:49 +0200 | malumore_ | (~malumore@151.62.114.250) |
| 2021-05-18 14:08:00 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 14:08:05 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-18 14:08:46 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-18 14:10:41 +0200 | malumore | (~malumore@151.62.114.250) (Ping timeout: 260 seconds) |
| 2021-05-18 14:13:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-18 14:13:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-18 14:13:50 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-kbmvyhgqqnssuyqy) (Quit: Connection closed for inactivity) |
| 2021-05-18 14:14:04 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-18 14:14:04 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-18 14:14:04 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-18 14:14:22 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-18 14:17:28 +0200 | <tomsmeding> | isn't that -fdefer-type-errors |
| 2021-05-18 14:17:31 +0200 | <tomsmeding> | to ghc |
| 2021-05-18 14:19:30 +0200 | <boxscape> | yes, but only as long as the errors that prevent the build from continuing are type errors |
| 2021-05-18 14:19:45 +0200 | <boxscape> | (or... identifier not in scope, or such things) |
| 2021-05-18 14:19:45 +0200 | <nshepperd2> | no, that's to build everything it can and return no errors :p |
| 2021-05-18 14:19:56 +0200 | ghuntley | (uid16877@gateway/web/irccloud.com/x-urbcmuxsmripaewo) |
| 2021-05-18 14:21:51 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) |
| 2021-05-18 14:22:08 +0200 | <a6a45081-2b83> | is there any support for QQ in vscode or similar? |
| 2021-05-18 14:24:40 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 14:24:57 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-18 14:26:20 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-18 14:27:33 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-18 14:28:24 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:28:26 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 14:29:51 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 14:30:06 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:30:24 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 14:30:31 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 14:31:37 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 14:31:50 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:33:37 +0200 | drbean_ | (~drbean@TC210-63-209-89.static.apol.com.tw) |
| 2021-05-18 14:34:34 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 245 seconds) |
| 2021-05-18 14:39:03 +0200 | pjb | (~pjb@2a01cb04063ec5009477333dc83d90e4.ipv6.abo.wanadoo.fr) (Quit: rebooting macOS for update…) |
| 2021-05-18 14:39:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 14:41:30 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:41:58 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 14:42:11 +0200 | ystael | (~ystael@130.44.151.113) (Ping timeout: 246 seconds) |
| 2021-05-18 14:44:35 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 14:44:38 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-05-18 14:45:15 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 14:46:01 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 14:46:27 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-18 14:47:00 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 14:47:24 +0200 | <boxscape> | ugh annoying that Debug.Trace doesn't have `traceWith :: (a -> String) -> a -> a` and `traceShowWith :: Show b => (a -> b) -> a -> a` |
| 2021-05-18 14:47:27 +0200 | <boxscape> | relude does |
| 2021-05-18 14:47:30 +0200 | <boxscape> | apparently |
| 2021-05-18 14:47:37 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:48:02 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 14:48:20 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:48:22 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 14:48:51 +0200 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-05-18 14:48:53 +0200 | pjb | (~pjb@2a01cb04063ec50040800ddd29414e0b.ipv6.abo.wanadoo.fr) |
| 2021-05-18 14:48:59 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 14:49:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-18 14:49:33 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-18 14:50:46 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-18 14:50:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-05-18 14:55:07 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 14:55:20 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 14:55:33 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 14:57:26 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-18 14:59:13 +0200 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) |
| 2021-05-18 14:59:22 +0200 | mastarija_ | (~mastarija@46.188.140.218) |
| 2021-05-18 15:00:41 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 15:00:48 +0200 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-18 15:00:56 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 15:01:26 +0200 | sedeki | (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-18 15:01:44 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-18 15:02:53 +0200 | mastarija | (~mastarija@31.217.0.94) (Ping timeout: 260 seconds) |
| 2021-05-18 15:03:44 +0200 | <dminuoso> | boxscape: Uh, that sounds like quite a luxury problem... |
| 2021-05-18 15:03:56 +0200 | <boxscape> | I won't deny that |
| 2021-05-18 15:03:57 +0200 | <dminuoso> | Do you use traceWith or traceShowWith *that* often to warrant a library function? |
| 2021-05-18 15:04:46 +0200 | <boxscape> | hmm I mean it's not just about how often *I* use it it's how often users of Debug.Trace use it combined. Which is apparently enough that some libraries on hackage thought it was worth including |
| 2021-05-18 15:05:32 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 15:05:43 +0200 | <boxscape> | though interestingly relude only has traceShowWith actually, not traceWith |
| 2021-05-18 15:06:06 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-05-18 15:06:39 +0200 | ricly_yellowp | (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 2021-05-18 15:07:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) |
| 2021-05-18 15:08:11 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-18 15:08:48 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-18 15:09:05 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-18 15:09:11 +0200 | ricly_yellowp | (~pricly_ye@static.90.189.158.212.sinor.ru) (Remote host closed the connection) |
| 2021-05-18 15:09:29 +0200 | ricly_yellowp | (~pricly_ye@static.90.189.158.212.sinor.ru) |
| 2021-05-18 15:11:52 +0200 | mastarija__ | (~mastarija@78-3-221-47.adsl.net.t-com.hr) |
| 2021-05-18 15:14:05 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 15:14:20 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 15:14:46 +0200 | mastarija_ | (~mastarija@46.188.140.218) (Ping timeout: 240 seconds) |
| 2021-05-18 15:14:56 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-18 15:16:38 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-18 15:17:03 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection) |
| 2021-05-18 15:17:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 15:20:35 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 15:21:06 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-236-241.w83-200.abo.wanadoo.fr) |
| 2021-05-18 15:21:18 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-18 15:22:51 +0200 | mjlbach | (atriusmatr@gateway/shell/matrix.org/x-lfekbmgcuardpmmm) (Ping timeout: 245 seconds) |
| 2021-05-18 15:22:51 +0200 | bitonic | (bitonicmat@gateway/shell/matrix.org/x-gpebkzgqxwwxsfwe) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:07 +0200 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-ojhxzwohbdrmgjvq) (Ping timeout: 276 seconds) |
| 2021-05-18 15:23:08 +0200 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-iwjfaqxdmtzvjimd) (Ping timeout: 276 seconds) |
| 2021-05-18 15:23:08 +0200 | psydruid[m] | (psydruidma@gateway/shell/matrix.org/x-rgbznonnmocgijtt) (Ping timeout: 276 seconds) |
| 2021-05-18 15:23:08 +0200 | lowdude[m] | (lowdudemat@gateway/shell/matrix.org/x-xnwsmmomyudcobam) (Ping timeout: 276 seconds) |
| 2021-05-18 15:23:16 +0200 | dominicusin[m] | (dominicusi@gateway/shell/matrix.org/x-pjkljbbzolpsvumj) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:16 +0200 | pnotequalnp[m] | (pnotequaln@gateway/shell/matrix.org/x-ptcimncfzlfhmbvu) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-18 15:23:41 +0200 | JaakkoLuttinen[m | (jluttinema@gateway/shell/matrix.org/x-btugkmuncsueyjng) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:41 +0200 | speakerspivakeem | (speakerdea@gateway/shell/matrix.org/x-phfwwidrwfyfbnxt) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:41 +0200 | loyon | (loyonmatri@gateway/shell/matrix.org/x-wfgvrkkcigndkuew) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:41 +0200 | srid | (sridmatrix@gateway/shell/matrix.org/x-ywvzzfbfnsihtdgl) (Ping timeout: 245 seconds) |
| 2021-05-18 15:23:42 +0200 | Joshua[m]1 | (eleos91mat@gateway/shell/matrix.org/x-clqrxahjwxmjdtez) (Ping timeout: 245 seconds) |
| 2021-05-18 15:24:06 +0200 | siraben | (sirabenmat@gateway/shell/matrix.org/x-heuatjnwiiuzaciw) (Ping timeout: 245 seconds) |
| 2021-05-18 15:24:07 +0200 | my_name_is_not_j | (mynameisno@gateway/shell/matrix.org/x-nfcroanejsuhbzqx) (Ping timeout: 245 seconds) |
| 2021-05-18 15:24:25 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-18 15:24:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-18 15:25:12 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 15:25:20 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 15:25:33 +0200 | lowdude[m] | (lowdudemat@gateway/shell/matrix.org/x-rwekujlqjebgaymj) |
| 2021-05-18 15:26:36 +0200 | <maerwald> | how do you build regex-posix on windows? |
| 2021-05-18 15:26:36 +0200 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-tztspupxzoheiklg) |
| 2021-05-18 15:26:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 15:28:28 +0200 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-fahfcwdtutkspgit) |
| 2021-05-18 15:28:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-18 15:29:18 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-ktaxminaewuooulr) |
| 2021-05-18 15:29:47 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-18 15:29:55 +0200 | amatecha____ | (sid10006@gateway/web/irccloud.com/x-kkwncmkzdtehtbuc) (Ping timeout: 260 seconds) |
| 2021-05-18 15:29:57 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 245 seconds) |
| 2021-05-18 15:30:07 +0200 | drupol | (sid117588@gateway/web/irccloud.com/x-mvxmjrjztnobaxja) (Ping timeout: 246 seconds) |
| 2021-05-18 15:30:07 +0200 | pnotequalnp[m] | (pnotequaln@gateway/shell/matrix.org/x-gulfvxxprzxeokud) |
| 2021-05-18 15:30:09 +0200 | dominicusin[m] | (dominicusi@gateway/shell/matrix.org/x-pioypayqzgiznblu) |
| 2021-05-18 15:30:25 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-oiswgqyduhjrscso) (Ping timeout: 250 seconds) |
| 2021-05-18 15:30:28 +0200 | ketas1 | (~ketas@138.199.47.158) (Remote host closed the connection) |
| 2021-05-18 15:30:51 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-lueqolprtaqpohdi) (Ping timeout: 260 seconds) |
| 2021-05-18 15:30:51 +0200 | angerman | (sid209936@gateway/web/irccloud.com/x-bjqvqntumlclafcb) (Ping timeout: 260 seconds) |
| 2021-05-18 15:30:53 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-18 15:31:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-05-18 15:31:17 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-nmpsczwmqtirdvkj) (Ping timeout: 250 seconds) |
| 2021-05-18 15:31:34 +0200 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg) (Ping timeout: 276 seconds) |
| 2021-05-18 15:31:37 +0200 | psydruid[m] | (psydruidma@gateway/shell/matrix.org/x-ysctwwwcffcfyahy) |
| 2021-05-18 15:31:45 +0200 | speakerspivakeem | (speakerdea@gateway/shell/matrix.org/x-qhnbwvsexnnegbay) |
| 2021-05-18 15:32:13 +0200 | loyon | (loyonmatri@gateway/shell/matrix.org/x-cleuwtuupwvqboxq) |
| 2021-05-18 15:32:45 +0200 | alexknvl | (sid259568@gateway/web/irccloud.com/x-rlytllyduflkddpd) |
| 2021-05-18 15:32:47 +0200 | JaakkoLuttinen[m | (jluttinema@gateway/shell/matrix.org/x-zfivpdnqecbkhomt) |
| 2021-05-18 15:33:02 +0200 | srid | (sridmatrix@gateway/shell/matrix.org/x-gqyinnhmrndtkhpj) |
| 2021-05-18 15:33:13 +0200 | Joshua[m]1 | (eleos91mat@gateway/shell/matrix.org/x-iimldppqslrbviil) |
| 2021-05-18 15:33:15 +0200 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-thidiwyvispmjuxw) |
| 2021-05-18 15:33:17 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-lcvuldtqumombbtc) (Ping timeout: 245 seconds) |
| 2021-05-18 15:33:31 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb) (Ping timeout: 276 seconds) |
| 2021-05-18 15:33:39 +0200 | betawaffle | (sid2730@gateway/web/irccloud.com/x-vuapykwwajysrsxt) (Ping timeout: 260 seconds) |
| 2021-05-18 15:33:39 +0200 | pepeiborra | (sid443799@gateway/web/irccloud.com/x-wwhumdjiavtzqvnj) (Ping timeout: 260 seconds) |
| 2021-05-18 15:33:59 +0200 | drupol | (sid117588@gateway/web/irccloud.com/x-ktxgnurczxtyiher) |
| 2021-05-18 15:34:07 +0200 | jonrh | (sid5185@gateway/web/irccloud.com/x-mgnbpcjwtutwyefu) (Ping timeout: 260 seconds) |
| 2021-05-18 15:34:15 +0200 | my_name_is_not_j | (mynameisno@gateway/shell/matrix.org/x-tdwpthxbtskllgxm) |
| 2021-05-18 15:34:22 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-wacoajflxivjnnhh) |
| 2021-05-18 15:34:30 +0200 | mastarija__ | (~mastarija@78-3-221-47.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-18 15:34:41 +0200 | ibloom | (sid350277@gateway/web/irccloud.com/x-acyeyftylgmwfwye) |
| 2021-05-18 15:35:06 +0200 | <yushyin> | isn't that what the _regex-posix-clib flag is for? |
| 2021-05-18 15:35:11 +0200 | moobar | (sid171730@gateway/web/irccloud.com/x-dzeuwzhyexwyqqbx) (Ping timeout: 250 seconds) |
| 2021-05-18 15:35:25 +0200 | <boxscape> | % undefined {Data.Monoid.getSum = 5} |
| 2021-05-18 15:35:26 +0200 | <yahb> | boxscape: Sum {getSum = 5} |
| 2021-05-18 15:35:49 +0200 | <dminuoso> | err. wait. |
| 2021-05-18 15:35:51 +0200 | <dminuoso> | what? |
| 2021-05-18 15:35:54 +0200 | <boxscape> | heh |
| 2021-05-18 15:35:57 +0200 | benin | (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-18 15:35:58 +0200 | siraben | (sirabenmat@gateway/shell/matrix.org/x-dgmbaljohxwaqwdk) |
| 2021-05-18 15:36:03 +0200 | jlpeters | (sid25606@gateway/web/irccloud.com/x-arwccajngugcacff) (Ping timeout: 250 seconds) |
| 2021-05-18 15:36:10 +0200 | <dminuoso> | Oh. |
| 2021-05-18 15:36:21 +0200 | <boxscape> | it does feel a bit weird that this isn't bottom |
| 2021-05-18 15:36:22 +0200 | <dminuoso> | I guess this only works for newtypes. |
| 2021-05-18 15:36:23 +0200 | mjlbach | (atriusmatr@gateway/shell/matrix.org/x-zmooaaoowzestuxp) |
| 2021-05-18 15:36:29 +0200 | bitonic | (bitonicmat@gateway/shell/matrix.org/x-zthfperyocxpgcwu) |
| 2021-05-18 15:36:35 +0200 | drupol | (sid117588@gateway/web/irccloud.com/x-ktxgnurczxtyiher) (Max SendQ exceeded) |
| 2021-05-18 15:36:38 +0200 | <boxscape> | % data X = X {x :: Int} |
| 2021-05-18 15:36:38 +0200 | <yahb> | boxscape: |
| 2021-05-18 15:36:43 +0200 | <dminuoso> | the real question is, is this behavior guaranteed by the haskell report? |
| 2021-05-18 15:36:43 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-wacoajflxivjnnhh) (Max SendQ exceeded) |
| 2021-05-18 15:36:44 +0200 | <boxscape> | % undefined {x = 5} |
| 2021-05-18 15:36:44 +0200 | <yahb> | boxscape: ; <interactive>:127:1: error:; * No instance for (Show X) arising from a use of `print'; * In a stmt of an interactive GHCi command: print it |
| 2021-05-18 15:36:46 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-18 15:36:50 +0200 | <boxscape> | % data X = X {x :: Int} deriving Show |
| 2021-05-18 15:36:51 +0200 | <yahb> | boxscape: |
| 2021-05-18 15:36:53 +0200 | <boxscape> | % undefined {x = 5} |
| 2021-05-18 15:36:53 +0200 | <yahb> | boxscape: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:129:1 in interactive:Ghci72 |
| 2021-05-18 15:36:55 +0200 | <boxscape> | yes |
| 2021-05-18 15:37:10 +0200 | moobar | (sid171730@gateway/web/irccloud.com/x-imzargwlwtmnlprj) |
| 2021-05-18 15:37:20 +0200 | aizen_s | (sid462968@gateway/web/irccloud.com/x-pdobkgbmauvjilnc) |
| 2021-05-18 15:37:27 +0200 | liszt | (sid336875@gateway/web/irccloud.com/x-kdtramimtrepsyqt) (Ping timeout: 246 seconds) |
| 2021-05-18 15:37:33 +0200 | caasih | (sid13241@gateway/web/irccloud.com/x-wswfzorparzehwov) |
| 2021-05-18 15:37:37 +0200 | drupol | (sid117588@gateway/web/irccloud.com/x-rigpaemjuvtbwaft) |
| 2021-05-18 15:37:52 +0200 | jonrh | (sid5185@gateway/web/irccloud.com/x-bewsihfspazmregp) |
| 2021-05-18 15:38:14 +0200 | jlpeters | (sid25606@gateway/web/irccloud.com/x-byhimadpqxfxkcmi) |
| 2021-05-18 15:38:16 +0200 | guriya | (a0ee4ae0@unaffiliated/guriya) |
| 2021-05-18 15:38:28 +0200 | pepeiborra | (sid443799@gateway/web/irccloud.com/x-tvmoulmccblsrfxy) |
| 2021-05-18 15:38:47 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-18 15:39:20 +0200 | betawaffle | (sid2730@gateway/web/irccloud.com/x-rsocddvfiyhlviiq) |
| 2021-05-18 15:39:22 +0200 | tapas | (sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj) (Ping timeout: 276 seconds) |
| 2021-05-18 15:39:35 +0200 | <dminuoso> | How's that? |
| 2021-05-18 15:40:00 +0200 | <boxscape> | to be clear my "yes" was to your "I guess that only works for newtypes", I'm still looking at the report |
| 2021-05-18 15:40:10 +0200 | <dminuoso> | oh |
| 2021-05-18 15:40:12 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 15:40:22 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-05-18 15:40:35 +0200 | <dminuoso> | My intuition says this is covered by Haskell report, for the same reason it was intuitively clear that this would only work for newtypes. |
| 2021-05-18 15:41:49 +0200 | <boxscape> | according to the report, `undefined {getSum = 4}` is translated into `case undefined of Sum x -> Sum 4`, I believe |
| 2021-05-18 15:41:54 +0200 | <boxscape> | % case undefined of Sum x -> Sum 4 |
| 2021-05-18 15:41:55 +0200 | <yahb> | boxscape: Sum {getSum = 4} |
| 2021-05-18 15:41:59 +0200 | <boxscape> | looks good dminuoso |
| 2021-05-18 15:42:08 +0200 | angerman | (sid209936@gateway/web/irccloud.com/x-pzvelbtxymwnmpjf) |
| 2021-05-18 15:42:20 +0200 | <boxscape> | (page 27) |
| 2021-05-18 15:42:26 +0200 | <dminuoso> | uh.. |
| 2021-05-18 15:42:31 +0200 | darthThorik | (sid39589@gateway/web/irccloud.com/x-oqamjdqpvpmmnlft) (Ping timeout: 260 seconds) |
| 2021-05-18 15:42:33 +0200 | tapas | (sid467876@gateway/web/irccloud.com/x-fctmknlibzephzzk) |
| 2021-05-18 15:42:40 +0200 | <dminuoso> | Looks fine in principle |
| 2021-05-18 15:42:46 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-vluvleavijnzkvmp) |
| 2021-05-18 15:42:56 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 15:43:05 +0200 | betawaffle | (sid2730@gateway/web/irccloud.com/x-rsocddvfiyhlviiq) (Max SendQ exceeded) |
| 2021-05-18 15:43:07 +0200 | <dminuoso> | That one definitely goes into my dark bag of obfuscation tricks. |
| 2021-05-18 15:43:15 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 2021-05-18 15:43:18 +0200 | <boxscape> | nice |
| 2021-05-18 15:43:22 +0200 | fendor | (~fendor@178.165.129.230.wireless.dyn.drei.com) |
| 2021-05-18 15:43:35 +0200 | darthThorik | (sid39589@gateway/web/irccloud.com/x-jowxtmnphsrffvaz) |
| 2021-05-18 15:43:51 +0200 | <dminuoso> | I wonder, why it's translated into case-of at all |
| 2021-05-18 15:44:01 +0200 | liszt | (sid336875@gateway/web/irccloud.com/x-dofckrhdjbdewhsw) |
| 2021-05-18 15:44:07 +0200 | betawaffle | (sid2730@gateway/web/irccloud.com/x-qejwbkohjtyrhqjm) |
| 2021-05-18 15:44:11 +0200 | <dminuoso> | Since we dont have any syntax for something like `undefined { getSum += 4 }` |
| 2021-05-18 15:44:16 +0200 | ystael | (~ystael@130.44.151.113) (Quit: Lost terminal) |
| 2021-05-18 15:44:39 +0200 | <opqdonut> | you need to bind the nonchanging fields right? |
| 2021-05-18 15:44:46 +0200 | <boxscape> | if you have `data Foo = A {x :: Bool} | B {x :: Bool, y :: Int}`, you need to know which constructor to pick |
| 2021-05-18 15:44:54 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 15:45:05 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 15:45:07 +0200 | <dminuoso> | opqdonut: non-changing fields in a newtype? |
| 2021-05-18 15:45:18 +0200 | <dminuoso> | oh hold on |
| 2021-05-18 15:45:20 +0200 | <opqdonut> | oh right I was thinking in general |
| 2021-05-18 15:45:35 +0200 | <opqdonut> | since the conversion to case-of is the same for data & newtype right? |
| 2021-05-18 15:45:38 +0200 | <boxscape> | yeah |
| 2021-05-18 15:45:40 +0200 | <dminuoso> | boxscape: yeah, but this is a newtype |
| 2021-05-18 15:45:47 +0200 | <boxscape> | dminuoso yeah but the report doesn't care |
| 2021-05-18 15:46:06 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 15:46:12 +0200 | <opqdonut> | it's nicer if it's symmetric |
| 2021-05-18 15:46:15 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:1d97:2a21:a75b:9085) (Ping timeout: 260 seconds) |
| 2021-05-18 15:46:20 +0200 | amatecha____ | (sid10006@gateway/web/irccloud.com/x-tgfngzkpuygzowds) |
| 2021-05-18 15:46:21 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 15:46:45 +0200 | [n1x]_ | (~n1x]_@178.238.11.35) |
| 2021-05-18 15:46:52 +0200 | <boxscape> | who knows if GHC translates it into `case` for newtypes though |
| 2021-05-18 15:48:06 +0200 | <boxscape> | % let getSum = getSum in getSum {getSum = 4} -- dminuoso how's this for obfuscation |
| 2021-05-18 15:48:06 +0200 | <yahb> | boxscape: Sum {getSum = 4} |
| 2021-05-18 15:48:21 +0200 | drbean_ | (~drbean@TC210-63-209-89.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-18 15:48:31 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 15:48:33 +0200 | <opqdonut> | nice |
| 2021-05-18 15:49:18 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-05-18 15:49:20 +0200 | <boxscape> | % let getSum = getSum in Data.Monoid.getSum getSum {getSum = 4} -- dminuoso how's this for obfuscation |
| 2021-05-18 15:49:23 +0200 | <yahb> | boxscape: 4 |
| 2021-05-18 15:49:41 +0200 | <boxscape> | (didn't mean to copy the comment but oh well) |
| 2021-05-18 15:49:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 15:51:21 +0200 | guriya | (a0ee4ae0@unaffiliated/guriya) (Quit: Connection closed) |
| 2021-05-18 15:52:32 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 15:52:35 +0200 | mpiechotka | (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 15:52:51 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 15:52:52 +0200 | mpiechotka | (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-18 15:53:02 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-18 15:53:04 +0200 | mpiechotka | (~mpiechotk@107.203.255.70) |
| 2021-05-18 15:53:05 +0200 | mpiechotka | (~mpiechotk@107.203.255.70) (Remote host closed the connection) |
| 2021-05-18 15:53:26 +0200 | NieDzejkob | (~quassel@195.149.98.3) (Ping timeout: 240 seconds) |
| 2021-05-18 15:53:29 +0200 | <dminuoso> | % fix (const fix) $ \t -> (1, fst t + 1) |
| 2021-05-18 15:53:29 +0200 | <yahb> | dminuoso: (1,2) |
| 2021-05-18 15:53:29 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Remote host closed the connection) |
| 2021-05-18 15:53:36 +0200 | nojster | (~noj@vmd62096.contaboserver.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-18 15:53:40 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2021-05-18 15:53:42 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-18 15:53:46 +0200 | noj- | (~noj@vmd62096.contaboserver.net) |
| 2021-05-18 15:53:59 +0200 | <dminuoso> | % :t fix . const |
| 2021-05-18 15:53:59 +0200 | <yahb> | dminuoso: c -> c |
| 2021-05-18 15:54:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-18 15:54:38 +0200 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!) |
| 2021-05-18 15:54:56 +0200 | <maerwald> | c2hs is really annoying |
| 2021-05-18 15:55:06 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-18 15:55:10 +0200 | <merijn> | C is really annoying |
| 2021-05-18 15:55:14 +0200 | <maerwald> | I have at least 2 dependencies that fail on a) 32bit linux and b) windows |
| 2021-05-18 15:55:19 +0200 | <merijn> | c2hs' annoyingness is just an extension of that :p |
| 2021-05-18 15:55:19 +0200 | <maerwald> | because the parser is broken |
| 2021-05-18 15:55:20 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds) |
| 2021-05-18 15:55:33 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-18 15:55:40 +0200 | <maerwald> | that doesn't help me |
| 2021-05-18 15:55:45 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-18 15:55:47 +0200 | <maerwald> | I'm going to avoid packages using c2hs |
| 2021-05-18 15:56:01 +0200 | <merijn> | maerwald: c2hs isn't intended as a tool for automated use, so you should avoid those, yes |
| 2021-05-18 15:56:31 +0200 | <merijn> | Or am I thinking of c2hsc now? |
| 2021-05-18 15:56:33 +0200 | <merijn> | lemme check |
| 2021-05-18 15:56:41 +0200 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) |
| 2021-05-18 15:57:10 +0200 | <dminuoso> | fix (const fix) |
| 2021-05-18 15:57:13 +0200 | <dminuoso> | Is probably my favourite atm |
| 2021-05-18 15:57:24 +0200 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-05-18 15:57:37 +0200 | <boxscape> | it's pretty neat |
| 2021-05-18 15:57:48 +0200 | <merijn> | :t fix (const fix) |
| 2021-05-18 15:57:49 +0200 | <lambdabot> | (a -> a) -> a |
| 2021-05-18 15:58:26 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:a52c:b530:6c8a:fd41) |
| 2021-05-18 15:58:47 +0200 | ddella___ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 15:58:50 +0200 | poljar1 | (~poljar@93-139-93-177.adsl.net.t-com.hr) |
| 2021-05-18 15:59:06 +0200 | vchlup_ | (~vchlup@nat.brnet.cz) |
| 2021-05-18 15:59:10 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-18 15:59:17 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 15:59:17 +0200 | CrazyPyt_ | (~crazypyth@206.214.238.6) |
| 2021-05-18 15:59:30 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-18 15:59:39 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-18 15:59:39 +0200 | poljar | (~poljar@93-139-93-177.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-05-18 15:59:39 +0200 | CrazyPython | (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-18 15:59:39 +0200 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) (Remote host closed the connection) |
| 2021-05-18 15:59:48 +0200 | haya5 | (~haya@18.230.78.122) |
| 2021-05-18 15:59:50 +0200 | Katarushisu1 | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-05-18 15:59:51 +0200 | styledash7 | (~styledash@157.230.173.136) |
| 2021-05-18 16:00:25 +0200 | dan64 | (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 2021-05-18 16:00:25 +0200 | Xnuk | (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-05-18 16:00:25 +0200 | RoguePointer | (~jigen@unaffiliated/roguepointer) (Quit: <>) |
| 2021-05-18 16:00:26 +0200 | Unode | (~Unode@unaffiliated/unode) (Quit: Off it goes) |
| 2021-05-18 16:00:39 +0200 | bob_twinkles | (~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-18 16:00:42 +0200 | Arch-TK | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-05-18 16:00:43 +0200 | Xnuk | (~xnuk@45.76.202.58) |
| 2021-05-18 16:00:43 +0200 | remedan_ | (~remedan@balak.me) |
| 2021-05-18 16:00:48 +0200 | RoguePointer | (~jigen@94.177.235.178) |
| 2021-05-18 16:00:48 +0200 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) |
| 2021-05-18 16:00:49 +0200 | RoguePointer | (~jigen@94.177.235.178) (Changing host) |
| 2021-05-18 16:00:49 +0200 | RoguePointer | (~jigen@unaffiliated/roguepointer) |
| 2021-05-18 16:00:50 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-18 16:01:06 +0200 | sm2n | (~sm2n@74.12.28.63) |
| 2021-05-18 16:01:08 +0200 | Unode | (~Unode@unaffiliated/unode) |
| 2021-05-18 16:01:15 +0200 | Ophir | (~manjaro-u@138.59.122.124) (Remote host closed the connection) |
| 2021-05-18 16:01:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | boxscape: Do you think we can use your trick with fix somehow? |
| 2021-05-18 16:01:30 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-05-18 16:01:30 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 16:01:30 +0200 | vchlup | (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 2021-05-18 16:01:30 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-18 16:01:30 +0200 | haya | (~haya@ec2-18-230-78-122.sa-east-1.compute.amazonaws.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 16:01:30 +0200 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 16:01:30 +0200 | styledash | (~styledash@157.230.173.136) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 16:01:30 +0200 | seliopou | (seliopou@entropy.tmok.com) (Ping timeout: 240 seconds) |
| 2021-05-18 16:01:30 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-18 16:01:30 +0200 | styledash7 | styledash |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | Oh |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | fix $ \t -> t { getSum = 6 } |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | This is neat |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | Or we can make it cuter |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | fix (const fix) $ \t -> t { getSum = 6 } |
| 2021-05-18 16:01:30 +0200 | <dminuoso> | How's that? |
| 2021-05-18 16:01:30 +0200 | emergence2 | (~emergence@vm0.max-p.me) |
| 2021-05-18 16:01:30 +0200 | emergence | (~emergence@vm0.max-p.me) (Read error: Connection reset by peer) |
| 2021-05-18 16:01:30 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-18 16:01:30 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-18 16:01:30 +0200 | vent | (~vent@185.62.190.213) (Quit: ZNC - http://znc.in) |
| 2021-05-18 16:01:30 +0200 | jrm | (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 2021-05-18 16:01:30 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2021-05-18 16:01:30 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Remote host closed the connection) |
| 2021-05-18 16:01:30 +0200 | Anthaas | (~Anthaas@unaffiliated/anthaas) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-05-18 16:01:30 +0200 | remedan | (~remedan@balak.me) (Quit: Bye!) |
| 2021-05-18 16:01:30 +0200 | ekleog | (~ii@prologin/ekleog) (Remote host closed the connection) |
| 2021-05-18 16:01:31 +0200 | ddella___ | 895AAIPMI |
| 2021-05-18 16:01:31 +0200 | vent | (~vent@185.62.190.213) |
| 2021-05-18 16:01:31 +0200 | ddella___ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 16:01:31 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-05-18 16:01:31 +0200 | haya5 | haya |
| 2021-05-18 16:01:33 +0200 | jrm2 | (~jrm@freebsd/developer/jrm) |
| 2021-05-18 16:01:37 +0200 | ekleog_ | (~ii@prologin/ekleog) |
| 2021-05-18 16:01:37 +0200 | Katarushisu1 | Katarushisu |
| 2021-05-18 16:01:41 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-05-18 16:01:43 +0200 | Alleria__ | (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds) |
| 2021-05-18 16:01:44 +0200 | dan64 | (~dan64@107.170.238.198) |
| 2021-05-18 16:02:00 +0200 | <boxscape> | not bad :) |
| 2021-05-18 16:02:04 +0200 | jrm2 | jrm |
| 2021-05-18 16:02:04 +0200 | Vq | (~vq@90.227.195.41) |
| 2021-05-18 16:02:08 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-18 16:02:09 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-18 16:02:09 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-18 16:02:11 +0200 | obiiwahn | (~obiwahn@pdpc/supporter/student/obiwahn) (Ping timeout: 240 seconds) |
| 2021-05-18 16:02:14 +0200 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-05-18 16:02:27 +0200 | seliopou | (seliopou@entropy.tmok.com) |
| 2021-05-18 16:02:51 +0200 | Anthaas | (~Anthaas@unaffiliated/anthaas) |
| 2021-05-18 16:02:52 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-05-18 16:03:02 +0200 | 895AAIPMI | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-18 16:03:16 +0200 | <mniip> | why fix something that works |
| 2021-05-18 16:03:19 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds) |
| 2021-05-18 16:03:42 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-18 16:04:03 +0200 | bob_twinkles | (~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) |
| 2021-05-18 16:04:05 +0200 | Alleria | Guest69204 |
| 2021-05-18 16:04:11 +0200 | In0perable | (~PLAYER_1@fancydata.science) |
| 2021-05-18 16:04:12 +0200 | APic | (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-05-18 16:04:12 +0200 | <dminuoso> | [Russian accent]: Sometimes you have to fix error |
| 2021-05-18 16:04:31 +0200 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-18 16:04:41 +0200 | <merijn> | > fix error |
| 2021-05-18 16:04:43 +0200 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2021-05-18 16:05:02 +0200 | Arch-TK | atk |
| 2021-05-18 16:06:24 +0200 | rix_ | (~rix@117.222.67.232) |
| 2021-05-18 16:06:34 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-18 16:06:40 +0200 | sm2n | (~sm2n@74.12.28.63) (Ping timeout: 252 seconds) |
| 2021-05-18 16:07:15 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) (Ping timeout: 260 seconds) |
| 2021-05-18 16:08:13 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-18 16:08:22 +0200 | mastarija__ | (~mastarija@78-3-221-47.adsl.net.t-com.hr) |
| 2021-05-18 16:08:29 +0200 | alx741 | (~alx741@186.178.108.105) |
| 2021-05-18 16:09:51 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-18 16:10:07 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 16:10:17 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-18 16:10:26 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 16:12:21 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-150.dsl.bell.ca) |
| 2021-05-18 16:12:45 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-18 16:13:47 +0200 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-18 16:14:25 +0200 | NieDzejkob | (~quassel@195.149.98.3) |
| 2021-05-18 16:16:39 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-18 16:17:30 +0200 | <safinaskar> | how to check that given list doesn't contain duplicates? i can think of this: (all (\x -> length x == 1) $ group $ sort a). is there some more ideomatic way? |
| 2021-05-18 16:18:25 +0200 | <merijn> | :t all (==1) . M.fromListWith (+) . map (,1) |
| 2021-05-18 16:18:25 +0200 | <dminuoso> | Yes |
| 2021-05-18 16:18:26 +0200 | <lambdabot> | Ord k => [k] -> Bool |
| 2021-05-18 16:18:40 +0200 | <mniip> | isJust . foldr (liftA2 (.) (fmap . S.insert) (mfilter . S.notMember)) (Just S.empty) |
| 2021-05-18 16:18:46 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-05-18 16:18:57 +0200 | <mniip> | (sorry I just had that lying around) |
| 2021-05-18 16:19:00 +0200 | <dminuoso> | % isUnique [] = True; isUnique (x:xs) = x `notElem` xs && isUnique xs |
| 2021-05-18 16:19:00 +0200 | <merijn> | mniip: That's mine, but worse :p |
| 2021-05-18 16:19:02 +0200 | <yahb> | dminuoso: |
| 2021-05-18 16:19:07 +0200 | <dminuoso> | ^- this is probably the idiomatic way. |
| 2021-05-18 16:19:08 +0200 | <mniip> | it's better actually |
| 2021-05-18 16:19:09 +0200 | <merijn> | Although I guess it short circuits |
| 2021-05-18 16:19:12 +0200 | <mniip> | exactly |
| 2021-05-18 16:19:20 +0200 | <merijn> | mniip: Whether that's better depends :p |
| 2021-05-18 16:19:23 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-18 16:19:25 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) |
| 2021-05-18 16:19:40 +0200 | <dminuoso> | What merijn and mniip wrote are just cute tricks, whether you want them in your production code.. dunno. :) |
| 2021-05-18 16:19:43 +0200 | <merijn> | dminuoso: That's the worst of all worlds :p |
| 2021-05-18 16:19:47 +0200 | <merijn> | dminuoso: wut? |
| 2021-05-18 16:19:59 +0200 | <merijn> | I'd give some intermediate names in real code, probably |
| 2021-05-18 16:20:01 +0200 | <dminuoso> | jeez |
| 2021-05-18 16:20:03 +0200 | <dminuoso> | sorry |
| 2021-05-18 16:20:05 +0200 | <dminuoso> | wait |
| 2021-05-18 16:20:18 +0200 | <kuribas> | dminuoso: https://www.youtube.com/watch?v=8HZ4DnVfWYQ |
| 2021-05-18 16:20:22 +0200 | <merijn> | I guess yours short-circuits, so that helps |
| 2021-05-18 16:20:29 +0200 | <dminuoso> | My brain is on autopilot. :P |
| 2021-05-18 16:20:51 +0200 | <merijn> | But "fold sequence into a map and evaluate predicate against counts" is something I find myself doing *a lot* |
| 2021-05-18 16:21:03 +0200 | <merijn> | It's why I hate the stupid Monoid on Map |
| 2021-05-18 16:21:33 +0200 | <merijn> | Otherwise I could just do "foldMap (\x -> M.singleton x (Sum 1))" |
| 2021-05-18 16:22:31 +0200 | <merijn> | safinaskar: So there you go, that's roughly 3 different versions ;) |
| 2021-05-18 16:22:45 +0200 | <dminuoso> | isUnique xs = go Set.empty where go _ [] = False; go buf (x:xs) = x `Set.elem` seen || go (Set.insert x s) xs |
| 2021-05-18 16:23:04 +0200 | <dminuoso> | Here. |
| 2021-05-18 16:23:26 +0200 | <merijn> | Although mine has the bonus of making it easy to report which values violate the constraint :p |
| 2021-05-18 16:23:41 +0200 | argento | (~argent0@168.227.96.26) (Ping timeout: 240 seconds) |
| 2021-05-18 16:23:50 +0200 | <dminuoso> | well you can adapt my isUnique trivially too |
| 2021-05-18 16:24:27 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 16:24:29 +0200 | <dminuoso> | % isUnique xs = go Set.empty where go _ [] = False; go buf (x:xs) = x `Set.elem` s || go (Set.insert x s) xs |
| 2021-05-18 16:24:29 +0200 | <yahb> | dminuoso: ; <interactive>:2:18: error:; Not in scope: `Set.empty'; Perhaps you meant one of these: `Seq.empty' (imported from Data.Sequence), data constructor `Seq.Empty' (imported from Data.Sequence), `S.empty' (imported from Data.Set); No module named `Set' is imported.; <interactive>:2:69: error:; Not in scope: `Set.elem'; No module named `Set' is imported.; <interactive>:2:89: error:; N |
| 2021-05-18 16:24:35 +0200 | <dminuoso> | % import qualified Data.Set as Set |
| 2021-05-18 16:24:35 +0200 | <yahb> | dminuoso: |
| 2021-05-18 16:24:37 +0200 | <dminuoso> | % isUnique xs = go Set.empty where go _ [] = False; go buf (x:xs) = x `Set.elem` s || go (Set.insert x s) xs |
| 2021-05-18 16:24:37 +0200 | <yahb> | dminuoso: ; <interactive>:4:69: error:; Not in scope: `Set.elem'; Perhaps you meant one of these: `Set.elems' (imported from Data.Set), `Set.elemAt' (imported from Data.Set) |
| 2021-05-18 16:24:42 +0200 | rix_ | (~rix@117.222.67.232) () |
| 2021-05-18 16:24:57 +0200 | <dminuoso> | Guess its member |
| 2021-05-18 16:25:05 +0200 | <int-e> | it is |
| 2021-05-18 16:25:15 +0200 | qwerty2o | (~qwerty2o@46.19.86.170) |
| 2021-05-18 16:25:52 +0200 | <dminuoso> | % isUnique xs = go Set.empty where go _ [] = False; go buf (x:xs) = x `Set.member` buf || go (Set.insert x buf) xs |
| 2021-05-18 16:25:52 +0200 | <yahb> | dminuoso: |
| 2021-05-18 16:25:57 +0200 | <dminuoso> | % isUnique [1,2,3] |
| 2021-05-18 16:25:57 +0200 | <yahb> | dminuoso: ; <interactive>:9:1: error:; * No instance for (Show ([()] -> Bool)) arising from a use of `print'; (maybe you haven't applied a function to enough arguments?); * In a stmt of an interactive GHCi command: print it |
| 2021-05-18 16:26:43 +0200 | <int-e> | % :t isUnique |
| 2021-05-18 16:26:43 +0200 | <yahb> | int-e: Ord a => [a] -> Bool |
| 2021-05-18 16:27:01 +0200 | <dminuoso> | (im fixing it in query) |
| 2021-05-18 16:27:37 +0200 | <int-e> | oh, precendence of `Set.member` I guess |
| 2021-05-18 16:28:22 +0200 | <int-e> | Ah, no. |
| 2021-05-18 16:28:29 +0200 | <dminuoso> | % isUnique xs = not (go Set.empty xs) where go _ [] = False; go buf (x:xs) = x `Set.member` buf || go (Set.insert x buf) xs |
| 2021-05-18 16:28:29 +0200 | <yahb> | dminuoso: |
| 2021-05-18 16:28:31 +0200 | <dminuoso> | Here we go. |
| 2021-05-18 16:28:49 +0200 | <int-e> | Haha, can't read code, didn't see the xs going unused. |
| 2021-05-18 16:29:00 +0200 | <mniip> | you can inline `not` into `go` |
| 2021-05-18 16:29:03 +0200 | <merijn> | dminuoso: Just use notMember and &&? :p |
| 2021-05-18 16:29:10 +0200 | <mniip> | exactly |
| 2021-05-18 16:29:11 +0200 | obiiwahn | (~obiwahn@pdpc/supporter/student/obiwahn) |
| 2021-05-18 16:29:17 +0200 | <dminuoso> | Ah, didnt realize notMember was a thing |
| 2021-05-18 16:29:21 +0200 | <dminuoso> | yeah, then thats easier |
| 2021-05-18 16:29:51 +0200 | <dminuoso> | % isUnique xs = go Set.empty xs where go _ [] = True; go buf (x:xs) = x `Set.notMember` buf && go (Set.insert x buf) xs |
| 2021-05-18 16:29:51 +0200 | <yahb> | dminuoso: |
| 2021-05-18 16:30:17 +0200 | <dminuoso> | And, perhaps put the `go _ []` as last pattern match |
| 2021-05-18 16:30:47 +0200 | <mniip> | hmm, there's some duality between folding with a Maybe, and short circuiting continuations |
| 2021-05-18 16:31:14 +0200 | <int-e> | > let isUnique xs = and (zipWith S.notMember xs (scanl (flip S.insert) S.empty xs)) in isUnique [1,2,3] |
| 2021-05-18 16:31:15 +0200 | <lambdabot> | True |
| 2021-05-18 16:33:46 +0200 | ozataman | (~ozataman@71.190.112.58) |
| 2021-05-18 16:34:36 +0200 | <safinaskar> | i don't like all these solutions :( |
| 2021-05-18 16:34:43 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
| 2021-05-18 16:34:49 +0200 | <dminuoso> | safinaskar: What dont you like about them? |
| 2021-05-18 16:34:56 +0200 | <mniip> | \xs -> length xs == S.size (S.fromList xs) |
| 2021-05-18 16:34:58 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 16:35:01 +0200 | <safinaskar> | dminuoso: my version is simpler to understand |
| 2021-05-18 16:35:10 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-gvcdyldsercsrxxi) |
| 2021-05-18 16:35:17 +0200 | <dminuoso> | safinaskar: I think you will find my last `isUnique` is very simple to understand. |
| 2021-05-18 16:35:19 +0200 | <merijn> | 1THat's linear, though |
| 2021-05-18 16:35:20 +0200 | <dminuoso> | and it performs well |
| 2021-05-18 16:35:21 +0200 | <int-e> | mniip: nub xs == xs |
| 2021-05-18 16:35:42 +0200 | <merijn> | safinaskar: Mine is simpler if you give the individual parts names :p |
| 2021-05-18 16:35:46 +0200 | <merijn> | :t M.fromListWith |
| 2021-05-18 16:35:47 +0200 | <lambdabot> | Ord k => (a -> a -> a) -> [(k, a)] -> M.Map k a |
| 2021-05-18 16:36:05 +0200 | <merijn> | safinaskar: That just builds a Map and uses the given function to handle duplicate keys |
| 2021-05-18 16:36:14 +0200 | <safinaskar> | is there some set merging function? (Set a -> Set a -> Maybe (Set a)). it should return nothing, if sets intersect |
| 2021-05-18 16:36:19 +0200 | <merijn> | safinaskar: So "map (,1)" turns everything into (v, 1) tuples |
| 2021-05-18 16:36:35 +0200 | <dminuoso> | safinaskar: In my case, we just continuously put each element into a set, but beforehand we check whether we already have the element in the set. The reason it performs well, is because we have a set behind it. |
| 2021-05-18 16:36:51 +0200 | <merijn> | safinaskar: And M.fromListWith (+) builds a Map with values as keys and counts as value (adding counts for duplicate keys) |
| 2021-05-18 16:37:05 +0200 | <merijn> | safinaskar: Finally "all (==1)" checks all values in the Map are 1 |
| 2021-05-18 16:37:08 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 16:37:43 +0200 | <int-e> | safinaskar: the benefit of accumulating a set (what dminuoso did; ignore my version, that was just uselessly showing off that I know how to use `scanl`) is that the function becomes lazy, wheras anything based on `sort` will have to evaluate the whole list first |
| 2021-05-18 16:37:45 +0200 | <merijn> | safinaskar: You could define a merge strategy for that and get an efficient merge that does that, but that's kinda tricky |
| 2021-05-18 16:38:45 +0200 | <dminuoso> | safinaskar: https://gist.github.com/dminuoso/3e7c5c815ce0e09a02e809d99b39e963 |
| 2021-05-18 16:39:06 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-18 16:39:49 +0200 | <dminuoso> | All the versions presented here, revolve around the same trick. Mine is just the very explicit and simple version. |
| 2021-05-18 16:40:14 +0200 | dhil | (~dhil@29.29.39.217.dyn.plus.net) |
| 2021-05-18 16:40:15 +0200 | <cub3s_> | Why does Haddock complain about "Haddock parse error on input ->" (for the second "->") ? |
| 2021-05-18 16:40:17 +0200 | <cub3s_> | newtype MyType = MyType { |
| 2021-05-18 16:40:18 +0200 | <cub3s_> | foo :: Int -- ^ documented first parameter. |
| 2021-05-18 16:40:18 +0200 | <cub3s_> | -> Int } |
| 2021-05-18 16:40:22 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-18 16:40:46 +0200 | <dminuoso> | cub3s_: Where is the first -> ? |
| 2021-05-18 16:40:49 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-18 16:40:59 +0200 | <cub3s_> | dminuoso, foo is a function Int -> Int |
| 2021-05-18 16:41:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 16:41:28 +0200 | <cub3s_> | doesn't haddock allow documentation of funcs inside types? |
| 2021-05-18 16:41:33 +0200 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-05-18 16:41:37 +0200 | <dminuoso> | Well you said the error is generated on "the second \"->\"". I see only one, so Im wondering whether you have shown the full code |
| 2021-05-18 16:41:49 +0200 | <boxscape> | can someone think of a yahb example where ghc asks you if you want to add something to an import list? For some reason I'm not getting this error with the examples I can think of |
| 2021-05-18 16:41:55 +0200 | <cub3s_> | dminuoso, oh lol. i'm an idiot. thanks for correcting. yeah, forget "second" |
| 2021-05-18 16:43:32 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) |
| 2021-05-18 16:44:51 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-05-18 16:45:52 +0200 | Guest_63 | (2f0b3ecf@47.11.62.207) |
| 2021-05-18 16:45:53 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) |
| 2021-05-18 16:46:16 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-150.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 16:47:02 +0200 | <Guest_63> | how to remove ghcup fully from my ubuntu machine? |
| 2021-05-18 16:47:19 +0200 | qwerty2o_ | (~qwerty2o@46.19.85.75) |
| 2021-05-18 16:48:03 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-05-18 16:49:48 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-18 16:50:26 +0200 | qwerty2o | (~qwerty2o@46.19.86.170) (Ping timeout: 240 seconds) |
| 2021-05-18 16:51:38 +0200 | mayleesia | maylee |
| 2021-05-18 16:52:00 +0200 | <[exa]> | Guest_63: how did you install it? |
| 2021-05-18 16:52:23 +0200 | <Guest_63> | i installed the haskell platform |
| 2021-05-18 16:53:21 +0200 | <[exa]> | hm not sure at that (I install it manually), but guess people here will know precisely |
| 2021-05-18 16:53:28 +0200 | argento | (~argent0@168.227.96.26) |
| 2021-05-18 16:53:55 +0200 | qwerty2o_ | (~qwerty2o@46.19.85.75) (Read error: Connection reset by peer) |
| 2021-05-18 16:54:01 +0200 | ozataman | (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-05-18 16:54:14 +0200 | <maerwald> | Guest_63: remove ~/.ghcup |
| 2021-05-18 16:55:13 +0200 | <Guest_63> | maerwald:this didn't eork :( |
| 2021-05-18 16:55:20 +0200 | parabolize | (~paraboliz@98.43.173.221) |
| 2021-05-18 16:55:53 +0200 | <maerwald> | I don't know what that means |
| 2021-05-18 16:56:12 +0200 | <[exa]> | Guest_63: how did it fail? |
| 2021-05-18 16:56:33 +0200 | <Guest_63> | terminal says command remove not found |
| 2021-05-18 16:56:42 +0200 | <maerwald> | lol |
| 2021-05-18 16:56:46 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 16:57:00 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) |
| 2021-05-18 16:57:05 +0200 | <int-e> | . o O ( mv ~/.ghcup ~/.ghcup.bak ) |
| 2021-05-18 16:57:24 +0200 | <maerwald> | int-e: or just remove ~/.ghcup/bin from PATH |
| 2021-05-18 16:58:17 +0200 | <[exa]> | Guest_63: there's the `rm -fr .ghcup` command but be careful with it |
| 2021-05-18 16:58:18 +0200 | <yushyin> | same error! ;P |
| 2021-05-18 16:58:21 +0200 | <int-e> | maerwald: I mean it's generally a good idea to not blindly remove stuff from your file system just because someone on IRC said so. |
| 2021-05-18 16:59:06 +0200 | ozataman | (~ozataman@71.190.112.58) |
| 2021-05-18 16:59:28 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-18 17:00:15 +0200 | <int-e> | But it may also be a good idea to adjust the advice to be a bit more safe. :P |
| 2021-05-18 17:01:05 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-36.dsl.bell.ca) |
| 2021-05-18 17:01:15 +0200 | <safinaskar> | Guest_63: you use linux, right? |
| 2021-05-18 17:01:22 +0200 | <Guest_63> | yep |
| 2021-05-18 17:01:38 +0200 | <maerwald> | first time? |
| 2021-05-18 17:01:52 +0200 | zmijunkie | (~Adium@87.123.58.216) |
| 2021-05-18 17:02:08 +0200 | <safinaskar> | Guest_63: what distro? |
| 2021-05-18 17:02:13 +0200 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-16-74-12-28-7.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 17:02:21 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 17:02:22 +0200 | <Guest_63> | pop 20.04 |
| 2021-05-18 17:02:23 +0200 | zmijunkie | (~Adium@87.123.58.216) (Client Quit) |
| 2021-05-18 17:03:42 +0200 | APic | (apic@apic.name) |
| 2021-05-18 17:03:55 +0200 | zmijunkie1 | (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 268 seconds) |
| 2021-05-18 17:05:11 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-36.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-18 17:05:49 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-18 17:05:53 +0200 | <safinaskar> | Guest_63: what is pop? ubuntu? |
| 2021-05-18 17:06:22 +0200 | <Guest_63> | yes. |
| 2021-05-18 17:06:23 +0200 | <Guest_63> | it's more or less ubuntu |
| 2021-05-18 17:08:13 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 17:08:19 +0200 | ozataman | (~ozataman@71.190.112.58) (Ping timeout: 265 seconds) |
| 2021-05-18 17:08:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 17:10:07 +0200 | ddellacosta | (~ddellacos@86.106.143.87) |
| 2021-05-18 17:10:08 +0200 | <safinaskar> | Guest_63: i suggest installing software only from apt. if you want something not from apt, install it into docker container |
| 2021-05-18 17:10:15 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-18 17:10:23 +0200 | <safinaskar> | Guest_63: for example, ghcup or haskell platform should be installed to docker contaienr |
| 2021-05-18 17:10:37 +0200 | <safinaskar> | Guest_63: so, you will never mess your main system |
| 2021-05-18 17:10:48 +0200 | <Guest_63> | ohh |
| 2021-05-18 17:10:52 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-18 17:10:53 +0200 | <maerwald> | uh-oh |
| 2021-05-18 17:11:01 +0200 | <maerwald> | I don't think that's a reasonable suggestion |
| 2021-05-18 17:11:04 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 17:11:08 +0200 | <safinaskar> | i always do so, and i am happy |
| 2021-05-18 17:11:21 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 17:11:26 +0200 | <maerwald> | good, but docker isn't something that "just works" |
| 2021-05-18 17:11:38 +0200 | <maerwald> | and recommending to inexperienced users will get them into hairy trouble |
| 2021-05-18 17:11:39 +0200 | <safinaskar> | for me it just works :) |
| 2021-05-18 17:11:48 +0200 | <maerwald> | yeah, nix also just works if you know how |
| 2021-05-18 17:12:12 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 17:14:10 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 17:14:42 +0200 | <maerwald> | also, exposing toolchain from within a docker container to the host system is gonna be funny |
| 2021-05-18 17:14:46 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 17:14:50 +0200 | ddellacosta | (~ddellacos@86.106.143.87) (Ping timeout: 252 seconds) |
| 2021-05-18 17:15:06 +0200 | Guest_63 | (2f0b3ecf@47.11.62.207) (Quit: Connection closed) |
| 2021-05-18 17:16:11 +0200 | ddella___ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-18 17:19:11 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 250 seconds) |
| 2021-05-18 17:19:12 +0200 | ystael | (~ystael@130.44.151.113) (Ping timeout: 240 seconds) |
| 2021-05-18 17:19:47 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-18 17:19:57 +0200 | ricly_yellowp | (~pricly_ye@static.90.189.158.212.sinor.ru) (Ping timeout: 268 seconds) |
| 2021-05-18 17:20:15 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 17:23:36 +0200 | plutoniix | (~q@node-uic.pool-125-24.dynamic.totinternet.net) |
| 2021-05-18 17:23:40 +0200 | <boxscape> | I figured out the source to my problem, for some reason import list error messages don't appear in ghci, only in compiled modules |
| 2021-05-18 17:23:56 +0200 | <maerwald> | I wish there was some GHC plugin that turns non-exhaustive lambda pattern matching into monadfail |
| 2021-05-18 17:24:05 +0200 | plutoniix | (~q@node-uic.pool-125-24.dynamic.totinternet.net) (Max SendQ exceeded) |
| 2021-05-18 17:24:18 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 17:24:55 +0200 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-18 17:25:12 +0200 | <boxscape> | in a do block or everywhere? |
| 2021-05-18 17:25:19 +0200 | plutoniix | (~q@node-uic.pool-125-24.dynamic.totinternet.net) |
| 2021-05-18 17:25:25 +0200 | <maerwald> | a do block follows |
| 2021-05-18 17:25:32 +0200 | <boxscape> | I see |
| 2021-05-18 17:26:32 +0200 | <boxscape> | so `\Foo -> do { ...}` should become `\case Foo -> do {...}; _ -> fail` |
| 2021-05-18 17:26:37 +0200 | CrazyPyt_ | (~crazypyth@206.214.238.6) (Ping timeout: 260 seconds) |
| 2021-05-18 17:26:46 +0200 | sz0 | (uid110435@gateway/web/irccloud.com/x-fpfeimeqtceiorln) (Quit: Connection closed for inactivity) |
| 2021-05-18 17:27:09 +0200 | <boxscape> | s/fail/fail "non-exhaustive patterns" |
| 2021-05-18 17:27:35 +0200 | <maerwald> | sth like that |
| 2021-05-18 17:27:48 +0200 | <maerwald> | seems possible |
| 2021-05-18 17:27:49 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 17:28:24 +0200 | <safinaskar> | ok, thanks everybody |
| 2021-05-18 17:28:27 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-18 17:28:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 17:29:06 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-18 17:29:16 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 17:33:39 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 17:34:46 +0200 | bennofs__ | (~quassel@x4dbf70df.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-18 17:35:07 +0200 | bennofs_ | (~quassel@x4dbf70df.dyn.telefonica.de) |
| 2021-05-18 17:36:48 +0200 | LKoen | (~LKoen@2a01cb0407597a00c5d4c5917c5d748f.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-18 17:37:40 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 17:38:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 17:38:49 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-18 17:40:56 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-18 17:42:27 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 17:42:38 +0200 | mastarija_ | (~mastarija@31.217.11.236) |
| 2021-05-18 17:42:54 +0200 | ddellacosta | (~ddellacos@2607:fb90:7bd8:528c:3571:35ed:63bd:586d) |
| 2021-05-18 17:43:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 17:44:32 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 17:45:51 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 17:46:10 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 17:46:28 +0200 | mastarija__ | (~mastarija@78-3-221-47.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-18 17:47:22 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-18 17:47:24 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 17:47:53 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-18 17:48:03 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 17:50:10 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-18 17:50:47 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-18 17:51:15 +0200 | maylee | (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) (Remote host closed the connection) |
| 2021-05-18 17:52:22 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 17:52:38 +0200 | mastarija_ | (~mastarija@31.217.11.236) (Ping timeout: 268 seconds) |
| 2021-05-18 17:52:43 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 260 seconds) |
| 2021-05-18 17:54:11 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-18 17:54:43 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 265 seconds) |
| 2021-05-18 17:56:35 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 17:58:06 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-05-18 17:58:24 +0200 | LKoen | (~LKoen@2a01cb0407597a00fc35f48c2db1ad23.ipv6.abo.wanadoo.fr) |
| 2021-05-18 17:58:48 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-05-18 18:00:02 +0200 | <Zemyla> | Okay, I intalled Haskell 8.10.4, which cabal doesn't have sandboxing. I installed StateVar, but I can't load it in a GHCi session. |
| 2021-05-18 18:01:05 +0200 | thelounge04076 | (69702d98@gateway/web/thelounge/ip.105.112.45.152) |
| 2021-05-18 18:01:13 +0200 | <monochrom> | "cabal install --lib" is the new way to make a library available to raw ghci. |
| 2021-05-18 18:01:22 +0200 | thelounge04076 | (69702d98@gateway/web/thelounge/ip.105.112.45.152) (Client Quit) |
| 2021-05-18 18:01:31 +0200 | <monochrom> | and raw ghc |
| 2021-05-18 18:01:42 +0200 | <Uniaika> | personally I use 'cabal repl --build-depends StateVar' |
| 2021-05-18 18:01:45 +0200 | <monochrom> | raw = does not go through cabal |
| 2021-05-18 18:02:15 +0200 | <Zemyla> | Okay, figured it out. |
| 2021-05-18 18:02:55 +0200 | <geekosaur> | there's also ---package-env which is more or less the replacement for sandboxes |
| 2021-05-18 18:03:11 +0200 | <geekosaur> | I think thta's the option |
| 2021-05-18 18:03:25 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 18:03:36 +0200 | <geekosaur> | yes |
| 2021-05-18 18:04:25 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 18:05:12 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-18 18:05:33 +0200 | <Zemyla> | I wish that static values in classes were of type Tagged a Int or Const Int a rather than a -> Int or even proxy a -> Int. |
| 2021-05-18 18:06:13 +0200 | <Zemyla> | I feel like it exposes more opportunities for optimization. |
| 2021-05-18 18:06:31 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 18:07:42 +0200 | <boxscape> | in the future with https://github.com/ghc-proposals/ghc-proposals/pull/281 you're likely to see things like sizeOf :: forall a -> Storable a => Int |
| 2021-05-18 18:07:53 +0200 | <boxscape> | called with `sizeOf Bool`, for example |
| 2021-05-18 18:07:58 +0200 | <boxscape> | if that proposal gets accepted |
| 2021-05-18 18:08:45 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 18:09:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-18 18:10:30 +0200 | <Zemyla> | Proposal: Bits has a class method called withFiniteBits :: Bits a => (FiniteBits a => r) -> r -> r. Because every Bits instance has to know whether it's a FiniteBits anyway. |
| 2021-05-18 18:11:20 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 18:11:30 +0200 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-05-18 18:11:37 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-18 18:12:13 +0200 | Techcable | (~Techcable@168.235.93.147) |
| 2021-05-18 18:12:19 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 2021-05-18 18:12:27 +0200 | Thra11 | (Thra11@gateway/vpn/protonvpn/thra11) |
| 2021-05-18 18:13:44 +0200 | Thra11 | (Thra11@gateway/vpn/protonvpn/thra11) (Client Quit) |
| 2021-05-18 18:14:20 +0200 | <Zemyla> | Where do I go to make that proposal? |
| 2021-05-18 18:16:17 +0200 | <geekosaur> | https://wiki.haskell.org/Library_submissions |
| 2021-05-18 18:16:50 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Quit: Leaving) |
| 2021-05-18 18:17:00 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 18:17:27 +0200 | <boxscape> | that links the old issue tracker though, https://wiki.haskell.org/Core_Libraries_Committee links to https://gitlab.haskell.org/ghc/ghc/-/issues |
| 2021-05-18 18:17:29 +0200 | <boxscape> | (for base) |
| 2021-05-18 18:17:42 +0200 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2021-05-18 18:18:06 +0200 | cdsmith | (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-18 18:19:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-18 18:19:15 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 18:20:43 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:1f9a:3035:a7ff:492) (Ping timeout: 260 seconds) |
| 2021-05-18 18:21:38 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:5b17:a639:d013:bf5d) |
| 2021-05-18 18:21:39 +0200 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds) |
| 2021-05-18 18:23:01 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-18 18:23:42 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 18:24:10 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 18:24:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 18:24:48 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-18 18:28:43 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-18 18:29:09 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds) |
| 2021-05-18 18:29:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-18 18:31:48 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-18 18:32:48 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-18 18:34:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 18:34:49 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-18 18:35:45 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 18:36:31 +0200 | fendor_ | (~fendor@77.119.128.236.wireless.dyn.drei.com) |
| 2021-05-18 18:39:01 +0200 | fendor | (~fendor@178.165.129.230.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-05-18 18:39:24 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-mvdxvxychnvjhyrb) (Quit: Connection closed for inactivity) |
| 2021-05-18 18:40:53 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 18:41:11 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 18:46:24 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 18:47:16 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 18:49:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 18:49:19 +0200 | ddellacosta | (~ddellacos@2607:fb90:7bd8:528c:3571:35ed:63bd:586d) (Ping timeout: 250 seconds) |
| 2021-05-18 18:50:01 +0200 | argento | (~argent0@168.227.96.26) (Ping timeout: 252 seconds) |
| 2021-05-18 18:52:11 +0200 | ystael | (~ystael@130.44.151.113) (Ping timeout: 240 seconds) |
| 2021-05-18 18:53:11 +0200 | ystael | (~ystael@246.sub-174-196-201.myvzw.com) |
| 2021-05-18 18:53:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 18:56:01 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-18 18:57:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-18 18:57:54 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:5b17:a639:d013:bf5d) (Ping timeout: 245 seconds) |
| 2021-05-18 18:58:51 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a) |
| 2021-05-18 18:58:55 +0200 | hexfive | (~hexfive@50.35.83.177) |
| 2021-05-18 18:58:57 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-ktaxminaewuooulr) (Quit: Connection closed for inactivity) |
| 2021-05-18 19:00:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 19:02:26 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-18 19:02:37 +0200 | kuribas | (~user@ptr-25vy0i9wup0349cbbey.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-18 19:02:40 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 19:04:24 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 19:05:54 +0200 | michalz | (~user@185.246.204.56) (Remote host closed the connection) |
| 2021-05-18 19:07:11 +0200 | NImNtNineVlt | (~NImNtNine@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 19:08:31 +0200 | altern | (~altern@altern.corbina.com.ua) |
| 2021-05-18 19:08:38 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-18 19:09:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 19:09:24 +0200 | <altern> | Could someone please help with the SO question https://stackoverflow.com/questions/67571584/no-instance-for-monadresource-io-arising-from-a-use-o… ? Thanks! |
| 2021-05-18 19:10:08 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:ccc3:d023:842c:d65b) |
| 2021-05-18 19:10:11 +0200 | ystael | (~ystael@246.sub-174-196-201.myvzw.com) (Ping timeout: 240 seconds) |
| 2021-05-18 19:11:50 +0200 | <boxscape> | > case () of {_ | False, undefined -> 0; _ -> 1} -- is this guaranteed to be 1 rather than bottom? |
| 2021-05-18 19:11:52 +0200 | <lambdabot> | 1 |
| 2021-05-18 19:12:04 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 19:12:28 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 19:14:42 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 19:15:05 +0200 | <boxscape> | report says yes "For each guarded expression, the comma-separated guards are tried sequentially from left to right" |
| 2021-05-18 19:15:09 +0200 | <geekosaur> | as I read the Report, yes |
| 2021-05-18 19:15:18 +0200 | <boxscape> | thanks :) |
| 2021-05-18 19:16:04 +0200 | <geekosaur> | took me longer to get this thing to take input than it did to check the Report :( |
| 2021-05-18 19:16:37 +0200 | <boxscape> | are you on a phone? |
| 2021-05-18 19:16:58 +0200 | <geekosaur> | no, I'm on webirc and sometimes it really doesn';t want to give focus to the input field |
| 2021-05-18 19:17:01 +0200 | <boxscape> | I see |
| 2021-05-18 19:17:53 +0200 | Guest19311 | (df1022d3@223.16.34.211) |
| 2021-05-18 19:21:14 +0200 | Guest19311 | (df1022d3@223.16.34.211) (Quit: Connection closed) |
| 2021-05-18 19:23:25 +0200 | mastarija_ | (~mastarija@31.217.11.236) |
| 2021-05-18 19:23:25 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-05-18 19:25:51 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-18 19:27:12 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 19:27:51 +0200 | argento | (~argent0@168.227.96.26) |
| 2021-05-18 19:28:10 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-uiyvwgqmgltrwigi) |
| 2021-05-18 19:29:18 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 19:29:27 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 19:30:14 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-18 19:31:01 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-18 19:31:41 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 19:32:20 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 19:32:32 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:ccc3:d023:842c:d65b) (Read error: Connection reset by peer) |
| 2021-05-18 19:32:36 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:bcfb:d0f2:4029:22e7) |
| 2021-05-18 19:34:35 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-18 19:35:11 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-18 19:36:00 +0200 | ystael | (~ystael@130.44.151.113) (Ping timeout: 252 seconds) |
| 2021-05-18 19:37:11 +0200 | NImNtNineVlt | (~NImNtNine@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-05-18 19:41:30 +0200 | alexander | (~alexander@athedsl-351794.home.otenet.gr) |
| 2021-05-18 19:41:59 +0200 | alexander | Guest79037 |
| 2021-05-18 19:43:05 +0200 | qwerty2o_ | (~qwerty2o@89-138-23-24.bb.netvision.net.il) |
| 2021-05-18 19:43:21 +0200 | bitmagie | (~Thunderbi@200116b8065d270045c75b2c90c4988b.dip.versatel-1u1.de) |
| 2021-05-18 19:44:31 +0200 | <cub3s_> | Why does Haddock complain about "Haddock parse error on input ->"? |
| 2021-05-18 19:44:31 +0200 | <cub3s_> | newtype MyType = MyType { |
| 2021-05-18 19:44:32 +0200 | <cub3s_> | foo :: Int -- ^ documented first parameter. |
| 2021-05-18 19:44:32 +0200 | <cub3s_> | -> Int } |
| 2021-05-18 19:45:41 +0200 | bitmagie | (~Thunderbi@200116b8065d270045c75b2c90c4988b.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-18 19:46:03 +0200 | <maerwald> | I managed to break stack on windows... I don't know what I'm doing |
| 2021-05-18 19:46:44 +0200 | <maerwald> | first cabal didn't work, so I used stack, then I run some command like `stack exec -- /path/to/a/ghc` for fun and it broke everything |
| 2021-05-18 19:47:04 +0200 | <maerwald> | but now cabal works... *-* |
| 2021-05-18 19:47:24 +0200 | LKoen | (~LKoen@2a01cb0407597a00fc35f48c2db1ad23.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-18 19:47:31 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a) (Ping timeout: 260 seconds) |
| 2021-05-18 19:48:47 +0200 | argento | (~argent0@168.227.96.26) (Ping timeout: 265 seconds) |
| 2021-05-18 19:49:05 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-18 19:49:44 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 19:50:56 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-18 19:51:37 +0200 | ystael | (~ystael@130.44.151.113) |
| 2021-05-18 19:54:59 +0200 | <monochrom> | So "stack fixes cabal hell" is literally true... >:) |
| 2021-05-18 19:55:21 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 19:55:42 +0200 | <monochrom> | cub3s_: I think haddock doesn't anticipate documenting a function domain in that context (of a field in a data type) |
| 2021-05-18 19:56:18 +0200 | <monochrom> | Within a type definition, it seems that haddock anticipates documenting each field only, not dive deep into each field's type. |
| 2021-05-18 19:59:24 +0200 | <boxscape> | % fix cabal hell |
| 2021-05-18 19:59:24 +0200 | <yahb> | boxscape: "stack" |
| 2021-05-18 19:59:27 +0200 | <boxscape> | huh |
| 2021-05-18 19:59:41 +0200 | <monochrom> | :) |
| 2021-05-18 20:00:46 +0200 | <monochrom> | Why don't you also create your own type and handwrite its show instance so the output is stack without the string quotes >:) |
| 2021-05-18 20:01:07 +0200 | <boxscape> | good point |
| 2021-05-18 20:01:19 +0200 | <maerwald> | also, windows havint .exe everywhere is kinda annoying |
| 2021-05-18 20:01:31 +0200 | <boxscape> | yes |
| 2021-05-18 20:01:44 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 20:01:56 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) |
| 2021-05-18 20:02:34 +0200 | <tomsmeding> | % :t cabal |
| 2021-05-18 20:02:35 +0200 | <yahb> | tomsmeding: b1 -> b2 -> String |
| 2021-05-18 20:02:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 20:02:44 +0200 | <tomsmeding> | % :t hell |
| 2021-05-18 20:02:44 +0200 | <yahb> | tomsmeding: t |
| 2021-05-18 20:02:48 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-18 20:02:54 +0200 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 20:03:46 +0200 | <geekosaur> | undefined, eh |
| 2021-05-18 20:04:02 +0200 | <boxscape> | bottom, anyway |
| 2021-05-18 20:04:14 +0200 | <boxscape> | % hell |
| 2021-05-18 20:04:19 +0200 | <yahb> | boxscape: [Timed out] |
| 2021-05-18 20:04:44 +0200 | heww362 | (~heww362@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 20:04:58 +0200 | mastarija_ | (~mastarija@31.217.11.236) (Quit: Leaving) |
| 2021-05-18 20:06:58 +0200 | <maerwald> | RealWorld would have been a better output for that |
| 2021-05-18 20:07:07 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) |
| 2021-05-18 20:07:08 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 20:07:33 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 20:07:41 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 268 seconds) |
| 2021-05-18 20:09:06 +0200 | Schrostfutz | (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) |
| 2021-05-18 20:09:06 +0200 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 240 seconds) |
| 2021-05-18 20:09:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-18 20:09:19 +0200 | xff0x | (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a) |
| 2021-05-18 20:09:25 +0200 | <monochrom> | IO a = Hell -> (a, Hell) |
| 2021-05-18 20:09:53 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 20:10:46 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-18 20:11:01 +0200 | <maerwald> | checks out |
| 2021-05-18 20:11:19 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:bcfb:d0f2:4029:22e7) (Ping timeout: 260 seconds) |
| 2021-05-18 20:11:35 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 20:12:00 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-18 20:12:09 +0200 | <dminuoso> | altern: You need to use `ResourceT IO` |
| 2021-05-18 20:12:15 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 20:12:22 +0200 | coffeeturtle | (~coffeetur@cpc103420-donc13-2-0-cust24.17-1.cable.virginm.net) |
| 2021-05-18 20:12:58 +0200 | coffeeturtle | (~coffeetur@cpc103420-donc13-2-0-cust24.17-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-18 20:13:13 +0200 | jneira | (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Ping timeout: 260 seconds) |
| 2021-05-18 20:13:29 +0200 | <cub3s_> | monochrom, ok that's good to know.. |
| 2021-05-18 20:13:32 +0200 | <cub3s_> | thanks |
| 2021-05-18 20:13:37 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-18 20:14:10 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 20:14:34 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 20:15:35 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-yvifpnpfisssiqhx) |
| 2021-05-18 20:19:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 20:23:25 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-18 20:23:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-18 20:24:27 +0200 | <dminuoso> | altern: writeBlob demands that whatever monad you run in, has a way of safely allocating/deallocating resources - that behavior is described by the typeclass MonadResource. So if you want to use writeBlob, you can only do this in any monad that has an instance MonadResource. The only standard way to obtain such a monad, is to apply ResourceT to whatever monad you have. |
| 2021-05-18 20:24:31 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 20:24:43 +0200 | <dminuoso> | And then write your code in terms of that monad. |
| 2021-05-18 20:24:50 +0200 | <altern> | dminuoso, if I write runResourceT $ writeBlob (BS.unpack path) (BlobString $ BS.pack content) |
| 2021-05-18 20:24:50 +0200 | <altern> | I get No instance for (Git.Libgit2.HasLgRepo |
| 2021-05-18 20:24:50 +0200 | <altern> | (ResourceT (ReaderT LgRepo IO))) |
| 2021-05-18 20:24:54 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-goyypkkhhsgxwnjf) (Quit: Connection closed for inactivity) |
| 2021-05-18 20:25:25 +0200 | <dminuoso> | No rather |
| 2021-05-18 20:25:27 +0200 | <dminuoso> | addFileToRepository :: TreeFilePath -> String -> CommitMessage -> ReaderT LgRepo IO () |
| 2021-05-18 20:25:29 +0200 | <dminuoso> | This should become |
| 2021-05-18 20:25:41 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-18 20:25:50 +0200 | <dminuoso> | addFileToRepository :: TreeFilePath -> String -> CommitMessage -> ReaderT LgRepo (ResourceT IO) () |
| 2021-05-18 20:26:22 +0200 | <dminuoso> | (And then, you might want to replace your `lift` with just `liftIO`, so you dont have to do `lift (lift ...)`) |
| 2021-05-18 20:26:35 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-18 20:26:38 +0200 | <dminuoso> | Then instead of |
| 2021-05-18 20:26:41 +0200 | <dminuoso> | runReaderT (addFileToRepository "content4.txt" "content4" "added content4 file") repo |
| 2021-05-18 20:27:24 +0200 | <dminuoso> | runReaderT (runResourceT (addFileToRepository "content4.txt" "content4" "added content4 file")) repo |
| 2021-05-18 20:27:39 +0200 | <altern> | dminuoso, how about all the rest monadic calls that I have in this do section? |
| 2021-05-18 20:27:49 +0200 | <dminuoso> | It should all work out |
| 2021-05-18 20:28:06 +0200 | <dminuoso> | There might be some line I missed, but you can lift through that too |
| 2021-05-18 20:28:21 +0200 | <dminuoso> | all the gitlib code is written mtl-style, so that needs no touching |
| 2021-05-18 20:28:35 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-18 20:28:40 +0200 | <dminuoso> | just the `lift` (for future, just always use liftIO if you want to lift IO stuff, that way you dont have to worry if you add more layers to your monad transformer stack) |
| 2021-05-18 20:30:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-18 20:30:46 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-05-18 20:32:52 +0200 | <altern> | dminuoso, I got it working! the only difference in my code with what you said is the order of transformers: runResourceT (runReaderT (addFileToRepository "content4.txt" "content4" "added content4 file") repo) |
| 2021-05-18 20:33:04 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 20:35:16 +0200 | <dminuoso> | Oh, yeah my bad. |
| 2021-05-18 20:36:13 +0200 | <altern> | dminuoso, now the problem is that file does not get committed at all even to staging area.. |
| 2021-05-18 20:36:30 +0200 | <altern> | probably I chased writeBlob in vain |
| 2021-05-18 20:36:33 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-18 20:36:48 +0200 | <altern> | it does not make a difference whether I use it |
| 2021-05-18 20:37:12 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-18 20:42:38 +0200 | <dminuoso> | Mmm, from the looks of it, git_index_add is nowhere used in the entire library. |
| 2021-05-18 20:42:51 +0200 | <altern> | yes |
| 2021-05-18 20:43:05 +0200 | <altern> | I could not find it either |
| 2021-05-18 20:43:14 +0200 | ubert | (~Thunderbi@p200300ecdf259daae6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-18 20:44:06 +0200 | <dminuoso> | Ah hold on |
| 2021-05-18 20:44:19 +0200 | <dminuoso> | Was looking the wrong way, I think I have a clue how this works |
| 2021-05-18 20:45:12 +0200 | jacks2 | (~bc817c21@217.29.117.252) |
| 2021-05-18 20:45:18 +0200 | qwerty2o_ | (~qwerty2o@89-138-23-24.bb.netvision.net.il) (Ping timeout: 268 seconds) |
| 2021-05-18 20:45:30 +0200 | bitmagie | (~Thunderbi@200116b8065d270045c75b2c90c4988b.dip.versatel-1u1.de) |
| 2021-05-18 20:45:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 20:45:40 +0200 | bitmagie | (~Thunderbi@200116b8065d270045c75b2c90c4988b.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-18 20:46:29 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 20:47:13 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-18 20:48:04 +0200 | chris___ | (~chris@81.96.113.213) |
| 2021-05-18 20:50:10 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-18 20:50:14 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 268 seconds) |
| 2021-05-18 20:51:35 +0200 | <dminuoso> | altern: It looks as if writeIndex was not implemented by any of the backends. |
| 2021-05-18 20:52:27 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-18 20:53:32 +0200 | <altern> | dminuoso, maybe Git.Tree.Builder package functions would help.. |
| 2021-05-18 20:53:48 +0200 | <altern> | there are putEntry, putBlob and so on |
| 2021-05-18 20:54:00 +0200 | <altern> | but I tried it, it does not really help |
| 2021-05-18 20:54:08 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 20:54:53 +0200 | qwerty2o_ | (~qwerty2o@89-138-23-24.bb.netvision.net.il) |
| 2021-05-18 20:55:11 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-18 20:55:23 +0200 | LKoen | (~LKoen@2a01cb0407597a00e9242d9eac3f1601.ipv6.abo.wanadoo.fr) |
| 2021-05-18 20:55:27 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-18 20:55:37 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-18 20:55:48 +0200 | <dminuoso> | altern: Well, presumably for completely automatic interaction, you dont even need the staging area? |
| 2021-05-18 20:55:49 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-18 20:56:07 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-18 20:56:08 +0200 | <altern> | dminuoso, no, not really |
| 2021-05-18 20:56:11 +0200 | <dminuoso> | writeIndex would, presumably, just turn the index into a tree object (e.g. like git-write-tree) |
| 2021-05-18 20:56:31 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 20:57:02 +0200 | <dminuoso> | so just create the tree objects yourself? |
| 2021-05-18 20:57:28 +0200 | <altern> | I do this in newOid <- createTree $ putEntry path BlobEntry {blobEntryKind = PlainBlob, blobEntryOid = blobOid} |
| 2021-05-18 20:59:20 +0200 | <dminuoso> | altern: https://github.com/jwiegley/hsubconvert/blob/master/Main.hs |
| 2021-05-18 20:59:32 +0200 | <dminuoso> | This source code displays usage of gitlib |
| 2021-05-18 21:00:47 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 260 seconds) |
| 2021-05-18 21:00:53 +0200 | sqrt2_ | (~ben@unaffiliated/sqrt2) |
| 2021-05-18 21:01:11 +0200 | <dminuoso> | https://github.com/jwiegley/gitlib/blob/master/gitlib-test/Git/Smoke.hs might also be useful |
| 2021-05-18 21:01:24 +0200 | <dminuoso> | The latter is probably easier to look at |
| 2021-05-18 21:01:32 +0200 | <dminuoso> | https://github.com/jwiegley/gitlib/blob/master/gitlib-test/Git/Smoke.hs#L106-L129 |
| 2021-05-18 21:02:46 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-18 21:02:48 +0200 | <cub3s_> | Typeclass question: Vector (vector package) has a Store (store package) instance (and this instance is in the store package). Sized vectors (from vector-sized package), which are just wrappers around Vector but with a size tagged in the type, have no Store instance in either package. |
| 2021-05-18 21:03:44 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) (Ping timeout: 245 seconds) |
| 2021-05-18 21:03:50 +0200 | <cub3s_> | What are some good ways to introduce a Store instance for sized vectors to the ecosystem? (I know I can create my own newtype wrapper for my own code, but if I want to put it on hackage, into which package should it go? Should it go into a new package?) |
| 2021-05-18 21:04:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 21:05:35 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-18 21:08:21 +0200 | <altern> | dminuoso, I do not see what I am doing differently |
| 2021-05-18 21:08:35 +0200 | <altern> | from the approach in Smoke.hs |
| 2021-05-18 21:09:21 +0200 | <dminuoso> | cub3s_: Mmm, what about https://hackage.haskell.org/package/vector-sized-1.4.3.1/docs/Data-Vector-Storable-Sized.html ? |
| 2021-05-18 21:11:28 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-05-18 21:11:53 +0200 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-18 21:11:55 +0200 | CrazyPython | (~crazypyth@206.214.238.6) (Ping timeout: 252 seconds) |
| 2021-05-18 21:12:18 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 21:12:43 +0200 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-18 21:12:56 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-18 21:14:21 +0200 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-18 21:15:09 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-18 21:16:34 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:7767:3034:663c:8014) |
| 2021-05-18 21:17:20 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-18 21:18:20 +0200 | <cub3s_> | dminuoso, oh! |
| 2021-05-18 21:18:25 +0200 | <cub3s_> | that should work, thank you :D |
| 2021-05-18 21:19:46 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-18 21:21:06 +0200 | heww362 | (~heww362@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-05-18 21:21:29 +0200 | ddellac__ | (~ddellacos@86.106.143.152) |
| 2021-05-18 21:21:38 +0200 | boxscape | (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) |
| 2021-05-18 21:23:23 +0200 | tv1 | (~tv@unaffiliated/tv) |
| 2021-05-18 21:23:38 +0200 | tv1 | (~tv@unaffiliated/tv) (Client Quit) |
| 2021-05-18 21:23:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 21:25:46 +0200 | ddellac__ | (~ddellacos@86.106.143.152) (Ping timeout: 240 seconds) |
| 2021-05-18 21:26:12 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-18 21:26:26 +0200 | Schrostfutz | (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-05-18 21:28:11 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 2021-05-18 21:29:26 +0200 | <altern> | dminuoso, found a problem. I was not calling updateReference "refs/heads/master" (RefObj (untag (commitOid ci))) |
| 2021-05-18 21:29:27 +0200 | <altern> | after createCommit |
| 2021-05-18 21:31:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 21:32:54 +0200 | <altern> | but after that git log shows commit logged even though files remain in staging area. git status shows deleted: content4.txt |
| 2021-05-18 21:35:46 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-18 21:37:43 +0200 | qwerty2o_ | (~qwerty2o@89-138-23-24.bb.netvision.net.il) (Ping timeout: 268 seconds) |
| 2021-05-18 21:38:09 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-236-241.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-18 21:38:49 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-18 21:39:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 21:42:02 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 268 seconds) |
| 2021-05-18 21:42:16 +0200 | <altern> | dminuoso, I figured that commits should be done in chains |
| 2021-05-18 21:42:43 +0200 | <altern> | so that I refer to HEAD commit in the next commit for it to be two subsequent commits |
| 2021-05-18 21:42:46 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-236-241.w83-200.abo.wanadoo.fr) |
| 2021-05-18 21:43:11 +0200 | <altern> | I will try that solution now and let you know if it succeeds |
| 2021-05-18 21:43:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-18 21:43:16 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-05-18 21:50:24 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-05-18 21:51:09 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-05-18 21:52:54 +0200 | fendor_ | (~fendor@77.119.128.236.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-18 21:52:56 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 21:55:26 +0200 | fendor | (~fendor@77.119.128.236.wireless.dyn.drei.com) |
| 2021-05-18 21:55:51 +0200 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-18 21:55:53 +0200 | mawk | (mawk@serveur.io) (Read error: Connection reset by peer) |
| 2021-05-18 21:57:07 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 21:57:50 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-18 21:57:57 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-18 21:58:01 +0200 | mawk | (mawk@serveur.io) |
| 2021-05-18 21:59:48 +0200 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-18 22:00:06 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-18 22:00:59 +0200 | <maerwald> | https://community.chocolatey.org/packages/haskell-dev is this broken? I'm trying to run `mingw-pkg`, but it doesn't exist |
| 2021-05-18 22:01:17 +0200 | <maerwald> | at least not in a git-shell |
| 2021-05-18 22:01:48 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-18 22:02:48 +0200 | CybwrMonkwy | (~CybwrMonk@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 22:04:14 +0200 | fendor | (~fendor@77.119.128.236.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-18 22:04:24 +0200 | <Uniaika> | maerwald: how about in a WSL2 |
| 2021-05-18 22:04:25 +0200 | <Uniaika> | ? |
| 2021-05-18 22:04:51 +0200 | <maerwald> | No idea, I'm trying to make it work in windows |
| 2021-05-18 22:05:39 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 2021-05-18 22:06:55 +0200 | tim | (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 22:07:19 +0200 | tim | Guest24666 |
| 2021-05-18 22:08:20 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 22:08:50 +0200 | <maerwald> | I'm having the feeling git shell has its own mingw? |
| 2021-05-18 22:09:05 +0200 | ubert | (~Thunderbi@p200300ecdf259daae6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-18 22:09:22 +0200 | <maerwald> | and chocolatey does path hackery that doesn't translate to git-shell |
| 2021-05-18 22:11:06 +0200 | Guest24666 | (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 240 seconds) |
| 2021-05-18 22:12:17 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-18 22:13:11 +0200 | Guest79037 | (~alexander@athedsl-351794.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-18 22:13:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 22:13:37 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-18 22:13:58 +0200 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-18 22:15:37 +0200 | <maerwald> | even executing a script successfully seems like a riddle... `sh` exists in git-shell, but not in powershell |
| 2021-05-18 22:16:30 +0200 | <[exa]> | y u windows tho? |
| 2021-05-18 22:16:35 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-enlqptadwylonqwy) |
| 2021-05-18 22:16:52 +0200 | <maerwald> | it's the better platform |
| 2021-05-18 22:18:18 +0200 | CybwrMonkwy | (~CybwrMonk@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
| 2021-05-18 22:18:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 22:19:30 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-18 22:19:30 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-18 22:19:30 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-18 22:23:10 +0200 | <boxscape> | maerwald presumably it's because your bash $PATH in git-shell is different from your %PATH% in windows (aka $Env:Path in powershell) |
| 2021-05-18 22:23:13 +0200 | <[exa]> | nyeeeh. |
| 2021-05-18 22:24:25 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) |
| 2021-05-18 22:24:59 +0200 | dbehmer | (~dbehmer@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 22:26:37 +0200 | a6a45081-2b83 | (~aditya@122.163.149.247) |
| 2021-05-18 22:27:12 +0200 | <a6a45081-2b83> | Hi I'm getting <Could not load module "Control.Monad.State.Lazy"> when using hls on single stack script: https://imgur.com/a/fj0PQOD |
| 2021-05-18 22:27:32 +0200 | <a6a45081-2b83> | I tried installing mtl with <stack --resolver lts-17.5 install mtl> |
| 2021-05-18 22:27:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 22:28:14 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 22:29:30 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-18 22:30:34 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-18 22:32:46 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 22:33:26 +0200 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-18 22:34:09 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-18 22:34:42 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 22:34:42 +0200 | ozzymcdu_ | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 22:35:51 +0200 | malumore_ | (~malumore@151.62.114.250) (Ping timeout: 260 seconds) |
| 2021-05-18 22:36:54 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-18 22:38:55 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 22:39:39 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 22:43:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-18 22:49:06 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 22:50:33 +0200 | neiluj | (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-05-18 22:55:09 +0200 | mastarija | (~mastarija@31.217.11.236) |
| 2021-05-18 22:56:51 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 22:57:55 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 22:59:34 +0200 | elizeug_ | (bffd7e97@191.253.126.151) |
| 2021-05-18 23:00:20 +0200 | elizeug_ | (bffd7e97@191.253.126.151) (Client Quit) |
| 2021-05-18 23:05:01 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-18 23:06:51 +0200 | lawid | (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) (Remote host closed the connection) |
| 2021-05-18 23:07:59 +0200 | lawid | (~quassel@2a02:8109:b5c0:bd8:38dc:ed9c:a64e:1049) |
| 2021-05-18 23:08:55 +0200 | ddellac__ | (~ddellacos@86.106.143.10) |
| 2021-05-18 23:13:28 +0200 | ddellac__ | (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 2021-05-18 23:15:10 +0200 | <mniip> | nice... it looks like qbin.io no longer exists |
| 2021-05-18 23:15:21 +0200 | <altern> | dminuoso, https://stackoverflow.com/a/67594049/50962 added my solution posting |
| 2021-05-18 23:15:43 +0200 | <altern> | dminuoso, if you want, you can write your answer and I will accept it |
| 2021-05-18 23:16:33 +0200 | benin | (~benin@183.82.177.199) |
| 2021-05-18 23:17:35 +0200 | dbehmer | (~dbehmer@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-05-18 23:19:41 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-05-18 23:20:09 +0200 | jneira | (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) |
| 2021-05-18 23:20:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-18 23:23:13 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-18 23:23:20 +0200 | altern | (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds) |
| 2021-05-18 23:23:37 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-18 23:26:12 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 23:26:50 +0200 | <dminuoso> | That's fine, I dont use SO |
| 2021-05-18 23:29:08 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-18 23:31:48 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-18 23:32:16 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 23:32:33 +0200 | argento | (~argent0@168.227.96.26) |
| 2021-05-18 23:33:39 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-18 23:36:04 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-18 23:38:42 +0200 | mastarija | (~mastarija@31.217.11.236) (Quit: Leaving) |
| 2021-05-18 23:39:15 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 23:39:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 23:40:41 +0200 | <a6a45081-2b83> | is there a more idiomatic way to do this? using folds/sequences/state monads? https://paste.tomsmeding.com/M4jHPxDG |
| 2021-05-18 23:40:56 +0200 | <a6a45081-2b83> | detecting cycles in forest |
| 2021-05-18 23:42:41 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-18 23:44:37 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::4f48) |
| 2021-05-18 23:44:42 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 23:45:26 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 23:46:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-18 23:47:41 +0200 | beforged | (~scarlet@pool-71-179-15-43.bltmmd.fios.verizon.net) |
| 2021-05-18 23:47:52 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 23:48:12 +0200 | ddellac__ | (~ddellacos@86.106.143.35) |
| 2021-05-18 23:48:28 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-05-18 23:48:41 +0200 | <monochrom> | I might use a state monad and write the conventional imperative DFS algorithm. |
| 2021-05-18 23:48:41 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 23:49:05 +0200 | <monochrom> | That is, if I would write one myself at all, which isn't true actually in reality. |
| 2021-05-18 23:49:29 +0200 | <monochrom> | In reality, I would just use a graph library from fgl or containers. |
| 2021-05-18 23:49:41 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-18 23:49:45 +0200 | <beforged> | I have a question about using generics to traverse types |
| 2021-05-18 23:50:00 +0200 | Kr4kke | (~Kr4kke@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 23:50:13 +0200 | <beforged> | I know I could use SYB but people have told me ghc.generics is a better way to do it |
| 2021-05-18 23:50:46 +0200 | <beforged> | the closest thing i could find that was what i wanted was the lens function over |
| 2021-05-18 23:51:07 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-18 23:51:07 +0200 | <beforged> | but I am not using records so I am a little confused how to implement the same functionality with generics |
| 2021-05-18 23:51:17 +0200 | <a6a45081-2b83> | monochrom: trying to solve this with using only base |
| 2021-05-18 23:51:19 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-05-18 23:51:21 +0200 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-18 23:51:30 +0200 | <monochrom> | Hrm! Perhaps DFS needing to keep state of visited nodes across recursive calls is a much better example for "when to use the state monad" than what I currently have! |
| 2021-05-18 23:51:57 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-05-18 23:52:16 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-18 23:52:41 +0200 | ddellac__ | (~ddellacos@86.106.143.35) (Ping timeout: 240 seconds) |
| 2021-05-18 23:52:42 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 23:52:47 +0200 | <a6a45081-2b83> | yeah i'd agree |
| 2021-05-18 23:52:53 +0200 | <a6a45081-2b83> | i think we have state monad in base |
| 2021-05-18 23:53:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 23:53:10 +0200 | <beforged> | monochrom: are you trying to write dfs? |
| 2021-05-18 23:53:18 +0200 | <beforged> | on a normal graph |
| 2021-05-18 23:53:29 +0200 | <a6a45081-2b83> | beforged: I am, on a forest/graph |
| 2021-05-18 23:53:47 +0200 | <beforged> | have you thought about using the fixpoint strategy? |
| 2021-05-18 23:53:59 +0200 | <a6a45081-2b83> | beforged: Here's what i currently have https://paste.tomsmeding.com/M4jHPxDG |
| 2021-05-18 23:54:07 +0200 | <a6a45081-2b83> | beforged: let me check fixpoint strategy |
| 2021-05-18 23:54:07 +0200 | <beforged> | might not work for specific case depending on if the traversal order matters |
| 2021-05-18 23:54:18 +0200 | <beforged> | may be hard to find literature on fixpoint |
| 2021-05-18 23:54:33 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-18 23:54:34 +0200 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds) |
| 2021-05-18 23:55:22 +0200 | <beforged> | fix point is more of a bfs though... may not help you |
| 2021-05-18 23:55:28 +0200 | nvmd | (~nvmd@177.30.111.232) |
| 2021-05-18 23:56:13 +0200 | <kilolympus> | monochrom, would you mind telling me where you have your example? I'm curious to know if you have a blog or wiki or something |
| 2021-05-18 23:56:31 +0200 | LKoen | (~LKoen@2a01cb0407597a00e9242d9eac3f1601.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-18 23:56:33 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::4f48) (Remote host closed the connection) |
| 2021-05-18 23:57:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection) |
| 2021-05-18 23:57:31 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-18 23:57:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-18 23:57:53 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-18 23:59:08 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |