| 2021-03-06 00:03:02 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-fmtgknnmutdddngm) (Quit: Connection closed for inactivity) |
| 2021-03-06 00:03:03 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 00:03:24 +0100 | Guest84398 | (~textual@zrcout.mskcc.org) (Ping timeout: 245 seconds) |
| 2021-03-06 00:04:48 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:7567:78fd:eb88:4bdf) |
| 2021-03-06 00:05:35 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-03-06 00:05:41 +0100 | kuribas | (~user@ptr-25vy0i8rv5mx3gpgnrc.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-03-06 00:05:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-06 00:09:39 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:8dfa:c309:9698:bf3a) (Ping timeout: 246 seconds) |
| 2021-03-06 00:10:23 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:7567:78fd:eb88:4bdf) (Ping timeout: 272 seconds) |
| 2021-03-06 00:11:55 +0100 | hiroaki | (~hiroaki@77.22.211.46) |
| 2021-03-06 00:13:56 +0100 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-03-06 00:14:10 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 00:14:16 +0100 | hiroaki1 | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 00:15:32 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 2021-03-06 00:16:51 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 2021-03-06 00:16:57 +0100 | u0_a61 | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 2021-03-06 00:17:09 +0100 | u0_a61 | Wezl |
| 2021-03-06 00:17:24 +0100 | hiroaki | (~hiroaki@77.22.211.46) (Ping timeout: 260 seconds) |
| 2021-03-06 00:17:53 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2021-03-06 00:18:07 +0100 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-03-06 00:19:50 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-06 00:19:56 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-06 00:21:19 +0100 | ADG1089_ | (~adg1089@171.79.107.148) (Ping timeout: 245 seconds) |
| 2021-03-06 00:21:28 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 2021-03-06 00:22:26 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-06 00:22:59 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-06 00:23:32 +0100 | <viluon> | hi, possibly stupid, beginner question: I'm building `concat` with `stack` and it crashes when compiling `concat-inline`, apparently GHC tries to parse a comment as Haddock docs? https://paste.tomsmeding.com/3wfD3cCh |
| 2021-03-06 00:23:45 +0100 | Sonderblade | (~helloman@94.191.136.7.mobile.tre.se) |
| 2021-03-06 00:24:56 +0100 | <glguy> | viluon: see if you can tell stack not to build documentation |
| 2021-03-06 00:25:37 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-06 00:26:14 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 00:26:23 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 00:26:38 +0100 | <viluon> | glguy: thanks! umm, any clues on how to do that? |
| 2021-03-06 00:26:51 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Quit: WeeChat 1.9.1) |
| 2021-03-06 00:26:57 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2021-03-06 00:27:08 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-06 00:27:10 +0100 | crobbins | (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) (Remote host closed the connection) |
| 2021-03-06 00:27:25 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-06 00:27:45 +0100 | crobbins | (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) |
| 2021-03-06 00:27:51 +0100 | psutcliffe | (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 246 seconds) |
| 2021-03-06 00:28:07 +0100 | andrybak | (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Quit: I have to go now) |
| 2021-03-06 00:28:21 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-06 00:29:02 +0100 | Alleria | (~textual@2603-7000-3040-0000-ec87-4b0b-f3fa-d9f1.res6.spectrum.com) |
| 2021-03-06 00:29:26 +0100 | Alleria | Guest31857 |
| 2021-03-06 00:30:24 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-06 00:30:33 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 2021-03-06 00:30:49 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:99d4:71ce:bdb7:2c7e) |
| 2021-03-06 00:31:13 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d4ed:e115:3f6b:8005) |
| 2021-03-06 00:31:18 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 2021-03-06 00:31:43 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 2021-03-06 00:32:26 +0100 | crobbins | (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) (Ping timeout: 264 seconds) |
| 2021-03-06 00:32:49 +0100 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-06 00:33:08 +0100 | <nshepperd> | ooh, cabal-env looks similar to my cabbage, interesting |
| 2021-03-06 00:33:42 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-03-06 00:35:09 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-06 00:35:41 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 00:36:06 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-06 00:39:13 +0100 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-06 00:42:09 +0100 | malumore | (~malumore@151.62.119.233) (Ping timeout: 245 seconds) |
| 2021-03-06 00:43:49 +0100 | MarcelineVQ | (~anja@198.254.199.42) (Ping timeout: 245 seconds) |
| 2021-03-06 00:45:13 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:99d4:71ce:bdb7:2c7e) (Ping timeout: 272 seconds) |
| 2021-03-06 00:45:24 +0100 | <nshepperd> | seems to have saner handling of local packages |
| 2021-03-06 00:45:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-06 00:46:25 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:58cb) |
| 2021-03-06 00:51:38 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 2021-03-06 00:52:10 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-03-06 00:52:13 +0100 | gitgoood | (~gitgood@82-132-219-92.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-06 00:52:50 +0100 | dhouthoo | (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 2021-03-06 00:53:02 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) |
| 2021-03-06 00:53:10 +0100 | MarcelineVQ | (~anja@198.254.199.42) |
| 2021-03-06 00:53:32 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 00:55:18 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 00:55:53 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d4ed:e115:3f6b:8005) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 00:58:00 +0100 | melaon | (bd05b32e@189.5.179.46) |
| 2021-03-06 00:59:31 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) |
| 2021-03-06 01:00:30 +0100 | melaon | (bd05b32e@189.5.179.46) (Quit: Connection closed) |
| 2021-03-06 01:05:29 +0100 | redmp | (~redmp@172.58.35.84) (Ping timeout: 245 seconds) |
| 2021-03-06 01:09:27 +0100 | f-a | (~f-a@151.34.134.235) (Quit: leaving) |
| 2021-03-06 01:09:38 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 264 seconds) |
| 2021-03-06 01:10:02 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 01:11:09 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-06 01:17:49 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-06 01:20:25 +0100 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2021-03-06 01:24:06 +0100 | <mniip> | with data families is it possible to distinguish "indices" from "parameters"? |
| 2021-03-06 01:25:11 +0100 | <mniip> | say I want a data family F : A -> B -> *, where each (F x) is a concrete datatype B -> * |
| 2021-03-06 01:27:01 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) (Ping timeout: 272 seconds) |
| 2021-03-06 01:28:12 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-03-06 01:29:58 +0100 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-03-06 01:33:12 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Ping timeout: 260 seconds) |
| 2021-03-06 01:41:55 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 01:45:33 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-06 01:45:49 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 01:48:31 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-06 01:51:03 +0100 | teardown | (~user@gateway/tor-sasl/mrush) |
| 2021-03-06 01:55:44 +0100 | gitgood | (~gitgood@82-132-219-92.dab.02.net) |
| 2021-03-06 01:59:11 +0100 | <mniip> | can one use TH/quasiquoters to generate a bunch of datatype declarations? |
| 2021-03-06 01:59:21 +0100 | <mniip> | looks like you can't splice construtor names? |
| 2021-03-06 02:02:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 02:06:37 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 2021-03-06 02:07:41 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 2021-03-06 02:07:50 +0100 | Wezl | (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) () |
| 2021-03-06 02:13:45 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 2021-03-06 02:14:47 +0100 | qih | (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-06 02:15:00 +0100 | ozataman | (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-06 02:15:32 +0100 | <__minoru__shirae> | mniip: what do you mean "splice constructor names"? concatenate? |
| 2021-03-06 02:15:46 +0100 | fissureman | (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 2021-03-06 02:16:41 +0100 | <mniip> | data D = $(code-generated constructor name) |
| 2021-03-06 02:17:21 +0100 | <qih> | o/ |
| 2021-03-06 02:19:04 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:b415:f422:4eeb:ecc6) |
| 2021-03-06 02:19:08 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 02:22:27 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 02:22:49 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 02:24:20 +0100 | redmp | (~redmp@172.58.35.84) |
| 2021-03-06 02:26:12 +0100 | <c_wraith> | nope. You'd have to do $(code-generated "D" constructor name) |
| 2021-03-06 02:26:39 +0100 | <c_wraith> | splices can be expressions, patterns, types, or declarations. Constructors aren't actually any of those. |
| 2021-03-06 02:27:23 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ihuasyfhsigzsydj) |
| 2021-03-06 02:27:59 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 02:28:38 +0100 | <koz_> | What's the canonical reference for list comprehensions? Haskell Report? |
| 2021-03-06 02:28:49 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-06 02:30:40 +0100 | <mniip> | c_wraith, yea I feared that |
| 2021-03-06 02:34:30 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-03-06 02:34:44 +0100 | <monochrom> | koz_: If one of Miranda or Gopher has it, then it is probably the earliest appearance of list comprehension. |
| 2021-03-06 02:34:59 +0100 | <koz_> | monochrom: Sorry, I wasn't clear. I meant 'in Haskell'. |
| 2021-03-06 02:35:03 +0100 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-03-06 02:35:39 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-03-06 02:35:51 +0100 | <monochrom> | Then I think Haskell Report would be it. |
| 2021-03-06 02:36:04 +0100 | <koz_> | monochrom: Thanks! |
| 2021-03-06 02:36:30 +0100 | pfurla_ | (~pfurla@77.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-03-06 02:36:46 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-06 02:36:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-06 02:39:14 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-03-06 02:39:18 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-hsfumururywifqcc) () |
| 2021-03-06 02:40:21 +0100 | <qih> | koz_: Nice weather today up there? |
| 2021-03-06 02:40:28 +0100 | <koz_> | qih: Yes, now that you ask. |
| 2021-03-06 02:40:48 +0100 | <qih> | Excellent, likewise, oddly enough 8-) |
| 2021-03-06 02:40:54 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-06 02:41:26 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:58cb) (Ping timeout: 264 seconds) |
| 2021-03-06 02:42:03 +0100 | <qih> | Got my DEV system back up and running, so I can grab a bunch of Haskell Packages, like Turtle 8-) |
| 2021-03-06 02:47:25 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-06 02:49:19 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 02:49:31 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-03-06 02:49:50 +0100 | <koz_> | :t (*>) |
| 2021-03-06 02:49:52 +0100 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2021-03-06 02:49:56 +0100 | <koz_> | :t (>>) |
| 2021-03-06 02:49:58 +0100 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2021-03-06 02:50:06 +0100 | xsperry | (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
| 2021-03-06 02:50:09 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 02:50:22 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-06 02:51:25 +0100 | <koz_> | Also, I saw this in MonadComprehensions: D[ e | e, Q ] = guard e >> \p -> D[ e | Q ] |
| 2021-03-06 02:51:48 +0100 | <koz_> | Why is the desugaring creating this lambda? |
| 2021-03-06 02:52:15 +0100 | <koz_> | Shouldn't it be 'guard e >> D[ e | Q ]? |
| 2021-03-06 02:52:23 +0100 | <koz_> | s/?/'?/ |
| 2021-03-06 02:54:22 +0100 | <qih> | Any chance there is a Google Bot enable for this channel? |
| 2021-03-06 02:57:32 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 03:02:57 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 264 seconds) |
| 2021-03-06 03:04:02 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-06 03:07:09 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-06 03:08:51 +0100 | <qih> | !google Easter Bunny |
| 2021-03-06 03:09:10 +0100 | <qih> | ... that's a no 8-) |
| 2021-03-06 03:09:20 +0100 | <swarmcollective> | @google Easter Bunny |
| 2021-03-06 03:09:22 +0100 | <lambdabot> | No Result Found. |
| 2021-03-06 03:10:47 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-03-06 03:11:19 +0100 | <qih> | ^..^ |
| 2021-03-06 03:11:28 +0100 | <qih> | swarmcollective: Ta |
| 2021-03-06 03:12:29 +0100 | viluon | (uid453725@gateway/web/irccloud.com/x-jznxrcvykoijbcuj) (Quit: Connection closed for inactivity) |
| 2021-03-06 03:14:36 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 03:19:04 +0100 | dunj3 | (~dunj3@2001:16b8:30a0:1e00:e916:763f:8b57:452f) (Remote host closed the connection) |
| 2021-03-06 03:21:47 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-06 03:22:26 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 03:22:49 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 03:24:12 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-06 03:24:39 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 03:28:09 +0100 | drbean | (~drbean@TC210-63-209-55.static.apol.com.tw) |
| 2021-03-06 03:29:02 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 03:29:10 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 03:29:28 +0100 | ADG1089_ | (~adg1089@171.76.153.167) |
| 2021-03-06 03:29:28 +0100 | ADG1089_ | (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 03:29:41 +0100 | gitgood | (~gitgood@82-132-219-92.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-06 03:29:43 +0100 | ADG1089_ | (~adg1089@171.79.107.148) |
| 2021-03-06 03:30:38 +0100 | <qih> | koz_: https://blockchain.org.nz/about/our-members/ <= I had no idea! |
| 2021-03-06 03:30:53 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 245 seconds) |
| 2021-03-06 03:31:01 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-06 03:31:03 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-06 03:31:04 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
| 2021-03-06 03:31:35 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 03:33:58 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-06 03:34:14 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 03:34:39 +0100 | bigbosskor | (~Android@mx-ll-223.204.221-113.dynamic.3bb.co.th) |
| 2021-03-06 03:36:53 +0100 | qih | (~pi@210-54-120-166.adsl.xtra.co.nz) (Read error: Connection reset by peer) |
| 2021-03-06 03:37:15 +0100 | redmp | (~redmp@172.58.35.84) (Ping timeout: 256 seconds) |
| 2021-03-06 03:37:28 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-06 03:37:40 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 03:39:07 +0100 | ubert | (~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-06 03:39:49 +0100 | pfurla_ | (~pfurla@77.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 260 seconds) |
| 2021-03-06 03:43:25 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-06 03:43:53 +0100 | ubert | (~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-06 03:44:02 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-03-06 03:44:47 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-03-06 03:46:18 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-06 03:47:24 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-06 03:48:20 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-06 03:48:39 +0100 | toblorone | (4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5) (Quit: Connection closed) |
| 2021-03-06 03:50:29 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-06 03:53:58 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-06 03:54:58 +0100 | xff0x | (~xff0x@2001:1a81:5278:3000:57ba:9247:ce34:6483) (Ping timeout: 260 seconds) |
| 2021-03-06 03:56:48 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:430a:4f14:4bdc:3bbe) |
| 2021-03-06 03:58:25 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Ping timeout: 276 seconds) |
| 2021-03-06 03:59:51 +0100 | alx741 | (~alx741@186.178.108.237) (Quit: alx741) |
| 2021-03-06 04:01:25 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-03-06 04:02:19 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-06 04:02:23 +0100 | theelous3 | (~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer) |
| 2021-03-06 04:05:00 +0100 | ADG1089_ | (~adg1089@171.79.107.148) (Ping timeout: 246 seconds) |
| 2021-03-06 04:09:39 +0100 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2021-03-06 04:13:31 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-06 04:13:31 +0100 | finn_elija | Guest2755 |
| 2021-03-06 04:13:31 +0100 | FinnElija | finn_elija |
| 2021-03-06 04:13:43 +0100 | bigbosskor | (~Android@mx-ll-223.204.221-113.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 04:13:45 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-03-06 04:17:15 +0100 | Guest2755 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-06 04:20:03 +0100 | bigbosskor | (~Android@mx-ll-223.204.221-113.dynamic.3bb.co.th) |
| 2021-03-06 04:21:50 +0100 | bigbosskor | (~Android@mx-ll-223.204.221-113.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 04:22:26 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 04:22:48 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 04:23:40 +0100 | <heck-to-the-gnom> | I've done `[6, 1 .. 5]` before, but now when I do that, it doesn't work! Did the syntax change, or has it been off this whole time? |
| 2021-03-06 04:24:42 +0100 | <heck-to-the-gnom> | Huh, seems as though it needs to be sequential... |
| 2021-03-06 04:24:48 +0100 | <heck-to-the-gnom> | Why's that? |
| 2021-03-06 04:25:01 +0100 | <swarmcollective> | :t [6, 5..1] ? |
| 2021-03-06 04:25:03 +0100 | <lambdabot> | error: |
| 2021-03-06 04:25:03 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2021-03-06 04:25:09 +0100 | <swarmcollective> | :t [6, 5..1] |
| 2021-03-06 04:25:11 +0100 | <lambdabot> | (Num a, Enum a) => [a] |
| 2021-03-06 04:25:27 +0100 | <heck-to-the-gnom> | > [6, 5..1] |
| 2021-03-06 04:25:28 +0100 | <lambdabot> | [6,5,4,3,2,1] |
| 2021-03-06 04:25:35 +0100 | <heck-to-the-gnom> | but |
| 2021-03-06 04:25:46 +0100 | <heck-to-the-gnom> | > [6, 1 .. 5] |
| 2021-03-06 04:25:48 +0100 | <lambdabot> | [6] |
| 2021-03-06 04:25:55 +0100 | <swarmcollective> | >reverse [6, 5..1] |
| 2021-03-06 04:26:03 +0100 | <swarmcollective> | > reverse [6, 5..1] |
| 2021-03-06 04:26:06 +0100 | <lambdabot> | [1,2,3,4,5,6] |
| 2021-03-06 04:26:33 +0100 | <heck-to-the-gnom> | [6, reverse 5..1] |
| 2021-03-06 04:26:42 +0100 | <heck-to-the-gnom> | > [6, reverse 5..1] |
| 2021-03-06 04:26:44 +0100 | <lambdabot> | error: |
| 2021-03-06 04:26:44 +0100 | <lambdabot> | • No instance for (Num [()]) arising from a use of ‘e_1651’ |
| 2021-03-06 04:26:44 +0100 | <lambdabot> | • In the expression: e_1651 |
| 2021-03-06 04:26:46 +0100 | <swarmcollective> | I believe it evaluates [6, 1..5] the same as [6, True] |
| 2021-03-06 04:26:52 +0100 | <swarmcollective> | > [6, True] |
| 2021-03-06 04:26:54 +0100 | <lambdabot> | error: |
| 2021-03-06 04:26:54 +0100 | <lambdabot> | • No instance for (Num Bool) arising from the literal ‘6’ |
| 2021-03-06 04:26:54 +0100 | <lambdabot> | • In the expression: 6 |
| 2021-03-06 04:27:11 +0100 | <swarmcollective> | Maybe not. :) |
| 2021-03-06 04:27:26 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-06 04:27:37 +0100 | <heck-to-the-gnom> | I mean... |
| 2021-03-06 04:27:45 +0100 | <swarmcollective> | > [6 | True] |
| 2021-03-06 04:27:47 +0100 | <lambdabot> | [6] |
| 2021-03-06 04:27:57 +0100 | <heck-to-the-gnom> | [6] <> [1 .. 5] |
| 2021-03-06 04:28:03 +0100 | <heck-to-the-gnom> | > [6] <> [1 .. 5] |
| 2021-03-06 04:28:05 +0100 | <lambdabot> | [6,1,2,3,4,5] |
| 2021-03-06 04:28:21 +0100 | <heck-to-the-gnom> | It just feels, unclean, |
| 2021-03-06 04:28:30 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-03-06 04:28:32 +0100 | <heck-to-the-gnom> | > [6 | False] |
| 2021-03-06 04:28:34 +0100 | <lambdabot> | [] |
| 2021-03-06 04:29:09 +0100 | <swarmcollective> | For some reason I read that as [6 | Salsa]. Oh dear. |
| 2021-03-06 04:29:30 +0100 | <heck-to-the-gnom> | Tired? |
| 2021-03-06 04:30:17 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 04:30:25 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-06 04:31:17 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 04:33:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 04:34:07 +0100 | <heck-to-the-gnom> | Is there a simpler version of `shiftR arr = tail arr <> [head arr]`? |
| 2021-03-06 04:34:10 +0100 | Wuzzy | (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-06 04:34:44 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 04:35:22 +0100 | <heck-to-the-gnom> | I mean, a builtin method, anyway |
| 2021-03-06 04:35:59 +0100 | <swarmcollective> | @hoogle [a] -> a -> [a] |
| 2021-03-06 04:36:00 +0100 | <lambdabot> | Data.List.Extra snoc :: [a] -> a -> [a] |
| 2021-03-06 04:36:00 +0100 | <lambdabot> | Extra snoc :: [a] -> a -> [a] |
| 2021-03-06 04:36:00 +0100 | <lambdabot> | Data.Deriving.Via.Internal changeLast :: [a] -> a -> [a] |
| 2021-03-06 04:36:14 +0100 | <swarmcollective> | snoc is in extra. So, perhaps not. |
| 2021-03-06 04:37:26 +0100 | <heck-to-the-gnom> | Well, that's unfortunate |
| 2021-03-06 04:37:36 +0100 | <heck-to-the-gnom> | Ah well, I'll just keep that around then |
| 2021-03-06 04:38:44 +0100 | <swarmcollective> | snoc and cons can be handy though. They will work with String (aka [Char]) as well as [a] and Text. |
| 2021-03-06 04:39:27 +0100 | <swarmcollective> | @hoogle snoc |
| 2021-03-06 04:39:28 +0100 | <lambdabot> | Data.ByteString snoc :: ByteString -> Word8 -> ByteString |
| 2021-03-06 04:39:28 +0100 | <lambdabot> | Data.ByteString.Char8 snoc :: ByteString -> Char -> ByteString |
| 2021-03-06 04:39:28 +0100 | <lambdabot> | Data.ByteString.Lazy snoc :: ByteString -> Word8 -> ByteString |
| 2021-03-06 04:39:37 +0100 | <swarmcollective> | Oh, and ByteString |
| 2021-03-06 04:39:56 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 04:41:18 +0100 | theDon | (~td@muedsl-82-207-238-191.citykom.de) (Ping timeout: 245 seconds) |
| 2021-03-06 04:41:51 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 04:43:14 +0100 | theDon | (~td@94.134.91.205) |
| 2021-03-06 04:43:24 +0100 | cartwright | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-03-06 04:44:40 +0100 | <monochrom> | koz_: I'm pretty sure "guard e >> \p -> D[ e | Q ]" was caused by a typo, someone couldn't make up their mind whether to use ">> no lambda" or ">>= \p". Scroll down to see there is another copy-paste typo: "(>>) GHC.Base m1 t1 -> m2 t2 -> m3 t3" |
| 2021-03-06 04:44:56 +0100 | <koz_> | monochrom: Someone should probably look into that. |
| 2021-03-06 04:44:58 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-06 04:44:59 +0100 | <koz_> | Who do I prod? |
| 2021-03-06 04:45:48 +0100 | cartwright | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-06 04:46:41 +0100 | <monochrom> | Hrm, I may be wrong about that last one, it's standard practice to have "every type variable is a fresh variable initially" before and during type inference. |
| 2021-03-06 04:49:44 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) |
| 2021-03-06 04:50:21 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 264 seconds) |
| 2021-03-06 04:51:10 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-chfbleysvpyzerwt) () |
| 2021-03-06 04:52:19 +0100 | <monochrom> | I don't actually know. |
| 2021-03-06 04:52:33 +0100 | <monochrom> | Maybe #ghc first. |
| 2021-03-06 04:55:52 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 05:00:57 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-06 05:01:13 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 05:01:29 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 260 seconds) |
| 2021-03-06 05:02:07 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 276 seconds) |
| 2021-03-06 05:02:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-06 05:02:34 +0100 | andreas31 | (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-03-06 05:02:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-06 05:03:12 +0100 | andreas31 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-03-06 05:06:39 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 05:07:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-06 05:07:14 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 05:07:34 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 05:12:53 +0100 | Tene | (~tene@mail.digitalkingdom.org) |
| 2021-03-06 05:12:53 +0100 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-03-06 05:12:53 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2021-03-06 05:13:36 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
| 2021-03-06 05:13:55 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0) |
| 2021-03-06 05:18:16 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 05:18:20 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 05:18:53 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-06 05:21:34 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-06 05:21:39 +0100 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds) |
| 2021-03-06 05:21:54 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 05:21:54 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 05:23:41 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-06 05:24:01 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 05:29:43 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-03-06 05:30:25 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-03-06 05:35:04 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 05:38:01 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 05:38:56 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 2021-03-06 05:39:08 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) |
| 2021-03-06 05:39:42 +0100 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-03-06 05:47:44 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 05:48:46 +0100 | forgottenone | (~forgotten@176.42.24.161) |
| 2021-03-06 05:50:21 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-06 05:50:24 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) |
| 2021-03-06 05:51:31 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Client Quit) |
| 2021-03-06 05:52:13 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 05:53:03 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 05:53:20 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) |
| 2021-03-06 05:53:20 +0100 | carlomagno | (~cararell@148.87.23.13) (Quit: Leaving.) |
| 2021-03-06 05:56:54 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-06 06:08:32 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2021-03-06 06:09:29 +0100 | redmp | (~redmp@172.58.35.93) |
| 2021-03-06 06:16:14 +0100 | petersen | (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-03-06 06:16:53 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-03-06 06:26:21 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 06:27:04 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 06:28:36 +0100 | tst_username | (~user@60-241-202-64.tpgi.com.au) |
| 2021-03-06 06:29:01 +0100 | cartwright | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-03-06 06:31:16 +0100 | cartwright | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-06 06:31:56 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-03-06 06:33:21 +0100 | tst_username | (~user@60-241-202-64.tpgi.com.au) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-06 06:34:11 +0100 | <arahael> | Hmm, as a newbie question... How do I test something that incidentially uses IO? Eg, I want to test functionFoo :: IO Foo |
| 2021-03-06 06:34:37 +0100 | <arahael> | I've tried to use Tasty (with HUnit) but I can't figure out the api to call it. |
| 2021-03-06 06:35:53 +0100 | <arahael> | that is, I've tried: tests = testGroup "Example" [ testCase "When testing Foo" $ (functionFoo) @?= 42 ] |
| 2021-03-06 06:37:18 +0100 | <heck-to-the-gnom> | use io? lowercase, that is. I'm not certain about that exact scenario, but that's what I've seen around |
| 2021-03-06 06:37:31 +0100 | <heck-to-the-gnom> | e.g `io functionFoo` |
| 2021-03-06 06:37:47 +0100 | <arahael> | Hmm, where do I find that function? |
| 2021-03-06 06:38:12 +0100 | <heck-to-the-gnom> | I suppose it depends on which types you're using |
| 2021-03-06 06:38:17 +0100 | <heck-to-the-gnom> | @hoogle io |
| 2021-03-06 06:38:17 +0100 | <lambdabot> | Data.GI.CodeGen.Type io :: TypeRep -> TypeRep |
| 2021-03-06 06:38:17 +0100 | <lambdabot> | Weigh io :: NFData a => String -> (b -> IO a) -> b -> Weigh () |
| 2021-03-06 06:38:17 +0100 | <lambdabot> | XMonad.Core io :: MonadIO m => IO a -> m a |
| 2021-03-06 06:38:52 +0100 | <arahael> | heck-to-the-gnom: Yeah, when I look at the docs for tasty, it seems that the form I'm using there requires that it only implements Show and Eq. |
| 2021-03-06 06:39:14 +0100 | <heck-to-the-gnom> | Perhaps I'm incorrect in this scenario, idk |
| 2021-03-06 06:39:34 +0100 | <arahael> | I'm thinking that I probably can't do this using tasty. (But it looks like I can do it with raw HUnit...) |
| 2021-03-06 06:39:37 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-03-06 06:40:43 +0100 | <heck-to-the-gnom> | Wait, how come you're using multiple test packages? |
| 2021-03-06 06:41:39 +0100 | <arahael> | heck-to-the-gnom: It's stolen from the example in https://hackage.haskell.org/package/tasty |
| 2021-03-06 06:41:43 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-06 06:41:53 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-03-06 06:42:39 +0100 | <heck-to-the-gnom> | And, you haven't deviated from the example? |
| 2021-03-06 06:42:44 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-03-06 06:44:01 +0100 | <heck-to-the-gnom> | Oh, I understand your question better now, you're trying to test an IO function within the non-io context |
| 2021-03-06 06:44:07 +0100 | <arahael> | heck-to-the-gnom: Exactly. |
| 2021-03-06 06:44:58 +0100 | <arahael> | heck-to-the-gnom: Or alternatively, a better way of testing such functions. Note, these functions are arguably have no side effects and do not depend on external state. |
| 2021-03-06 06:45:12 +0100 | <arahael> | They just happen to require executing within the IO monad. |
| 2021-03-06 06:45:15 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 06:45:44 +0100 | <heck-to-the-gnom> | Perhaps a do statement could be of help here |
| 2021-03-06 06:45:58 +0100 | <heck-to-the-gnom> | main :: IO () |
| 2021-03-06 06:45:58 +0100 | <heck-to-the-gnom> | main = do c <- getChar |
| 2021-03-06 06:45:58 +0100 | <heck-to-the-gnom> | putChar c |
| 2021-03-06 06:46:25 +0100 | <arahael> | I'm not sure how that helps... Can you put that main within a unit test? |
| 2021-03-06 06:46:43 +0100 | <heck-to-the-gnom> | where `putChar c` would be your testing function and `getChar` would be your function that you're testing |
| 2021-03-06 06:46:43 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Client Quit) |
| 2021-03-06 06:47:14 +0100 | <arahael> | heck-to-the-gnom: I'd prefer not to write my own test harness. |
| 2021-03-06 06:47:23 +0100 | <arahael> | brb, back in 15. (Have to take the rubbish out...) |
| 2021-03-06 06:47:31 +0100 | <heck-to-the-gnom> | Heck, I'm a noob at Haskell too, but I've had a few run-ins with IO, I thought I'd try, there's no other way to find out I guess (to the question you asked) |
| 2021-03-06 06:47:48 +0100 | <arahael> | Yeah - I think I have to do it in hunit. |
| 2021-03-06 06:47:58 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-06 06:50:35 +0100 | poscat | (~poscat@2408:8207:482e:5730::1) (Ping timeout: 240 seconds) |
| 2021-03-06 06:51:56 +0100 | poscat | (~poscat@123.116.89.28) |
| 2021-03-06 06:53:31 +0100 | urodna | (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer) |
| 2021-03-06 06:54:53 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 06:55:04 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-06 06:56:06 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-03-06 06:57:32 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 06:59:41 +0100 | <arahael> | Well, that was pretty easy. |
| 2021-03-06 07:00:22 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 07:00:38 +0100 | <arahael> | heck-to-the-gnom: What I had missed was that in tasty, the `testCase` function has type `TestName -> Assertion -> TestTree`, and Assertion is just a `type Assertion = IO ()`. |
| 2021-03-06 07:00:43 +0100 | <arahael> | So there's the IO that I can use. |
| 2021-03-06 07:00:54 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 2021-03-06 07:02:37 +0100 | johnw | (~johnw@haskell/developer/johnw) |
| 2021-03-06 07:02:45 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-06 07:03:30 +0100 | glguy | (x@freenode/staff/haskell.developer.glguy) (Quit: Quit) |
| 2021-03-06 07:03:31 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 07:03:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 07:04:09 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-06 07:04:39 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 07:04:49 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-06 07:07:20 +0100 | <arahael> | Ok, so this leads to the next question I'm wondering: Is it possible (as in; easy) to get an idea of the test coverage you have with `cabal test`? |
| 2021-03-06 07:07:35 +0100 | glguy | (x@freenode/staff/haskell.developer.glguy) |
| 2021-03-06 07:08:41 +0100 | <sclv> | arahael: —enable-coverage |
| 2021-03-06 07:09:18 +0100 | <arahael> | Woah. Will check that out. :) |
| 2021-03-06 07:12:35 +0100 | bitmagie | (~Thunderbi@200116b8064bb100b41ba95448b036ed.dip.versatel-1u1.de) |
| 2021-03-06 07:12:38 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 07:13:08 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 07:13:30 +0100 | ArConan | (80c7ba50@128.199.186.80) |
| 2021-03-06 07:13:51 +0100 | <heck-to-the-gnom> | Isn't it funny, how the bulk (at least of us inexperienced) of haskell problems are because we can't find functions that do what we're looking for already? There really should be a better way to search for that type of stuff. Perhaps a functionality tagging system would be of help. |
| 2021-03-06 07:15:32 +0100 | <arahael> | heck-to-the-gnom: Well, the fault was mine. But hoogle and hackage both do extremely well |
| 2021-03-06 07:16:09 +0100 | <arahael> | heck-to-the-gnom: Note - in hackage, there is a very easily over-looked "source" link next to every function, this leads you to a *hyperlinked* source file. |
| 2021-03-06 07:17:05 +0100 | johnw | (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 2021-03-06 07:18:30 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 07:20:23 +0100 | <heck-to-the-gnom> | I've gone there, quite a few times, not quite what I mean, but often useful, nonetheless |
| 2021-03-06 07:21:13 +0100 | <arahael> | sclv: Thanks for that, that's *perfect*. |
| 2021-03-06 07:21:28 +0100 | <arahael> | heck-to-the-gnom: Could you explain what you mean, then? |
| 2021-03-06 07:22:04 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-06 07:23:01 +0100 | <heck-to-the-gnom> | tagging functions, with ideas as to what they do, like assertion, it'd be nice to have an easy method to search "IO outof(IO)", then just find the one for your datatype or package |
| 2021-03-06 07:23:43 +0100 | <heck-to-the-gnom> | perhaps I'm just that bad at reading types, and that's already how it works, IDK, I'll get better, I'm certain |
| 2021-03-06 07:23:46 +0100 | <arahael> | What do you mean "IO outof(IO)"? |
| 2021-03-06 07:23:58 +0100 | <heck-to-the-gnom> | run IO, outside of an IO function |
| 2021-03-06 07:24:07 +0100 | <arahael> | Ah, well, generally, you shouldn't. You almost can't. |
| 2021-03-06 07:24:08 +0100 | <heck-to-the-gnom> | or context |
| 2021-03-06 07:24:33 +0100 | <arahael> | But in my particular case, I was trying to find something "idiomatic", and Tasty didn't show any examples using IO. |
| 2021-03-06 07:25:20 +0100 | <heck-to-the-gnom> | Yeah, well, I want random numbers, and IO is the sanest way for that, I don't always want to run everything in IO (there's other examples, but this was a difficult learning experience that I had a while back) |
| 2021-03-06 07:25:55 +0100 | <heck-to-the-gnom> | anyway, I'm off to bed, good chatting w/ you |
| 2021-03-06 07:26:20 +0100 | <arahael> | heck-to-the-gnom: Sleep well. |
| 2021-03-06 07:32:34 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 07:33:15 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-06 07:34:53 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 07:37:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-06 07:38:24 +0100 | redmp | (~redmp@172.58.35.93) (Ping timeout: 245 seconds) |
| 2021-03-06 07:39:49 +0100 | bitmagie | (~Thunderbi@200116b8064bb100b41ba95448b036ed.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-06 07:42:17 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-03-06 07:42:27 +0100 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-03-06 07:44:21 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 2021-03-06 07:45:02 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-nvhxtqplyxeozrfs) (Quit: Connection closed for inactivity) |
| 2021-03-06 07:45:53 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 07:46:10 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 07:46:14 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 07:46:32 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 07:47:01 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 07:47:17 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 07:47:48 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 07:48:06 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 07:48:36 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 07:48:46 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 07:49:44 +0100 | ArConan | (80c7ba50@128.199.186.80) (Quit: Connection closed) |
| 2021-03-06 07:56:23 +0100 | nineonin_ | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 07:57:34 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 07:58:57 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-opxrpnhctmnngxjm) (Quit: Connection closed for inactivity) |
| 2021-03-06 07:59:38 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 245 seconds) |
| 2021-03-06 08:01:05 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 08:01:12 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2021-03-06 08:01:40 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-03-06 08:01:50 +0100 | nineonin_ | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-06 08:02:48 +0100 | nineonin_ | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 08:03:59 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-06 08:04:22 +0100 | malumore | (~malumore@151.62.119.81) |
| 2021-03-06 08:06:24 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-06 08:06:28 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 08:07:12 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 08:07:43 +0100 | sablib | (~sablib@59.173.153.33) (Quit: WeeChat 3.0) |
| 2021-03-06 08:10:01 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 2021-03-06 08:11:19 +0100 | cheater | (~user@unaffiliated/cheater) |
| 2021-03-06 08:18:29 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 08:19:28 +0100 | former_ocamler | (8eb3cea7@s142-179-206-167.ab.hsia.telus.net) |
| 2021-03-06 08:19:45 +0100 | <former_ocamler> | hey friends! whats the current best way to use haskell on emacs? I feel like its changed a lot recently |
| 2021-03-06 08:20:33 +0100 | <Lycurgus> | other than as a text editor? |
| 2021-03-06 08:20:55 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 08:22:01 +0100 | <Lycurgus> | haskell mode still works |
| 2021-03-06 08:22:09 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
| 2021-03-06 08:23:02 +0100 | psutcliffe | (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 08:23:13 +0100 | average | (uid473595@gateway/web/irccloud.com/x-omskghvgbfvcepam) (Quit: Connection closed for inactivity) |
| 2021-03-06 08:23:55 +0100 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 2021-03-06 08:25:04 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-06 08:25:21 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:7046:f547:40a8:c4a8) (Remote host closed the connection) |
| 2021-03-06 08:25:30 +0100 | nineonin_ | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 08:26:07 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 08:26:17 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-06 08:31:21 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Ping timeout: 272 seconds) |
| 2021-03-06 08:32:20 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-06 08:32:49 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-06 08:33:19 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-06 08:36:15 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds) |
| 2021-03-06 08:38:00 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 08:38:05 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 2021-03-06 08:38:09 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-06 08:38:32 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2021-03-06 08:40:26 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 2021-03-06 08:42:17 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 08:46:40 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 08:46:46 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 08:47:27 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-03-06 08:47:32 +0100 | Guest17337 | (~l@host-80-181-53-142.retail.telecomitalia.it) |
| 2021-03-06 08:47:42 +0100 | <Guest17337> | @find archicad |
| 2021-03-06 08:47:43 +0100 | <lambdabot> | error: Not in scope: type variable ‘archicad’ |
| 2021-03-06 08:47:52 +0100 | <Guest17337> | @findfilm |
| 2021-03-06 08:47:52 +0100 | <lambdabot> | Unknown command, try @list |
| 2021-03-06 08:49:20 +0100 | Guest17337 | (~l@host-80-181-53-142.retail.telecomitalia.it) (Remote host closed the connection) |
| 2021-03-06 08:49:20 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 08:49:44 +0100 | Guest17337 | (~pol@host-80-181-53-142.pool80181.interbusiness.it) |
| 2021-03-06 08:49:54 +0100 | Guest17337 | (~pol@host-80-181-53-142.pool80181.interbusiness.it) (Remote host closed the connection) |
| 2021-03-06 08:50:38 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 08:51:22 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-06 08:51:36 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-mcfwlfbkblxoiabx) (Quit: Connection closed for inactivity) |
| 2021-03-06 08:51:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-06 08:53:16 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 08:53:16 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 08:55:39 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 08:59:58 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-03-06 09:05:17 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 09:07:37 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-06 09:08:49 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-06 09:08:52 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 09:09:32 +0100 | plutoniix | (~q@184.82.192.174) |
| 2021-03-06 09:10:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 09:11:07 +0100 | neiluj | (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-03-06 09:12:10 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 09:13:55 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) |
| 2021-03-06 09:21:19 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Ping timeout: 245 seconds) |
| 2021-03-06 09:21:54 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 09:22:14 +0100 | shailangsa | (~shailangs@host86-145-14-46.range86-145.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2021-03-06 09:23:56 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-03-06 09:24:44 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-06 09:25:30 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-06 09:26:50 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 09:28:00 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 09:28:14 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:d317:7d29:af2b:942a) |
| 2021-03-06 09:32:53 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 09:34:14 +0100 | malumore | (~malumore@151.62.119.81) (Ping timeout: 245 seconds) |
| 2021-03-06 09:35:27 +0100 | psutcliffe | (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 2021-03-06 09:35:49 +0100 | mirrorbird | (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 09:36:54 +0100 | malumore | (~malumore@151.62.119.81) |
| 2021-03-06 09:37:07 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) |
| 2021-03-06 09:37:14 +0100 | gzj | (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-03-06 09:37:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 09:38:08 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-06 09:40:16 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 09:42:03 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:d317:7d29:af2b:942a) (Ping timeout: 260 seconds) |
| 2021-03-06 09:44:14 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-06 09:44:28 +0100 | shailangsa | (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) |
| 2021-03-06 09:45:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 09:46:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-06 09:46:56 +0100 | maier | (~maier@i59F67B82.versanet.de) |
| 2021-03-06 09:47:27 +0100 | Waifod | (~Waifod@91.106.123.186) |
| 2021-03-06 09:48:39 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-06 09:51:29 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 09:55:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 09:55:10 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Quit: Konversation terminated!) |
| 2021-03-06 09:55:25 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 09:55:28 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 09:55:32 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) |
| 2021-03-06 09:56:41 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 09:57:05 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 09:58:50 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Ping timeout: 264 seconds) |
| 2021-03-06 09:59:26 +0100 | drbean | (~drbean@TC210-63-209-55.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-06 10:00:07 +0100 | acdsystemliorg[m | (acdsysteml@gateway/shell/matrix.org/x-yldclcynujkdrkug) (Quit: Idle for 30+ days) |
| 2021-03-06 10:00:10 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Ping timeout: 260 seconds) |
| 2021-03-06 10:00:20 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 10:00:42 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-06 10:00:53 +0100 | maier | (~maier@i59F67B82.versanet.de) (Ping timeout: 256 seconds) |
| 2021-03-06 10:01:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 10:01:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 10:03:14 +0100 | javran | (~javran@108-201-186-97.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-06 10:04:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 10:04:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 10:05:48 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 10:09:03 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Disconnected: Replaced by new connection") |
| 2021-03-06 10:09:20 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-06 10:11:36 +0100 | pincel | (~pyon@unaffiliated/pyon) (Ping timeout: 240 seconds) |
| 2021-03-06 10:12:17 +0100 | bitmagie | (~Thunderbi@200116b8064bb100b41ba95448b036ed.dip.versatel-1u1.de) |
| 2021-03-06 10:12:22 +0100 | bitmagie | (~Thunderbi@200116b8064bb100b41ba95448b036ed.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-06 10:16:30 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-rfzijgrftdbyiykm) |
| 2021-03-06 10:26:34 +0100 | curiousgay_ | (~quassel@178.217.208.8) |
| 2021-03-06 10:26:44 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 10:27:34 +0100 | curiousgay_ | (~quassel@178.217.208.8) (Client Quit) |
| 2021-03-06 10:30:29 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-06 10:31:11 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-06 10:31:31 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 10:31:58 +0100 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-03-06 10:33:49 +0100 | viluon | (uid453725@gateway/web/irccloud.com/x-ovmqwxzixbiyhmhh) |
| 2021-03-06 10:35:10 +0100 | spamlessj | (~spamlessj@2a01:4f8:141:1329::2) (Remote host closed the connection) |
| 2021-03-06 10:36:59 +0100 | ClaudiusMaximus | (~claude@191.123.199.146.dyn.plus.net) |
| 2021-03-06 10:37:17 +0100 | ClaudiusMaximus | (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-03-06 10:37:17 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-06 10:37:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-06 10:40:29 +0100 | malumore | (~malumore@151.62.119.81) (Ping timeout: 245 seconds) |
| 2021-03-06 10:40:32 +0100 | <Athas> | Is there a simple way to get a list of all transitive dependencies of my program? I need a hash function, and I figure there might already be one somewhere among my dependencies... |
| 2021-03-06 10:41:09 +0100 | <viluon> | I haven't resolved this, so I'll ask again: possibly stupid, beginner question: I'm building `concat` with `stack` and it crashes when compiling `concat-inline`, apparently GHC tries to parse a comment as Haddock docs? https://paste.tomsmeding.com/3wfD3cCh |
| 2021-03-06 10:41:25 +0100 | <tomsmeding> | Athas: cabal or stack? |
| 2021-03-06 10:41:34 +0100 | <Athas> | tomsmeding: either. |
| 2021-03-06 10:41:54 +0100 | <tomsmeding> | `stack dot` for stack; there is dist-newstyle/cache/plan.json for cabal |
| 2021-03-06 10:42:04 +0100 | <tomsmeding> | that plan.json can be inspected manually, or using |
| 2021-03-06 10:42:07 +0100 | <tomsmeding> | @hackage cabal-plan |
| 2021-03-06 10:42:07 +0100 | <lambdabot> | https://hackage.haskell.org/package/cabal-plan |
| 2021-03-06 10:42:16 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 10:42:41 +0100 | <Athas> | viluon: that's odd. Maybe GHC has started doing that always? |
| 2021-03-06 10:42:43 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 10:43:19 +0100 | <Athas> | tomsmeding: thanks. I will try both. |
| 2021-03-06 10:43:45 +0100 | <viluon> | Athas: it is odd indeed, the only thing I could find about this was https://gitlab.haskell.org/ghc/ghc/-/issues/1091 |
| 2021-03-06 10:46:00 +0100 | <tomsmeding> | viluon: it might well be that; where did you get concat-inline from? Can you change the offending line? |
| 2021-03-06 10:46:20 +0100 | <tomsmeding> | (I'm assuming you didn't add any extra flags to 'stack build') |
| 2021-03-06 10:46:53 +0100 | <viluon> | tomsmeding: all I did was `stack build :misc-examples` |
| 2021-03-06 10:47:26 +0100 | <Athas> | 'cabal-plan' worked wonderfully! There is something called 'hashable', I wonder if I could use that... |
| 2021-03-06 10:47:50 +0100 | <viluon> | tomsmeding: but stack seems to be building this with GHC 8.8.1, how could it fail with a 14-year old error resolved in GHC 6? |
| 2021-03-06 10:47:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-06 10:48:40 +0100 | <Athas> | viluon: the 14-year old issue report implies that the design of the parser is such that there might be more similar problems. That also implies that they might be easy to re-introduce. |
| 2021-03-06 10:49:19 +0100 | <Athas> | Especially since that bug is likely rarely triggered in practice, as the code would fail with Haddock anyway. |
| 2021-03-06 10:49:47 +0100 | <viluon> | Athas: fair, but then I don't suppose I would be the first to re-encounter this issue? |
| 2021-03-06 10:50:26 +0100 | <viluon> | to be clear, I ran into this thing in another project that also used stack and had to remove or at least edit similar comments to build it |
| 2021-03-06 10:50:39 +0100 | <tomsmeding> | viluon: any chance you can retry the build with a later ghc release in the 8.8 series? e.g. 8.8.4 |
| 2021-03-06 10:50:44 +0100 | <Athas> | Huh. Is your stack maybe configured to always run haddock? |
| 2021-03-06 10:50:58 +0100 | <tomsmeding> | might be able to try 'stack build --no-haddock' |
| 2021-03-06 10:51:54 +0100 | <viluon> | Athas: oooh, you figured it out! I totally forgot about the user-specific config file, for some reason, mine was adding `-haddock` to GHC options |
| 2021-03-06 10:52:09 +0100 | <viluon> | silly me, thank you people! |
| 2021-03-06 10:52:22 +0100 | <tomsmeding> | good luck! :) |
| 2021-03-06 10:53:22 +0100 | pja | (~phil@2a02:8010:6098:0:f2de:f1ff:fe2c:3d9) (Quit: WeeChat 2.8) |
| 2021-03-06 10:53:36 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 10:54:30 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 10:59:43 +0100 | johannes_ | (~johannes@p54b3fe47.dip0.t-ipconnect.de) |
| 2021-03-06 11:00:00 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-03-06 11:00:30 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-03-06 11:00:34 +0100 | johannes_ | (~johannes@p54b3fe47.dip0.t-ipconnect.de) () |
| 2021-03-06 11:00:52 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 11:02:43 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:03:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-06 11:04:33 +0100 | johannes_ | (~johannes@p54b3fe47.dip0.t-ipconnect.de) |
| 2021-03-06 11:05:06 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 11:06:40 +0100 | johannes_ | jjj |
| 2021-03-06 11:06:42 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 11:07:55 +0100 | jjj | (~johannes@p54b3fe47.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2021-03-06 11:08:42 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 11:08:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-06 11:10:53 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 245 seconds) |
| 2021-03-06 11:10:58 +0100 | Rudd0^ | (~Rudd0@185.189.115.108) |
| 2021-03-06 11:13:39 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 11:16:47 +0100 | dunj3 | (~dunj3@2001:16b8:30df:bf00:1021:5127:4488:fa37) |
| 2021-03-06 11:17:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-06 11:19:21 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-06 11:20:26 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-06 11:20:50 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-06 11:23:58 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-06 11:27:22 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:28:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-06 11:28:58 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 11:29:04 +0100 | bahamas | (~lucian@unaffiliated/bahamas) (Quit: leaving) |
| 2021-03-06 11:29:57 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-06 11:29:58 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 11:32:06 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 11:33:20 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-06 11:33:30 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) |
| 2021-03-06 11:35:43 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-06 11:36:06 +0100 | <WarzoneCommand> | hmm, I'm having trouble running my benchmark suite with cabal. Even though my caba.project.local file contains 'tests : True' (as the only line), cabal bench keeps telling me that it cannot find a build plan that includes the benchmark (and then suggests adding tests: True to my cabal.project.local file) |
| 2021-03-06 11:36:25 +0100 | <WarzoneCommand> | does anyone know what's up with that? I somehow feel I must be missing something stupid |
| 2021-03-06 11:39:04 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Read error: No route to host) |
| 2021-03-06 11:39:26 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) |
| 2021-03-06 11:39:37 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 11:40:27 +0100 | <WarzoneCommand> | ah, I see. Apparently I should ahve added 'benchmarks: True'. |
| 2021-03-06 11:40:52 +0100 | <WarzoneCommand> | I guess that does make sense, but the "help" that cabal suggests (i.e. adding tests: True) is terribly confusing |
| 2021-03-06 11:40:52 +0100 | curiousgay_ | (~quassel@178.217.208.8) |
| 2021-03-06 11:41:20 +0100 | curiousgay_ | (~quassel@178.217.208.8) (Client Quit) |
| 2021-03-06 11:42:01 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 11:42:43 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 11:43:12 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 11:43:25 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 11:43:58 +0100 | __minoru__shirae | (~shiraeesh@109.166.58.196) (Ping timeout: 265 seconds) |
| 2021-03-06 11:44:29 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-03-06 11:44:31 +0100 | mirrorbird | (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 2021-03-06 11:45:15 +0100 | Rudd0^ | (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds) |
| 2021-03-06 11:45:28 +0100 | mirrorbird | (~morbidgir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 11:46:12 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 2021-03-06 11:46:41 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 11:48:37 +0100 | curiousgay | (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-06 11:48:49 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-03-06 11:49:26 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 11:49:47 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 11:51:07 +0100 | curiousgay | (~gay@178.217.208.8) |
| 2021-03-06 11:52:07 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-03-06 11:53:43 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-06 11:55:20 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 12:02:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 12:02:28 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 12:03:06 +0100 | curiousgay | (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-06 12:03:26 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 12:03:56 +0100 | curiousgay | (~gay@178.217.208.8) |
| 2021-03-06 12:04:06 +0100 | mananamenos | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 12:04:13 +0100 | benl23 | (sid284234@gateway/web/irccloud.com/x-cqkabivleljrbyfw) (Quit: Connection closed for inactivity) |
| 2021-03-06 12:06:22 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-06 12:06:53 +0100 | z0k | (~user@115-186-141-91.nayatel.pk) |
| 2021-03-06 12:11:07 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 276 seconds) |
| 2021-03-06 12:11:25 +0100 | vgtw_ | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-06 12:11:36 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 12:12:05 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds) |
| 2021-03-06 12:12:05 +0100 | vgtw_ | vgtw |
| 2021-03-06 12:12:15 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 12:13:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 2021-03-06 12:16:11 +0100 | mirrorbird | (~morbidgir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 2021-03-06 12:16:31 +0100 | mirrorbird | (~mirrorbir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 12:18:53 +0100 | plutoniix | (~q@184.82.192.174) (Quit: Leaving) |
| 2021-03-06 12:18:53 +0100 | Vinoth | (~Vinoth@122.178.22.50) |
| 2021-03-06 12:19:07 +0100 | mirrorbird | (~mirrorbir@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Client Quit) |
| 2021-03-06 12:19:18 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 12:22:33 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-06 12:23:25 +0100 | Vinoth | (~Vinoth@122.178.22.50) (Remote host closed the connection) |
| 2021-03-06 12:29:28 +0100 | maier | (~maier@i59F67B82.versanet.de) |
| 2021-03-06 12:29:58 +0100 | mananamenos | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-06 12:30:32 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 12:33:34 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 12:34:16 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 12:35:08 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-06 12:35:43 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-03-06 12:36:06 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 12:39:39 +0100 | Guest31857 | (~textual@2603-7000-3040-0000-ec87-4b0b-f3fa-d9f1.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 12:41:19 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-06 12:41:23 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 12:42:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 12:45:12 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-06 12:45:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 12:45:41 +0100 | johannes_ | (~johannes@i59F67B82.versanet.de) |
| 2021-03-06 12:46:36 +0100 | johannes_ | kenran |
| 2021-03-06 12:49:14 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) (Ping timeout: 264 seconds) |
| 2021-03-06 12:50:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 12:50:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 12:53:15 +0100 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-03-06 12:53:39 +0100 | Alleria | Guest5954 |
| 2021-03-06 12:55:50 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:430a:4f14:4bdc:3bbe) (Ping timeout: 264 seconds) |
| 2021-03-06 12:56:29 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:dc48:d5f0:927e:9035) |
| 2021-03-06 13:05:21 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 13:05:34 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-06 13:05:45 +0100 | <tomsmeding> | WarzoneCommand: that might be worth opening an issue for on the cabal repo |
| 2021-03-06 13:06:07 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-rfzijgrftdbyiykm) (Quit: Connection closed for inactivity) |
| 2021-03-06 13:07:04 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 13:08:49 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 13:10:55 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 276 seconds) |
| 2021-03-06 13:12:01 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) |
| 2021-03-06 13:12:01 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 2021-03-06 13:14:35 +0100 | <Martinsos> | I am using QuickCheck for the first time properly, and it seems I got into some kind of infinite loop or it is just very slow, not sure, but it keeps executing and never ends. It ends quickly if I introduce something in the code that would fail the tests. Specifically, I have a simple AST, so it is a small tree structure, and I made all of the parts instances of Arbitrary. I wonder now, what am I doing wrong? Why execution never ends? |
| 2021-03-06 13:14:35 +0100 | <Martinsos> | Is it generating infinite amount of tests? Is it getting stuck somewhere? I am not sure how to start researching this, any quick suggestions? Thanks a lot! |
| 2021-03-06 13:15:26 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 13:15:29 +0100 | <Martinsos> | Just in case I wasn't clear -> my QuickCheck test generates instances of this AST and then tests them. AST is not recursive. |
| 2021-03-06 13:16:16 +0100 | <__monty__> | By default quickcheck generates some 100s of examples I believe. |
| 2021-03-06 13:16:24 +0100 | <__monty__> | How large do these ASTs get? |
| 2021-03-06 13:16:44 +0100 | maier | (~maier@i59F67B82.versanet.de) (Ping timeout: 245 seconds) |
| 2021-03-06 13:16:56 +0100 | <Martinsos> | Hm well they are not even really deep |
| 2021-03-06 13:17:05 +0100 | <Martinsos> | couple of levels |
| 2021-03-06 13:17:24 +0100 | <Martinsos> | but on some places, it can be any number of elements |
| 2021-03-06 13:17:58 +0100 | <Martinsos> | and I didn't try controlling that in any way, I would just put smth like listOf |
| 2021-03-06 13:18:22 +0100 | <Lycurgus> | stuff can loop |
| 2021-03-06 13:18:28 +0100 | <Martinsos> | Is that something I should worry about? Length of strings, and length of arrays? |
| 2021-03-06 13:18:32 +0100 | <Martinsos> | What can loop? |
| 2021-03-06 13:18:43 +0100 | <Lycurgus> | in this case, quick check |
| 2021-03-06 13:19:02 +0100 | <Lycurgus> | which could be taken as a tacit report of failure |
| 2021-03-06 13:19:10 +0100 | <Martinsos> | I don't know why it would loop, my AST is not recursive |
| 2021-03-06 13:19:33 +0100 | <Martinsos> | Aha, you mean to say that maybe functions I am testing on generated AST are looping |
| 2021-03-06 13:19:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-06 13:20:08 +0100 | <Martinsos> | well I don't know how to prove they are not, but I don't think that is the problem, there isn't really any opportunity for that (although I will give it an extra look) |
| 2021-03-06 13:20:21 +0100 | kenran | (~johannes@i59F67B82.versanet.de) (Quit: leaving) |
| 2021-03-06 13:21:00 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 13:21:02 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 13:21:20 +0100 | mananamenos | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 13:23:03 +0100 | <Lycurgus> | *could*, quick check isn't an oracle oder |
| 2021-03-06 13:25:53 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 13:29:55 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-06 13:31:06 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-06 13:31:38 +0100 | Lycurgus | suggests identifying the looping test |
| 2021-03-06 13:31:49 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 13:33:20 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 13:34:06 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-06 13:36:17 +0100 | <ADG1089__> | writing mathjax code in comments? |
| 2021-03-06 13:36:18 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 13:37:30 +0100 | geekosaur | (ac3a5419@172.58.84.25) |
| 2021-03-06 13:39:18 +0100 | ubert | (~Thunderbi@p200300ecdf25d9ffe6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-06 13:41:05 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 13:41:08 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 13:42:29 +0100 | <Martinsos> | I just found there is verboseCheck - I guess I should run QuickCheck with that and figure out on which test it loops! |
| 2021-03-06 13:46:40 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-06 13:47:41 +0100 | gitgood | (~gitgood@82-132-218-49.dab.02.net) |
| 2021-03-06 13:49:03 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-06 13:49:23 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 13:50:30 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 13:51:15 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-06 13:53:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 13:55:53 +0100 | Guest5954 | (~textual@mskresolve-a.mskcc.org) (Ping timeout: 245 seconds) |
| 2021-03-06 13:57:13 +0100 | average | (uid473595@gateway/web/irccloud.com/x-pcdddredmpviitpd) |
| 2021-03-06 13:57:37 +0100 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-03-06 13:58:01 +0100 | Alleria | Guest7108 |
| 2021-03-06 13:58:14 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-06 13:59:19 +0100 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) |
| 2021-03-06 14:00:23 +0100 | geekosaur | (ac3a5419@172.58.84.25) (Ping timeout: 240 seconds) |
| 2021-03-06 14:02:45 +0100 | geekosaur | (ac3a5419@172.58.84.25) |
| 2021-03-06 14:04:31 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 14:07:17 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-03-06 14:11:04 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-06 14:15:36 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-03-06 14:15:43 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-03-06 14:17:04 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 14:17:30 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 14:19:59 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 14:21:28 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 14:23:16 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 14:25:33 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-03-06 14:26:33 +0100 | alx741 | (~alx741@186.178.108.237) |
| 2021-03-06 14:30:20 +0100 | poscat | (~poscat@123.116.89.28) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-06 14:30:27 +0100 | HaeB1 | (~HaeB@217.146.82.202) (Remote host closed the connection) |
| 2021-03-06 14:30:34 +0100 | poscat | (~poscat@123.116.89.28) |
| 2021-03-06 14:32:12 +0100 | robotmay | (~beepboop@81.187.172.80) (Quit: Be excellent to each other) |
| 2021-03-06 14:34:39 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 245 seconds) |
| 2021-03-06 14:35:40 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-06 14:36:15 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-06 14:37:01 +0100 | <ADG1089__> | I am doing dfs in haskell but getting different runtime based on how I order my selection of branches -> shorter branches first gives faster runtime compared to longer branches first. |
| 2021-03-06 14:38:16 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 14:38:18 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 14:38:46 +0100 | stampirl | (~stampirl@195-154-112-77.rev.poneytelecom.eu) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-03-06 14:39:58 +0100 | <ADG1089__> | even so far so as to make a program running in <4sec to over 1 minute. Just by reversing a list. Even though same number of branches are checked AFAIK. |
| 2021-03-06 14:40:14 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-06 14:40:55 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:3d75:10f9:beff:a2fa) |
| 2021-03-06 14:41:21 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-06 14:43:23 +0100 | aidecoe | (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 245 seconds) |
| 2021-03-06 14:44:27 +0100 | robotmay | (~beepboop@2001:8b0:7af0:2580:2ddc:ec22:b220:a191) |
| 2021-03-06 14:44:31 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) (Quit: frankdmartinez) |
| 2021-03-06 14:47:04 +0100 | Tops2 | (~Tobias@dyndsl-095-033-021-001.ewe-ip-backbone.de) |
| 2021-03-06 14:47:35 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-06 14:49:03 +0100 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-06 14:49:29 +0100 | viluon | (uid453725@gateway/web/irccloud.com/x-ovmqwxzixbiyhmhh) (Quit: Connection closed for inactivity) |
| 2021-03-06 14:50:10 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 14:57:25 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) |
| 2021-03-06 15:01:25 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-03-06 15:01:53 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Remote host closed the connection) |
| 2021-03-06 15:02:18 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 15:03:43 +0100 | j | (jess@freenode/staff/jess) |
| 2021-03-06 15:03:45 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) |
| 2021-03-06 15:04:20 +0100 | aidecoe | (~aidecoe@unaffiliated/aidecoe) |
| 2021-03-06 15:05:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 15:05:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 15:05:32 +0100 | ADG1089_ | (~adg1089@171.76.153.167) |
| 2021-03-06 15:06:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 15:06:28 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 15:07:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 15:07:30 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 15:08:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 15:08:31 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-06 15:09:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-06 15:09:39 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Ping timeout: 256 seconds) |
| 2021-03-06 15:09:55 +0100 | ADG1089__ | (~aditya@171.76.153.167) |
| 2021-03-06 15:10:38 +0100 | thevishy | (~Nishant@103.210.43.206) |
| 2021-03-06 15:11:11 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 15:12:00 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-mfzveezqaqjgvokp) |
| 2021-03-06 15:13:57 +0100 | <ADG1089__> | is it cheating if I use multiprocessing for project euler? |
| 2021-03-06 15:16:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 15:17:46 +0100 | <pjb> | ADG1089__: you may try. |
| 2021-03-06 15:17:57 +0100 | <pjb> | AFAIK, the host is smart. |
| 2021-03-06 15:22:51 +0100 | ADG1089_ | (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 15:22:53 +0100 | ADG1089__ | (~aditya@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 15:22:56 +0100 | ADG1089 | (~aditya@171.79.107.148) |
| 2021-03-06 15:23:08 +0100 | ADG1089_ | (~adg1089@171.79.107.148) |
| 2021-03-06 15:27:25 +0100 | ADG1089__ | (~aditya@171.76.153.167) |
| 2021-03-06 15:29:38 +0100 | ADG1089 | (~aditya@171.79.107.148) (Ping timeout: 260 seconds) |
| 2021-03-06 15:30:19 +0100 | ADG1089_ | (~adg1089@171.79.107.148) (Ping timeout: 260 seconds) |
| 2021-03-06 15:31:14 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Remote host closed the connection) |
| 2021-03-06 15:32:15 +0100 | ADG1089__ | (~aditya@171.76.153.167) (Client Quit) |
| 2021-03-06 15:32:57 +0100 | ADG1089__ | (~aditya@171.76.153.167) |
| 2021-03-06 15:35:15 +0100 | renzhi | (~renzhi@2607:fa49:653f:eb00::296e) (Ping timeout: 240 seconds) |
| 2021-03-06 15:36:00 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 15:36:07 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 15:37:53 +0100 | augnun_ | (~augnun@2804:14c:658b:41bb:b376:f7e5:9ada:8b5) (Ping timeout: 260 seconds) |
| 2021-03-06 15:38:21 +0100 | <ADG1089__> | does cabal support for loop? |
| 2021-03-06 15:41:33 +0100 | jneira | (5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) |
| 2021-03-06 15:41:35 +0100 | <Uniaika> | dear god now |
| 2021-03-06 15:41:38 +0100 | <Uniaika> | oh, hey jneira <3 |
| 2021-03-06 15:42:59 +0100 | thrig1 | (~thrig@178.239.168.171) |
| 2021-03-06 15:43:45 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-06 15:47:08 +0100 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-06 15:47:52 +0100 | renzhi | (~renzhi@2607:fa49:653f:eb00::5bc7) |
| 2021-03-06 15:48:22 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-wttqmrtcedpbgonm) |
| 2021-03-06 15:50:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-06 15:51:01 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 15:51:20 +0100 | f-a | (~f-a@151.68.18.13) |
| 2021-03-06 15:51:24 +0100 | f-a | (~f-a@151.68.18.13) () |
| 2021-03-06 15:52:20 +0100 | j | (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-03-06 15:52:31 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 15:52:41 +0100 | j | (jess@freenode/staff/jess) |
| 2021-03-06 15:54:30 +0100 | geekosaur | (ac3a5419@172.58.84.25) (Quit: Connection closed) |
| 2021-03-06 15:55:13 +0100 | jess | (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-03-06 15:56:41 +0100 | carlomagno | (~cararell@148.87.23.12) |
| 2021-03-06 16:00:39 +0100 | Guest78 | (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) |
| 2021-03-06 16:01:13 +0100 | ADG1089__ | (~aditya@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 16:01:22 +0100 | <Guest78> | Hi all |
| 2021-03-06 16:01:41 +0100 | ADG1089_ | (~adg1089@171.79.107.148) |
| 2021-03-06 16:01:44 +0100 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-06 16:03:23 +0100 | Sonderblade | (~helloman@94.191.136.7.mobile.tre.se) (Quit: Konversation terminated!) |
| 2021-03-06 16:04:13 +0100 | <Guest78> | I would like to adapt some code to be able to send a signal to open MATE menu |
| 2021-03-06 16:04:28 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 16:05:00 +0100 | <Guest78> | the code which I am starting with is this: mateRun :: X () |
| 2021-03-06 16:05:01 +0100 | <Guest78> | mateRun = withDisplay $ \dpy -> do |
| 2021-03-06 16:05:01 +0100 | <Guest78> | rw <- asks theRoot |
| 2021-03-06 16:05:02 +0100 | <Guest78> | mate_panel <- getAtom "_MATE_PANEL_ACTION" |
| 2021-03-06 16:05:02 +0100 | <Guest78> | panel_run <- getAtom "_MATE_PANEL_ACTION_RUN_DIALOG" |
| 2021-03-06 16:05:03 +0100 | <Guest78> | io $ allocaXEvent $ \e -> do |
| 2021-03-06 16:05:03 +0100 | <Guest78> | setEventType e clientMessage |
| 2021-03-06 16:05:03 +0100 | Guest78 | (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 2021-03-06 16:05:10 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 16:07:43 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 16:07:52 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-06 16:08:44 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 16:10:13 +0100 | ADG1089 | (~aditya@171.76.153.167) |
| 2021-03-06 16:10:53 +0100 | ADG1089_ | (~adg1089@171.79.107.148) (Ping timeout: 245 seconds) |
| 2021-03-06 16:11:10 +0100 | ADG1089_ | (~adg1089@171.76.153.167) |
| 2021-03-06 16:11:25 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Ping timeout: 256 seconds) |
| 2021-03-06 16:12:34 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-06 16:12:59 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-06 16:15:07 +0100 | Guest78 | (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) |
| 2021-03-06 16:15:16 +0100 | Guest7108 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 16:19:22 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) ("ERC (IRC client for Emacs 27.1)") |
| 2021-03-06 16:22:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-03-06 16:22:45 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 16:24:15 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-03-06 16:24:53 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 16:27:09 +0100 | zerok | (~user@115-186-141-88.nayatel.pk) |
| 2021-03-06 16:27:54 +0100 | Alleria | (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) |
| 2021-03-06 16:27:59 +0100 | z0k | (~user@115-186-141-91.nayatel.pk) (Ping timeout: 245 seconds) |
| 2021-03-06 16:28:17 +0100 | Alleria | Guest77377 |
| 2021-03-06 16:32:53 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0.1) |
| 2021-03-06 16:33:26 +0100 | ADG1089_ | (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 16:33:32 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 16:33:33 +0100 | ADG1089 | (~aditya@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 16:33:44 +0100 | ADG1089_ | (~adg1089@171.79.107.148) |
| 2021-03-06 16:34:52 +0100 | d1rges | (~d1rges@2001-b011-8011-1ca3-38c5-202b-3e29-73a7.dynamic-ip6.hinet.net) |
| 2021-03-06 16:35:34 +0100 | d1rges | (~d1rges@2001-b011-8011-1ca3-38c5-202b-3e29-73a7.dynamic-ip6.hinet.net) (Client Quit) |
| 2021-03-06 16:36:32 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Client Quit) |
| 2021-03-06 16:36:33 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 16:36:43 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 16:36:52 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 16:38:09 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 16:39:37 +0100 | jonathan | (4747c2db@71.71.194.219) |
| 2021-03-06 16:40:01 +0100 | jonathan | Guest83117 |
| 2021-03-06 16:40:01 +0100 | Guest83117 | jonathan24 |
| 2021-03-06 16:40:49 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-06 16:40:57 +0100 | <jonathan24> | hi everyone. has anyone had any luck with wxHaskell on Windows on a recent version? I followed the wiki but I keep getting an error about a version mismatch. Looks like several versions ahead |
| 2021-03-06 16:42:54 +0100 | bigbosskor | (~Android@49.230.142.110) |
| 2021-03-06 16:43:05 +0100 | <jonathan24> | also, any working gui library that supports Windows and uses native-looking widgets would be great. |
| 2021-03-06 16:43:51 +0100 | bigbosskor | (~Android@49.230.142.110) (Read error: Connection reset by peer) |
| 2021-03-06 16:44:57 +0100 | DrowsySaturn | (~DrowsySat@71.71.194.219) |
| 2021-03-06 16:45:34 +0100 | jonathan24 | (4747c2db@71.71.194.219) (Quit: Connection closed) |
| 2021-03-06 16:47:41 +0100 | <sm[m]> | how about qtah |
| 2021-03-06 16:48:49 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 16:49:43 +0100 | NllPtr | (~NllPtr@dvc-157-183-156-186.movil.vtr.net) |
| 2021-03-06 16:49:55 +0100 | <sm[m]> | oops |
| 2021-03-06 16:50:00 +0100 | <sm[m]> | so hasty |
| 2021-03-06 16:50:12 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 16:50:27 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 246 seconds) |
| 2021-03-06 16:52:36 +0100 | <DrowsySaturn> | i'll check it out. thanks sm |
| 2021-03-06 16:52:43 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 16:52:46 +0100 | <DrowsySaturn> | this is jonathan24 haha |
| 2021-03-06 16:52:47 +0100 | zerok | (~user@115-186-141-88.nayatel.pk) (Quit: WeeChat 3.0) |
| 2021-03-06 16:53:14 +0100 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-03-06 16:53:31 +0100 | DTZUZU | (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-03-06 16:53:42 +0100 | <sm[m]> | aha |
| 2021-03-06 16:59:03 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 16:59:26 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 16:59:43 +0100 | cheater | (~user@unaffiliated/cheater) |
| 2021-03-06 17:00:41 +0100 | bigbosskor | (~Android@49.230.142.110) |
| 2021-03-06 17:04:25 +0100 | <ADG1089__> | why does stack build every dependency, can't they cache it for x86_64? |
| 2021-03-06 17:04:39 +0100 | <ADG1089__> | like python3-pip does ? |
| 2021-03-06 17:05:44 +0100 | Jack_Frost | (~textual@wikipedia/Jack-Frost) |
| 2021-03-06 17:11:33 +0100 | <[exa]> | DrowsySaturn: why not plain old gtk? there are many win-portable projects that use it |
| 2021-03-06 17:12:22 +0100 | <DrowsySaturn> | oh really? thanks exa, I'll check that also |
| 2021-03-06 17:12:29 +0100 | <DrowsySaturn> | you guys are all very helpful :) |
| 2021-03-06 17:12:52 +0100 | <[exa]> | like, afaik at least inkscape&gimp use gtk, and they behave pretty well on windows |
| 2021-03-06 17:13:29 +0100 | bigbosskor | (~Android@49.230.142.110) (Read error: Connection reset by peer) |
| 2021-03-06 17:14:26 +0100 | <DrowsySaturn> | i see |
| 2021-03-06 17:14:39 +0100 | bigbosskor | (~Android@49.230.142.110) |
| 2021-03-06 17:14:43 +0100 | Jack_Frost | (~textual@wikipedia/Jack-Frost) () |
| 2021-03-06 17:15:35 +0100 | bigboss93 | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 17:15:38 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-06 17:15:42 +0100 | nckx | jorts |
| 2021-03-06 17:15:45 +0100 | <[exa]> | anyway the gtk programming style might be a bit oldish, but I find the approach much less annoying by ugly surprises than Qt |
| 2021-03-06 17:16:15 +0100 | <[exa]> | YMMV though, I guess many people here would disagree too. :] |
| 2021-03-06 17:16:28 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 17:16:34 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-06 17:16:34 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-06 17:16:34 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-03-06 17:18:02 +0100 | tinhatcat | (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Quit: Leaving) |
| 2021-03-06 17:18:45 +0100 | bigboss93 | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 17:18:48 +0100 | bigbosskor | (~Android@49.230.142.110) (Ping timeout: 246 seconds) |
| 2021-03-06 17:19:02 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-03-06 17:20:21 +0100 | ADG1089__ | (~aditya@171.79.107.148) (Quit: Konversation terminated!) |
| 2021-03-06 17:20:22 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-06 17:22:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 17:22:44 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 17:25:04 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-03-06 17:25:05 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 17:25:33 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 17:27:24 +0100 | caubert | (~caubert@136.244.111.235) (Ping timeout: 256 seconds) |
| 2021-03-06 17:27:26 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 17:27:49 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-06 17:27:55 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-06 17:28:23 +0100 | caubert | (~caubert@136.244.111.235) |
| 2021-03-06 17:28:54 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 17:28:55 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 258 seconds) |
| 2021-03-06 17:29:16 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 17:29:18 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-06 17:34:02 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-06 17:34:53 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 2021-03-06 17:36:28 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-06 17:37:40 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 17:40:01 +0100 | <hpc> | ADG1089_: a bit late, but the metaphor for stack isn't pip, it's venv |
| 2021-03-06 17:40:24 +0100 | <Athas> | Is there a function for moving files? I can't imagine this is missing, but I can't immediately find it in System.Directory... |
| 2021-03-06 17:40:24 +0100 | ADG1089_ | (~adg1089@171.79.107.148) (Ping timeout: 260 seconds) |
| 2021-03-06 17:41:25 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 17:41:32 +0100 | <hpc> | Athas: the functions you want start with "rename" |
| 2021-03-06 17:41:55 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 17:44:03 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2021-03-06 17:44:25 +0100 | gitgood | (~gitgood@82-132-218-49.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-06 17:44:59 +0100 | <Athas> | hpc: they don't work across physical devices. |
| 2021-03-06 17:45:21 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 17:45:44 +0100 | <Athas> | A good function would check whether renaming works, and fall back to copying otherwise. But I'm too lazy to write a good function, so I will just use copying instead. |
| 2021-03-06 17:46:07 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 17:46:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 17:47:08 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 17:47:43 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 17:49:55 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 17:50:03 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-06 17:50:17 +0100 | <Guest78> | how can I output theRoot (I guess root window attributes) from Xmonad.core? |
| 2021-03-06 17:52:14 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-06 17:54:26 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 17:55:03 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 17:55:20 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 17:55:22 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 17:57:29 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-06 17:57:57 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 18:01:01 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-06 18:01:29 +0100 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) (Read error: Connection reset by peer) |
| 2021-03-06 18:03:34 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 18:04:09 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 18:05:19 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-03-06 18:05:42 +0100 | bitmagie | (~Thunderbi@200116b8064bb1008d8d865989000c82.dip.versatel-1u1.de) |
| 2021-03-06 18:07:41 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-06 18:08:28 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 2021-03-06 18:09:12 +0100 | <geekosaur> | Guest78, output in what sense? |
| 2021-03-06 18:09:48 +0100 | <geekosaur> | `asks theRoot >>= print` would output it to your session log without formatting |
| 2021-03-06 18:10:29 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-06 18:10:39 +0100 | sand_dul1 | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
| 2021-03-06 18:12:20 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 18:12:42 +0100 | sand_dul1 | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Client Quit) |
| 2021-03-06 18:13:57 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-06 18:14:28 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-06 18:16:14 +0100 | sand_dul1 | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
| 2021-03-06 18:16:33 +0100 | ubert | (~Thunderbi@p200300ecdf25d9ffe6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-06 18:17:00 +0100 | <geekosaur> | actually that;d be `asks theRoot >>= io print`, sorry. but I suspect you want to do something else with it |
| 2021-03-06 18:17:04 +0100 | sand_dul1 | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) () |
| 2021-03-06 18:18:29 +0100 | bitmagie | (~Thunderbi@200116b8064bb1008d8d865989000c82.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-06 18:20:12 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-06 18:20:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-06 18:21:31 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 18:22:23 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 18:22:44 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 18:24:07 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-06 18:24:29 +0100 | <Guest78> | thanks, I just wanted to output in GHCI |
| 2021-03-06 18:24:47 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-syqdljbssvqrztqf) |
| 2021-03-06 18:25:22 +0100 | pincel | (~pyon@unaffiliated/pyon) |
| 2021-03-06 18:25:29 +0100 | jorts | nckx |
| 2021-03-06 18:25:46 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-06 18:27:41 +0100 | <Guest78> | geekosaur, thanks, I just wanted to output in GHCI |
| 2021-03-06 18:27:59 +0100 | <geekosaur> | hm, that may not work so well since ghci will run it in IO |
| 2021-03-06 18:28:12 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 18:28:13 +0100 | <geekosaur> | xmonad isn't very ghci-friendly |
| 2021-03-06 18:28:46 +0100 | <Guest78> | I am experiencing that |
| 2021-03-06 18:29:29 +0100 | <Guest78> | I would like to be able to send a signal to mate panel |
| 2021-03-06 18:30:01 +0100 | <geekosaur> | you'd have to use runX which requires you to give it an XConf and XState, in which case you wouldn't need to get theRoot back out |
| 2021-03-06 18:30:24 +0100 | <geekosaur> | generally you put debugging type stuff in your config somewhere and mod-q |
| 2021-03-06 18:31:23 +0100 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/pyanfar/xmonad.hs#L213 |
| 2021-03-06 18:33:05 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-06 18:33:19 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 2021-03-06 18:33:28 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-06 18:34:40 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 18:34:47 +0100 | <geekosaur> | the `showHex`es are technically unnecessary but match how X11 debugging commands do things by default |
| 2021-03-06 18:36:43 +0100 | <Guest78> | so root window is id 0x |
| 2021-03-06 18:36:46 +0100 | <Guest78> | ? |
| 2021-03-06 18:37:23 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 18:37:32 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 18:38:12 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 18:38:27 +0100 | <geekosaur> | it's 0x142 currently for me. that looks like you lost some output somewhere |
| 2021-03-06 18:40:24 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:69ba:e0ae:22d6:4b5f) |
| 2021-03-06 18:41:15 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:dc48:d5f0:927e:9035) (Ping timeout: 272 seconds) |
| 2021-03-06 18:41:55 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:9db1:154e:449f:cfec) |
| 2021-03-06 18:43:10 +0100 | <koz_> | I just read the 2000 fundeps paper and it's a really nice read. |
| 2021-03-06 18:43:36 +0100 | yhsiveht | (~Nishant@103.210.43.206) |
| 2021-03-06 18:45:34 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 18:45:40 +0100 | thevishy | (~Nishant@103.210.43.206) (Ping timeout: 276 seconds) |
| 2021-03-06 18:46:23 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 18:48:01 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 18:49:18 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) (Quit: frankdmartinez) |
| 2021-03-06 18:50:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-06 18:50:43 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-06 18:51:23 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-06 18:51:38 +0100 | gitgood | (~gitgood@82-132-217-64.dab.02.net) |
| 2021-03-06 18:52:31 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ihuasyfhsigzsydj) (Quit: Connection closed for inactivity) |
| 2021-03-06 18:54:11 +0100 | <topos> | Ericson2314: finally coming around to the idea that you were write about inverse semigroups being a great model for the one problem |
| 2021-03-06 18:54:17 +0100 | <topos> | *right |
| 2021-03-06 18:55:49 +0100 | caubert | (~caubert@136.244.111.235) (Quit: WeeChat 3.0) |
| 2021-03-06 18:56:03 +0100 | caubert | (~caubert@136.244.111.235) |
| 2021-03-06 18:56:06 +0100 | caubert | (~caubert@136.244.111.235) (Client Quit) |
| 2021-03-06 18:56:53 +0100 | caubert | (~caubert@136.244.111.235) |
| 2021-03-06 18:57:27 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-06 18:57:28 +0100 | Blkt | (~Blkt@2a01:4f8:200:2425::adda) (Quit: No Ping reply in 180 seconds.) |
| 2021-03-06 18:58:10 +0100 | fendor_ | (~fendor@77.119.129.125.wireless.dyn.drei.com) |
| 2021-03-06 18:58:44 +0100 | kenran | (~kenran@i59F67B82.versanet.de) |
| 2021-03-06 18:58:47 +0100 | Blkt | (~Blkt@2a01:4f8:200:2425::adda) |
| 2021-03-06 18:58:50 +0100 | <Guest78> | geekosaur in your config you have shift space xmodmap, what does it do? |
| 2021-03-06 19:00:37 +0100 | <geekosaur> | I tend to be lazy about letting go of shift, and shift-space normally does nothing, so I rebind it to space. also whatever bug that was working around has been fixed (I presume it was something in an early mate release) |
| 2021-03-06 19:00:51 +0100 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-03-06 19:00:54 +0100 | fendor | (~fendor@77.119.128.153.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-03-06 19:01:37 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 19:01:54 +0100 | <Ericson2314> | Topos wait, which problem? |
| 2021-03-06 19:02:02 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 19:02:08 +0100 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-03-06 19:02:41 +0100 | <geekosaur> | my setup is somewhat unusual in that I run xmonad as mate's window manager instead of standalone |
| 2021-03-06 19:03:13 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-ggglpztnteraezah) (Ping timeout: 258 seconds) |
| 2021-03-06 19:03:26 +0100 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-ulsufjwffnavwfuo) (Ping timeout: 240 seconds) |
| 2021-03-06 19:03:55 +0100 | Lycurgus | runs xmonad under vnc, and fvwm in one of the screen groups so I can connect to it remotely |
| 2021-03-06 19:03:56 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-cpzjhqxzqcwqwcbd) (Ping timeout: 240 seconds) |
| 2021-03-06 19:04:43 +0100 | <Lycurgus> | actually that's wrong, I use xmonad as the window manager and connect to vnc in one of the xmonad groups |
| 2021-03-06 19:04:52 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-degawwyppyrrqxdj) |
| 2021-03-06 19:05:04 +0100 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-mlhgxwlisfcfzeee) |
| 2021-03-06 19:05:11 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-imhgihyygpryouhc) |
| 2021-03-06 19:05:41 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-03-06 19:05:44 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-06 19:06:02 +0100 | <Lycurgus> | i.e on this the main home box, other boxes i just use unity |
| 2021-03-06 19:06:33 +0100 | <Lycurgus> | and can switch to unity or wayland stuff wherever |
| 2021-03-06 19:07:00 +0100 | <topos> | Ericson2314: finding a decent abstraction for things which have inverses at indices |
| 2021-03-06 19:07:15 +0100 | <Lycurgus> | i found some time ago xmonad was the most reliable wm |
| 2021-03-06 19:07:54 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 19:07:55 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 19:08:08 +0100 | shatriff | (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 19:09:21 +0100 | Benzi-Junior | (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 256 seconds) |
| 2021-03-06 19:09:32 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 19:09:58 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 19:11:47 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 19:12:08 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-06 19:15:15 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-03-06 19:15:35 +0100 | <Lycurgus> | i wonder if leksah is worth rechecking, seems to require nix now though |
| 2021-03-06 19:17:09 +0100 | <Lycurgus> | maybe after 9.2 and if they go with stack which is likely the end solution to their woes, the reason they went with nix |
| 2021-03-06 19:18:04 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) |
| 2021-03-06 19:18:23 +0100 | poscat | (~poscat@123.116.89.28) (Ping timeout: 245 seconds) |
| 2021-03-06 19:18:40 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-06 19:20:08 +0100 | __minoru__shirae | (~shiraeesh@109.166.56.93) |
| 2021-03-06 19:20:16 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) |
| 2021-03-06 19:21:19 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:69ba:e0ae:22d6:4b5f) () |
| 2021-03-06 19:21:21 +0100 | <Guest78> | geekosaur I use xmonad that way too! |
| 2021-03-06 19:21:44 +0100 | <Guest78> | in place of MATE's wm |
| 2021-03-06 19:22:12 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) |
| 2021-03-06 19:25:41 +0100 | <Guest78> | I would like to be able to use mate menu instead of mate run |
| 2021-03-06 19:26:08 +0100 | <Guest78> | but I cannot find a way to spawn it |
| 2021-03-06 19:26:44 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-06 19:27:09 +0100 | <geekosaur> | mate menu is normally an applet in the panel |
| 2021-03-06 19:27:31 +0100 | <Guest78> | I am using xdotool at the moment to "click" on it |
| 2021-03-06 19:27:37 +0100 | <Guest78> | yes |
| 2021-03-06 19:27:38 +0100 | <geekosaur> | I don't think there's a way to pop up the menu aside from letting it grab a key itself, or using the panel menu |
| 2021-03-06 19:28:57 +0100 | <Guest78> | please have a look at https://github.com/bsnux/xmonad-config/blob/master/mate/xmonad.hs |
| 2021-03-06 19:29:00 +0100 | <Guest78> | line 32 |
| 2021-03-06 19:29:58 +0100 | <geekosaur> | so you're doing tis manually? pretty sure XMonad.Config.Mate does most of this for you |
| 2021-03-06 19:31:22 +0100 | <Guest78> | no this is what mateRun does actually |
| 2021-03-06 19:31:33 +0100 | <geekosaur> | yes |
| 2021-03-06 19:32:28 +0100 | <Guest78> | it made me think it can be used to action mate menu somehow |
| 2021-03-06 19:33:08 +0100 | Schrostfutz | (~Schrostfu@p2e585ac0.dip0.t-ipconnect.de) |
| 2021-03-06 19:33:20 +0100 | <geekosaur> | sadly no, mateMenu is its own thing |
| 2021-03-06 19:33:34 +0100 | <Guest78> | ok |
| 2021-03-06 19:33:35 +0100 | <geekosaur> | there miht be a dbus endpoint for it or something |
| 2021-03-06 19:34:32 +0100 | <Guest78> | yes, but I am too noob to find it |
| 2021-03-06 19:35:38 +0100 | <Guest78> | what I am doing now is binding "xdotool mousemove 12 12 sleep 0.2 click --clearmodifiers 1 mousemove restore" to mod-d |
| 2021-03-06 19:36:12 +0100 | <Schrostfutz> | Hi, how can I read from stdin in binary mode? |
| 2021-03-06 19:36:30 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2021-03-06 19:36:31 +0100 | <Guest78> | and it works, but, as you can see it is not very elegant |
| 2021-03-06 19:36:53 +0100 | <Lycurgus> | pipe ur binary? |
| 2021-03-06 19:37:24 +0100 | <Guest78> | marco uses Alt+F1 to get the mate menu |
| 2021-03-06 19:37:40 +0100 | <Guest78> | so it is somehow possible |
| 2021-03-06 19:38:26 +0100 | <Guest78> | thanks for your help geekosaur |
| 2021-03-06 19:38:35 +0100 | <Schrostfutz> | Lycurgus: Binary file, I stored a binary stream to disk and try to parse it |
| 2021-03-06 19:38:55 +0100 | <geekosaur> | hSetBinaryMode stdin True |
| 2021-03-06 19:39:05 +0100 | <geekosaur> | import System.IO for that to work |
| 2021-03-06 19:39:11 +0100 | <Guest78> | I will steal things from your config |
| 2021-03-06 19:39:20 +0100 | <Lycurgus> | funny how "parse" tends to imply text |
| 2021-03-06 19:39:40 +0100 | <geekosaur> | that's an out of date config for my desktop machine which is in storage. I need to push my current config to a branch at some point |
| 2021-03-06 19:40:04 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-03-06 19:40:41 +0100 | <Lycurgus> | and decode or whatever goes with binary |
| 2021-03-06 19:42:19 +0100 | Habib | (~Habib@178.159.3.177) |
| 2021-03-06 19:42:31 +0100 | j | jess |
| 2021-03-06 19:42:44 +0100 | <Lycurgus> | parse, decode, demux from symbolic to analogue |
| 2021-03-06 19:43:34 +0100 | <Lycurgus> | so conduit or whatever maybe |
| 2021-03-06 19:44:10 +0100 | sQVe | (~sQVe@c83-252-72-10.bredband.comhem.se) |
| 2021-03-06 19:44:22 +0100 | sQVe | (~sQVe@c83-252-72-10.bredband.comhem.se) (Client Quit) |
| 2021-03-06 19:44:22 +0100 | bigbosskor | (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-06 19:44:27 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-06 19:45:54 +0100 | <Schrostfutz> | Great, that worked. Thanks alot! |
| 2021-03-06 19:46:22 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-06 19:46:29 +0100 | <Schrostfutz> | Interesting, I'm using parse in a generic way, does not necessarily imply human readable text for me... |
| 2021-03-06 19:46:37 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) (Quit: frankdmartinez) |
| 2021-03-06 19:47:37 +0100 | sQVe | (~sQVe@unaffiliated/sqve) |
| 2021-03-06 19:48:39 +0100 | <NllPtr> | https://paste.tomsmeding.com/TtIbZ7j1 My gut is telling me that this is basically a fold, but I don't know how to write it |
| 2021-03-06 19:49:24 +0100 | <Lycurgus> | np |
| 2021-03-06 19:49:30 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-06 19:51:39 +0100 | Schrostfutz | (~Schrostfu@p2e585ac0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-06 19:51:59 +0100 | <koz_> | NllPtr: It is a fold, with a counter for state. |
| 2021-03-06 19:52:07 +0100 | <koz_> | If the counter ever goes negative, fail. |
| 2021-03-06 19:52:16 +0100 | <koz_> | If you see an opening paren, add 1. |
| 2021-03-06 19:52:22 +0100 | <koz_> | If you see a closing one, subtract 1. |
| 2021-03-06 19:52:24 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 2021-03-06 19:52:30 +0100 | <koz_> | If the final state is 0, they're balanced - anything else, it's not. |
| 2021-03-06 19:52:42 +0100 | <NllPtr> | Ohh, yeah I was implementing it with "stacks" (using the list as stack), this is like an implementation with vectors and counting |
| 2021-03-06 19:52:45 +0100 | <NllPtr> | let me try it |
| 2021-03-06 19:52:51 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-06 19:52:55 +0100 | <koz_> | The structure being folded doesn't matter. |
| 2021-03-06 19:53:00 +0100 | <koz_> | You can write that over any Foldable. |
| 2021-03-06 19:53:17 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 19:53:44 +0100 | <NllPtr> | yes I know, thanks for the input, let me try it |
| 2021-03-06 19:56:21 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 2021-03-06 19:56:32 +0100 | mputz | (~Thunderbi@aftr-62-216-201-77.dynamic.mnet-online.de) |
| 2021-03-06 19:56:44 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-06 19:58:36 +0100 | Guest77377 | (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 20:00:30 +0100 | sQVe | (~sQVe@unaffiliated/sqve) (Quit: Bye!) |
| 2021-03-06 20:01:12 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-06 20:01:18 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 20:03:18 +0100 | bigbosskor | (~Android@223.204.246.6) |
| 2021-03-06 20:03:20 +0100 | bigbosskor | (~Android@223.204.246.6) (Read error: Connection reset by peer) |
| 2021-03-06 20:03:23 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-03-06 20:03:26 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
| 2021-03-06 20:03:35 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-06 20:05:38 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-06 20:06:10 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-06 20:08:23 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-06 20:10:57 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 20:12:46 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:3534:3efe:738b:2f4b) |
| 2021-03-06 20:13:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 20:14:43 +0100 | motherfsck | (~motherfsc@unaffiliated/motherfsck) |
| 2021-03-06 20:16:20 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-06 20:17:02 +0100 | hexagenic | (~mattias@2001:2002:51e0:74c9:d5d6:6022:ea72:3bc1) |
| 2021-03-06 20:17:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 20:19:04 +0100 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-06 20:19:31 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 20:20:23 +0100 | mputz | (~Thunderbi@aftr-62-216-201-77.dynamic.mnet-online.de) (Quit: mputz) |
| 2021-03-06 20:20:25 +0100 | ech | (~user@gateway/tor-sasl/ech) |
| 2021-03-06 20:20:28 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 20:21:18 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 20:22:24 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 20:22:55 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:b415:f422:4eeb:ecc6) (Ping timeout: 240 seconds) |
| 2021-03-06 20:23:02 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 20:25:05 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-06 20:25:28 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2021-03-06 20:27:37 +0100 | ADG1089__ | (~aditya@171.79.107.148) |
| 2021-03-06 20:31:01 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 20:31:02 +0100 | bigboss99 | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 20:31:11 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 20:34:57 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:dc41:de6b:7f91:94a8) |
| 2021-03-06 20:34:59 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) |
| 2021-03-06 20:39:38 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:9db1:154e:449f:cfec) (Ping timeout: 264 seconds) |
| 2021-03-06 20:41:11 +0100 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-03-06 20:41:29 +0100 | kenran | (~kenran@i59F67B82.versanet.de) (Remote host closed the connection) |
| 2021-03-06 20:41:44 +0100 | maier | (~maier@i59F67B82.versanet.de) |
| 2021-03-06 20:42:33 +0100 | barnowl | (~barnowl@gateway/tor-sasl/barnowl) (Remote host closed the connection) |
| 2021-03-06 20:42:57 +0100 | barnowl | (~barnowl@gateway/tor-sasl/barnowl) |
| 2021-03-06 20:44:44 +0100 | Habib | (~Habib@178.159.3.177) () |
| 2021-03-06 20:49:49 +0100 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 276 seconds) |
| 2021-03-06 20:50:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-03-06 20:51:25 +0100 | xff0x | (~xff0x@2001:1a81:52b1:4b00:9db1:154e:449f:cfec) |
| 2021-03-06 20:51:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-06 20:52:36 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-06 20:55:24 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-06 20:56:58 +0100 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
| 2021-03-06 20:59:38 +0100 | tanuki | (~quassel@173.168.154.189) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-06 21:01:38 +0100 | tanuki | (~quassel@173.168.154.189) |
| 2021-03-06 21:02:15 +0100 | Habib | (~Habib@178.159.3.177) |
| 2021-03-06 21:03:23 +0100 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Ping timeout: 245 seconds) |
| 2021-03-06 21:03:56 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 21:04:58 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 21:05:38 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 2021-03-06 21:06:07 +0100 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 2021-03-06 21:06:32 +0100 | vhs | (~vhs@2a02:8109:b6bf:fcd8:61de:56ed:fd19:41d1) |
| 2021-03-06 21:08:13 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-03-06 21:08:38 +0100 | Alleria | (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) |
| 2021-03-06 21:08:40 +0100 | mananamenos | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-06 21:09:02 +0100 | Alleria | Guest67848 |
| 2021-03-06 21:11:21 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds) |
| 2021-03-06 21:12:41 +0100 | Wuzzy | (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-06 21:12:45 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 21:13:58 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-06 21:15:52 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-03-06 21:17:21 +0100 | maier | (~maier@i59F67B82.versanet.de) (Ping timeout: 264 seconds) |
| 2021-03-06 21:19:09 +0100 | <NieDzejkob> | I have a function that uses the list monad to generate all $THINGs. Is it possible to generalize this to one that generates a (not necessarily uniformly) random $THING instead, even for parameters where the full list is too long to calculate? |
| 2021-03-06 21:19:19 +0100 | conal_ | (~conal@192.145.118.119) |
| 2021-03-06 21:20:59 +0100 | conal_ | (~conal@192.145.118.119) (Client Quit) |
| 2021-03-06 21:21:32 +0100 | conal | (~conal@192.145.118.119) |
| 2021-03-06 21:22:22 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 21:22:44 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 21:22:58 +0100 | conal_ | (~conal@64.71.133.70) |
| 2021-03-06 21:25:15 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-06 21:25:54 +0100 | conal | (~conal@192.145.118.119) (Ping timeout: 245 seconds) |
| 2021-03-06 21:27:58 +0100 | <shapr> | NieDzejkob: can you say more about what you want? |
| 2021-03-06 21:28:15 +0100 | <shapr> | oh, you want limited backtracking that generates a random subset? |
| 2021-03-06 21:28:40 +0100 | <shapr> | NieDzejkob: if you want to go all in, you can use https://en.wikipedia.org/wiki/Monte_Carlo_tree_search |
| 2021-03-06 21:28:52 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 21:29:27 +0100 | <shapr> | but if you want simpler, could you come up with some way to calculate a score on the beginning of each branch? |
| 2021-03-06 21:29:29 +0100 | <NieDzejkob> | I use Haskell to exhaustively generate small test cases for competitive programming, I want to know if there's an easy way to generate a random large test case too |
| 2021-03-06 21:29:56 +0100 | <NieDzejkob> | in this case I actually don't use guard, just stuff like do notation, mapM and filterM |
| 2021-03-06 21:30:38 +0100 | <shapr> | NieDzejkob: it sounds like you want QuickCheck or HedgeHog |
| 2021-03-06 21:30:41 +0100 | mananamenos | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 21:31:01 +0100 | <NieDzejkob> | I would if the implementation under test wasn't in C++ |
| 2021-03-06 21:31:02 +0100 | <shapr> | Here's a data type and generated Arbitrary instance: https://github.com/shapr/hlsexamples/blob/main/src/Examples.hs#L75 |
| 2021-03-06 21:31:34 +0100 | <shapr> | NieDzejkob: https://wiki.haskell.org/QuickCheck_as_a_test_set_generator ? |
| 2021-03-06 21:31:34 +0100 | conal_ | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 21:31:50 +0100 | <shapr> | I've seen a few projects in Java or other languages that used QuickCheck to generate test data |
| 2021-03-06 21:32:25 +0100 | bigboss99 | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 21:32:34 +0100 | <NieDzejkob> | would it be feasible to generate things like, say, bipartite graphs? |
| 2021-03-06 21:32:46 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 21:33:33 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) |
| 2021-03-06 21:33:48 +0100 | <shapr> | You can generate anything you want, though for the sort of thing you originally described, HedgeHog might be better. |
| 2021-03-06 21:34:11 +0100 | <shapr> | QuickCheck generates *all the things* where HedgeHog gives you more control over what's generated. |
| 2021-03-06 21:36:22 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-06 21:36:38 +0100 | kderme | (b23b3e5b@178-62-91.dynamic.cyta.gr) |
| 2021-03-06 21:36:38 +0100 | Habib | (~Habib@178.159.3.177) () |
| 2021-03-06 21:37:51 +0100 | <shapr> | I had some demo HedgeHog code, but I can't find it off the top of my head |
| 2021-03-06 21:39:01 +0100 | yhsiveht | (~Nishant@103.210.43.206) (Ping timeout: 256 seconds) |
| 2021-03-06 21:39:18 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) |
| 2021-03-06 21:39:56 +0100 | frankdmartinez | (~frankdmar@212.103.48.236) (Client Quit) |
| 2021-03-06 21:40:30 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-03-06 21:42:02 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-03-06 21:45:17 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-06 21:45:23 +0100 | maier | (~maier@i59F67B82.versanet.de) |
| 2021-03-06 21:46:27 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 2021-03-06 21:49:15 +0100 | vhs_ | (~vhs@5.180.62.118) |
| 2021-03-06 21:49:58 +0100 | maier | (~maier@i59F67B82.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-06 21:51:53 +0100 | vhs | (~vhs@2a02:8109:b6bf:fcd8:61de:56ed:fd19:41d1) (Ping timeout: 272 seconds) |
| 2021-03-06 21:52:00 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:3534:3efe:738b:2f4b) () |
| 2021-03-06 21:53:24 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-03-06 21:56:18 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 21:56:26 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-06 21:59:26 +0100 | kderme | (b23b3e5b@178-62-91.dynamic.cyta.gr) (Quit: Connection closed) |
| 2021-03-06 21:59:55 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-06 21:59:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-06 22:00:42 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-03-06 22:01:15 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-03-06 22:01:27 +0100 | <ADG1089__> | I have some common code for multiple binaries that I have defined in package.yaml, and have set dependencies: <project-name>, but it seems when I build any of the binary, it builds the other too. How can i solve this? |
| 2021-03-06 22:02:40 +0100 | <ADG1089__> | package.yaml here -> https://paste.tomsmeding.com/0k6L3O3u |
| 2021-03-06 22:03:16 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 2021-03-06 22:05:18 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-06 22:06:31 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-06 22:06:58 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-06 22:07:59 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-wttqmrtcedpbgonm) (Quit: Connection closed for inactivity) |
| 2021-03-06 22:10:23 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-06 22:11:30 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:2edb:8aee:ea11:b07) |
| 2021-03-06 22:11:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-06 22:11:50 +0100 | bigbosskor | (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 22:12:25 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal) |
| 2021-03-06 22:12:28 +0100 | average | (uid473595@gateway/web/irccloud.com/x-pcdddredmpviitpd) (Quit: Connection closed for inactivity) |
| 2021-03-06 22:13:08 +0100 | <d34df00d> | Alright, I need to interpret an (unboxed) Data.Vector of Word8's as a sequence of bits. What's the most efficient haskell-way of doing that? |
| 2021-03-06 22:14:15 +0100 | bigbosskor | (~Android@182.232.52.52) |
| 2021-03-06 22:14:35 +0100 | <d34df00d> | Yay https://hackage.haskell.org/package/bitvec-1.1.1.0/docs/Data-Bit.html |
| 2021-03-06 22:18:18 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:f9cd:3683:49d6:918b) |
| 2021-03-06 22:21:46 +0100 | hexagenic | (~mattias@2001:2002:51e0:74c9:d5d6:6022:ea72:3bc1) (Quit: WeeChat 1.9.1) |
| 2021-03-06 22:22:23 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 22:22:45 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 22:25:38 +0100 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:2edb:8aee:ea11:b07) (Ping timeout: 260 seconds) |
| 2021-03-06 22:26:40 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-06 22:27:34 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-06 22:28:46 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-06 22:29:56 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 22:31:06 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 22:31:45 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 22:32:25 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 22:32:55 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-06 22:33:32 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-06 22:33:37 +0100 | <ggVGc> | how would you write this in a less outrageous way? forM_ (zip setups grids) (uncurry ($)) |
| 2021-03-06 22:34:32 +0100 | <glguy> | :t zipWithM_ |
| 2021-03-06 22:34:34 +0100 | <lambdabot> | Applicative m => (a -> b -> m c) -> [a] -> [b] -> m () |
| 2021-03-06 22:36:13 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-06 22:37:17 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-06 22:37:19 +0100 | <ggVGc> | nice :) thanks |
| 2021-03-06 22:37:34 +0100 | <ggVGc> | not sure why I never used zipWithM before |
| 2021-03-06 22:38:47 +0100 | hiroaki_ | (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 22:39:48 +0100 | <ADG1089__> | No instance of (Random Int128) => how can I define a random instance for a third-party library data type (wide-word : Data.WideWord.Int128) ? I treid defining it but it said use newtype buth then I wasn't able to access the constructor |
| 2021-03-06 22:39:56 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-06 22:40:57 +0100 | former_ocamler | (8eb3cea7@s142-179-206-167.ab.hsia.telus.net) (Quit: Connection closed) |
| 2021-03-06 22:43:44 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-06 22:46:02 +0100 | mirrorbird | (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 22:46:20 +0100 | maier | (~maier@i59F67B82.versanet.de) |
| 2021-03-06 22:48:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 22:50:21 +0100 | alx741 | (~alx741@186.178.108.237) (Ping timeout: 264 seconds) |
| 2021-03-06 22:50:44 +0100 | maier | (~maier@i59F67B82.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-06 22:53:03 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-06 22:53:30 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-06 22:53:59 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 22:54:08 +0100 | usr25 | (~J@63.red-83-58-206.dynamicip.rima-tde.net) |
| 2021-03-06 22:54:57 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-06 22:55:29 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 22:55:31 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:dc41:de6b:7f91:94a8) (Ping timeout: 258 seconds) |
| 2021-03-06 22:55:38 +0100 | forgottenone | (~forgotten@176.42.24.161) (Remote host closed the connection) |
| 2021-03-06 22:56:04 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-06 22:57:16 +0100 | jle` | (~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds) |
| 2021-03-06 22:57:46 +0100 | kunsttyv | (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 22:57:55 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-06 22:58:01 +0100 | jle` | (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 2021-03-06 22:58:01 +0100 | jle` | (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 2021-03-06 22:58:01 +0100 | jle` | (~mstksg@unaffiliated/mstksg) |
| 2021-03-06 22:58:24 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 23:00:35 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 23:01:03 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-06 23:01:57 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 23:02:34 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-06 23:03:08 +0100 | alx741 | (~alx741@186.178.108.142) |
| 2021-03-06 23:03:43 +0100 | forgottenone | (~forgotten@176.42.24.161) |
| 2021-03-06 23:05:33 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-06 23:06:02 +0100 | jumper149 | (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-06 23:07:00 +0100 | <koz_> | ADG1089__: Post your code? |
| 2021-03-06 23:07:07 +0100 | <koz_> | (ideally using a pastebin) |
| 2021-03-06 23:07:38 +0100 | <koz_> | shapr: You can define QuickCheck generators that are more constrained too. |
| 2021-03-06 23:07:44 +0100 | <koz_> | This is not a capability unique to Hedgehog. |
| 2021-03-06 23:08:33 +0100 | kunsttyv | (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 2021-03-06 23:10:16 +0100 | kunsttyv | (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 23:10:42 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:32a9:462d:cda:4b28) |
| 2021-03-06 23:11:27 +0100 | <ADG1089__> | koz_: I required it in rabin miller primality for Int64 testing that i wrote where i needed random numbers, but to avoid overflow tried using Int128. What I ended up doing was casted to Int128 then squared and then re-casted to Int64. |
| 2021-03-06 23:11:29 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-06 23:11:51 +0100 | <koz_> | ADG1089__: I meant 'your code to write a Random instance over a newtype'. |
| 2021-03-06 23:11:58 +0100 | <ADG1089__> | Int64 is an instance of Random thankfully |
| 2021-03-06 23:12:01 +0100 | <koz_> | Because the approach you have is _definitely_ not very random. |
| 2021-03-06 23:13:33 +0100 | madog_ | madog |
| 2021-03-06 23:14:47 +0100 | <koz_> | I have functions of the form fromFoo :: Foo -> Maybe Bar. I just realized I can give more information (namely, Either Something Bar) instead. However, I wanna keep fromFoo around. What's a better name for the Foo -> Either Something Bar variant? |
| 2021-03-06 23:15:00 +0100 | <koz_> | I could do fromFoo', but I don't think it's very memorable or clear. |
| 2021-03-06 23:15:00 +0100 | forgottenone | (~forgotten@176.42.24.161) (Quit: Konversation terminated!) |
| 2021-03-06 23:15:36 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 23:15:36 +0100 | <MarcelineVQ> | mayebe fromFoo is the real unclear |
| 2021-03-06 23:15:47 +0100 | <ADG1089__> | koz_: https://paste.tomsmeding.com/acxxBGsH |
| 2021-03-06 23:15:48 +0100 | <koz_> | MarcelineVQ: That name is already stuck. |
| 2021-03-06 23:15:49 +0100 | <MarcelineVQ> | e.g. maybeFromFoo eitherFromFoo |
| 2021-03-06 23:15:56 +0100 | <koz_> | eitherFromFoo works. |
| 2021-03-06 23:16:16 +0100 | <koz_> | ADG1089__: That's not the newtype you want. |
| 2021-03-06 23:16:20 +0100 | Tops2 | (~Tobias@dyndsl-095-033-021-001.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-06 23:16:21 +0100 | <koz_> | It doesn't need to be polymorphic. |
| 2021-03-06 23:16:38 +0100 | <koz_> | What you want is 'newtype Rand128 = Rand128 Int128'. |
| 2021-03-06 23:16:42 +0100 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-06 23:16:42 +0100 | <koz_> | Then derive Random over that. |
| 2021-03-06 23:16:51 +0100 | <koz_> | s/derive/write/ |
| 2021-03-06 23:17:25 +0100 | <ADG1089__> | koz_: thanks! |
| 2021-03-06 23:17:29 +0100 | <koz_> | No problem. |
| 2021-03-06 23:17:44 +0100 | <ADG1089__> | can you help me with package.yaml thing above? |
| 2021-03-06 23:18:02 +0100 | <koz_> | ADG1089__: The only solution you will hear me provide to Hpack issues is 'stop using it'. |
| 2021-03-06 23:18:07 +0100 | <koz_> | Which I doubt is the answer you want. |
| 2021-03-06 23:18:21 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-06 23:18:36 +0100 | <ADG1089__> | what about using cabal with common stanzas? |
| 2021-03-06 23:19:12 +0100 | <koz_> | ADG1089__: Sure, that I can assist with. |
| 2021-03-06 23:20:06 +0100 | <monochrom> | If you're OK with long names, fromFooMaybe and fromFooOrElse |
| 2021-03-06 23:20:23 +0100 | <koz_> | monochrom: I'm going with 'eitherFromFoo'. It's good enough for my purposes. |
| 2021-03-06 23:20:36 +0100 | <koz_> | But thanks for the suggestion - you are a smart and attractive human being. |
| 2021-03-06 23:21:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-06 23:21:31 +0100 | bigbosskor | (~Android@182.232.52.52) (Ping timeout: 256 seconds) |
| 2021-03-06 23:22:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-06 23:22:58 +0100 | <ADG1089__> | lol the last msg |
| 2021-03-06 23:23:18 +0100 | <koz_> | ADG1089__: No harm in giving thanks nicely. |
| 2021-03-06 23:24:03 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:32a9:462d:cda:4b28) (Ping timeout: 246 seconds) |
| 2021-03-06 23:25:06 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-06 23:25:26 +0100 | <ADG1089__> | I was lol-ing to "you are a smart and att..." |
| 2021-03-06 23:25:29 +0100 | <MarcelineVQ> | koz_: I also felt like monochrom's versions were better right after I had said mine but you were so happy I didn't want to say it |
| 2021-03-06 23:25:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-06 23:25:46 +0100 | <ADG1089__> | anyways, yeah, you really helped me |
| 2021-03-06 23:25:52 +0100 | <koz_> | ADG1089__: Saying something kind to a person costs (almost) nothing. |
| 2021-03-06 23:25:58 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 23:26:05 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-06 23:26:30 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-06 23:26:59 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0.1) |
| 2021-03-06 23:27:15 +0100 | MarcelineVQ | senses the quiet vibration of a room of introverts wondering about that |
| 2021-03-06 23:27:34 +0100 | <ADG1089__> | koz_: did you miss my msg? |
| 2021-03-06 23:27:40 +0100 | <koz_> | ADG1089__: Which? |
| 2021-03-06 23:27:47 +0100 | <ADG1089__> | you said no problem |
| 2021-03-06 23:28:12 +0100 | <koz_> | ADG1089__: Could you please be more specific? |
| 2021-03-06 23:28:19 +0100 | <koz_> | I don't understand the subtext here. |
| 2021-03-06 23:29:12 +0100 | <ADG1089__> | I said "thanks!" you said "No problem" but later you said I didn't thank you nicely |
| 2021-03-06 23:30:16 +0100 | <koz_> | I didn't say that. |
| 2021-03-06 23:30:19 +0100 | <koz_> | When did I say that? |
| 2021-03-06 23:30:32 +0100 | <koz_> | I was responding to 'I was lol-ing to...'. |
| 2021-03-06 23:30:40 +0100 | <koz_> | My statement was in no way claiming you didn't thank me nicely. |
| 2021-03-06 23:30:55 +0100 | <koz_> | I was instead describing my motivations for stating the thing you quoted in 'I was lol-ing to...'. |
| 2021-03-06 23:31:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 276 seconds) |
| 2021-03-06 23:31:02 +0100 | <koz_> | Sorry if I was unclear. |
| 2021-03-06 23:31:12 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-03-06 23:31:18 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-06 23:31:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-06 23:31:45 +0100 | <koz_> | I thought the chronology would disambiguate what I was referring to, but clearly not. |
| 2021-03-06 23:32:00 +0100 | <ADG1089__> | ok you were stating the motivation behind your statement to monochrom |
| 2021-03-06 23:32:05 +0100 | <ADG1089__> | haha |
| 2021-03-06 23:32:06 +0100 | <koz_> | Yep, that's right. |
| 2021-03-06 23:32:22 +0100 | <koz_> | I certainly didn't mean that you hadn't thanked me properly - you're all good. |
| 2021-03-06 23:33:00 +0100 | <ADG1089__> | would reusing cabal file generated by hpack be a bad idea? |
| 2021-03-06 23:33:11 +0100 | <koz_> | Yes, because Hpack generates actual trash. |
| 2021-03-06 23:33:21 +0100 | <koz_> | Just write a Cabal file by hand. It's not difficult. |
| 2021-03-06 23:33:48 +0100 | frankdmartinez | (~frankdmar@217.138.198.212) |
| 2021-03-06 23:34:27 +0100 | <MarcelineVQ> | not so easy being nice is it |
| 2021-03-06 23:34:38 +0100 | <koz_> | MarcelineVQ: I think that attitude is unhelpful. |
| 2021-03-06 23:34:50 +0100 | <koz_> | People can't be magically expected to know every missing stair in the ecosystem. |
| 2021-03-06 23:35:38 +0100 | <sclv> | note that `cabal init --interactive` automates like 90% of writing a cabal file |
| 2021-03-06 23:35:53 +0100 | <ADG1089__> | actually I'm generating hpack file using a script which is generating cabal (since I have ~206 executables ) |
| 2021-03-06 23:35:56 +0100 | <MarcelineVQ> | koz_: I meant the confusion over being nice |
| 2021-03-06 23:36:04 +0100 | <ADG1089__> | sometimes i think using a makefile might've been better |
| 2021-03-06 23:36:13 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:3d97:f475:94df:3731) |
| 2021-03-06 23:36:24 +0100 | <slack1256> | 206 executables defined on the same .cabal file? |
| 2021-03-06 23:36:28 +0100 | <koz_> | MarcelineVQ: Also don't think it's helpful. It's not the other person's fault they got confused. I should have been clearer. |
| 2021-03-06 23:36:29 +0100 | <ADG1089__> | it has wildcard pattern match to build all source files inside a directory |
| 2021-03-06 23:36:40 +0100 | <ADG1089__> | slack1256: it's project euler |
| 2021-03-06 23:37:06 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-06 23:37:13 +0100 | bigbosskor | (~Android@182.232.52.52) |
| 2021-03-06 23:37:33 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 23:37:59 +0100 | <slack1256> | Wow, I only did them until 50 or so. |
| 2021-03-06 23:39:56 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 23:41:38 +0100 | <ADG1089__> | I have a library and multiple executables, should I separate the library and executable in 2 cabal files. Maybe that is causing installation of all executables when i want to install only one of them |
| 2021-03-06 23:42:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-06 23:42:10 +0100 | <ADG1089__> | it currently looks like this: https://paste.tomsmeding.com/4G2lxJPb |
| 2021-03-06 23:42:26 +0100 | <ADG1089__> | tbh, I haven't worked much with .cabal files so it seems fine to me |
| 2021-03-06 23:42:26 +0100 | <koz_> | ADG1089__: Raise your Cabal minimum version. |
| 2021-03-06 23:42:29 +0100 | <koz_> | That is hilariously old. |
| 2021-03-06 23:42:33 +0100 | <koz_> | 3.0 is what I'd advise., |
| 2021-03-06 23:42:42 +0100 | <koz_> | Also, what version of Cabal are you on? |
| 2021-03-06 23:42:48 +0100 | <koz_> | I know someone did some executable caching stuff. |
| 2021-03-06 23:42:49 +0100 | <slack1256> | cabal 1.12, I feel old. |
| 2021-03-06 23:42:55 +0100 | <ADG1089__> | 3.4.0.0 |
| 2021-03-06 23:43:02 +0100 | <koz_> | Welcome to 'why hpack is garbage flavoured garbage'. |
| 2021-03-06 23:43:08 +0100 | ech | (~user@gateway/tor-sasl/ech) |
| 2021-03-06 23:43:15 +0100 | <koz_> | ADG1089__: Yeah, set your Cabal file to version: 3.0. |
| 2021-03-06 23:43:20 +0100 | <sclv> | no don't use two cabal files |
| 2021-03-06 23:43:46 +0100 | <sclv> | so you're saying if you say `cabal install exe:problem1` it is installing them all? |
| 2021-03-06 23:44:03 +0100 | <sclv> | as in creating symlinks for all of them? |
| 2021-03-06 23:44:15 +0100 | <sclv> | i confess to a certain confusion -- why are you installing them at all? |
| 2021-03-06 23:44:26 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-06 23:44:49 +0100 | <monochrom> | Do you even have to use cabal and/or stack? |
| 2021-03-06 23:44:49 +0100 | <ADG1089__> | I was doing `stack build :Problem10` then doing `stack exec Problem10` |
| 2021-03-06 23:45:24 +0100 | <ADG1089__> | monochrom: no, I don't think so |
| 2021-03-06 23:45:24 +0100 | <sclv> | you can do `cabal run exe:problemx` |
| 2021-03-06 23:46:12 +0100 | DataComputist | (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-06 23:46:24 +0100 | <monochrom> | PE sounds like the kind of toy problems you can just use GHC directly because you don't need libraries that don't come with GHC. |
| 2021-03-06 23:47:18 +0100 | <monochrom> | cabal and stack are a liability, not an asset, in such cases. |
| 2021-03-06 23:48:09 +0100 | <ADG1089__> | yeah, could do, but I think a few libraries do help like vector, heap, random, split |
| 2021-03-06 23:48:30 +0100 | <ADG1089__> | actually `make -j16 all` was faster when I was using a makefile |
| 2021-03-06 23:48:31 +0100 | slack1256 | laughs in ghcWithPackages . |
| 2021-03-06 23:49:20 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-06 23:49:45 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-06 23:50:00 +0100 | texasmynsted_ | texasmynsted |
| 2021-03-06 23:52:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 23:53:22 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-06 23:54:17 +0100 | <ADG1089__> | slack1256: how to do that? |
| 2021-03-06 23:54:27 +0100 | <ADG1089__> | i need nix? |
| 2021-03-06 23:54:33 +0100 | <jumper149> | ADG1089__: Yeah |
| 2021-03-06 23:54:50 +0100 | <jumper149> | But that is totally out of scope for a toy project, when you are just starting with Haskell |
| 2021-03-06 23:54:54 +0100 | <jumper149> | absolutely not necessary |
| 2021-03-06 23:55:08 +0100 | <jumper149> | nix is super cool though, worth a look even outside of haskell |
| 2021-03-06 23:55:41 +0100 | <slack1256> | Yeah, it |
| 2021-03-06 23:55:50 +0100 | <slack1256> | it's complicated* |
| 2021-03-06 23:56:38 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-06 23:56:42 +0100 | Waifod | (~Waifod@91.106.123.186) (Ping timeout: 256 seconds) |
| 2021-03-06 23:58:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-06 23:58:18 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) |