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