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