Logs on 2024-12-25 (liberachat/#haskell)
| 00:02:28 | × | ash3en quits (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 00:02:37 | <geekosaur> | what makes it sound like that is that you want to match on it. I think that might indicate a bidirectional pattern synonym is in order |
| 00:03:36 | <geekosaur> | hide the real constructors, export the patsyn. although this doesn't give you quite what you asked for: non-matching constructors would produce errors, but would still exist internally |
| 00:04:14 | <geekosaur> | but I'm not quite sure what your're trying to accomplish here and wondering if maybe a different approach entirely is warranted |
| 00:04:23 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 00:04:31 | <cuteguest> | hmm hmm thank you for the feedback |
| 00:04:53 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 00:05:16 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 00:06:03 | → | xff0x joins (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 00:06:25 | <cuteguest> | im going to take a second to think abt how to say specifically what i want |
| 00:08:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:15:12 | <cuteguest> | i think i am trying to make a class where, given some type, there are two types which are indexed by values over it. i would also want there to be some kind of relationship between these three types so that if im given one of the indexed types, i can know the type of the other to pattern match off of it and slurp out its data |
| 00:17:34 | <cuteguest> | i guess i could reveal what im trying to make with this.. maybe my whole approach is silly |
| 00:18:25 | <cuteguest> | well mayb the whole idea is silly but :p |
| 00:23:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:27:49 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 00:28:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 00:31:14 | <cuteguest> | ok idk why i want to keep it a secret.. im trying to make coroutines that can yield (or really request) several different types of values. the request and response type are indexed by an "alert" type. i was able to make an instance of them as monads, and a request function that takes a request and gives you a coroutine back with a response. the |
| 00:31:15 | <cuteguest> | problem is, whenever i try to match on the request function like you would with normal coroutines, it doesnt work because there could be more than one constructor for a response for any value of the alert type. |
| 00:32:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:36:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:37:20 | → | internatetional joins (~nate@182.253.126.5) |
| 00:46:50 | <cuteguest> | i will look into bidirectional pattern synonyms.. ty for your help |
| 00:47:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:47:49 | × | Everything quits (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 00:48:43 | × | cuteguest quits (~cuteguest@2601:602:680:2280::5d66) (Quit: Client closed) |
| 00:50:34 | × | internatetional quits (~nate@182.253.126.5) (Quit: WeeChat 4.5.1) |
| 00:50:50 | → | weary-traveler joins (~user@user/user363627) |
| 00:54:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:56:35 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 00:59:18 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 01:05:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:07:35 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f41b013a429fe4b7686.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:09:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:13:02 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 01:20:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:25:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:28:09 | → | gummy joins (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) |
| 01:28:37 | × | gummy quits (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) (Client Quit) |
| 01:28:52 | × | xff0x quits (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 01:36:00 | × | ft quits (~ft@i59F4F055.versanet.de) (Ping timeout: 246 seconds) |
| 01:36:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:38:05 | → | ft joins (~ft@i59F4F1DF.versanet.de) |
| 01:40:36 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 01:40:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:42:44 | → | bliminse joins (~bliminse@user/bliminse) |
| 01:48:09 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 01:48:54 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:51:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:53:28 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 01:56:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:57:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 02:07:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:12:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:16:10 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 02:19:28 | → | gmg joins (~user@user/gehmehgeh) |
| 02:20:33 | → | troydm joins (~troydm@user/troydm) |
| 02:22:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:26:53 | → | agent314 joins (~quassel@104.129.24.126) |
| 02:29:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:29:18 | × | Nixkernal quits (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Ping timeout: 276 seconds) |
| 02:32:24 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 02:33:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:33:37 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 02:36:19 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:37:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:40:23 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 02:40:29 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 02:40:38 | × | youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 02:43:26 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 02:44:46 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 02:45:37 | → | prasad joins (~Thunderbi@2601:243:c001:3f07::e5) |
| 02:48:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:48:43 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 02:53:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:03:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:08:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:10:18 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 03:10:39 | <KicksonButt> | \list |
| 03:11:01 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 03:13:51 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 03:15:36 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 03:19:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:23:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:25:40 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 03:28:44 | × | forell quits (~forell@user/forell) (Ping timeout: 245 seconds) |
| 03:34:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:40:17 | × | td_ quits (~td@i53870930.versanet.de) (Ping timeout: 265 seconds) |
| 03:41:49 | → | td_ joins (~td@i53870916.versanet.de) |
| 03:42:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:45:01 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:47:52 | → | dsrt^ joins (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 03:48:00 | × | prasad quits (~Thunderbi@2601:243:c001:3f07::e5) (Ping timeout: 260 seconds) |
| 03:53:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:57:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:59:08 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 03:59:18 | <haskellbridge> | <thirdofmay18081814goya> ski: did my explanation convince you at all? I can't seem to find any resources on this so I'm not entirely convinced I am not serving word salad |
| 03:59:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 04:03:05 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 04:08:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:15:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:24:45 | × | aforemny quits (~aforemny@i59F4C727.versanet.de) (Ping timeout: 265 seconds) |
| 04:25:13 | → | aforemny joins (~aforemny@i59F4C4B7.versanet.de) |
| 04:26:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:31:11 | → | notzmv joins (~umar@user/notzmv) |
| 04:31:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 04:41:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:46:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:57:01 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 04:57:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:58:00 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 05:01:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:07:59 | <iqubic> | Why is there no version of zipWith for arrays? |
| 05:11:06 | → | encyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) |
| 05:12:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:17:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:19:22 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 05:28:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:33:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:33:37 | <EvanR> | do you mean Array, because how would that work |
| 05:34:07 | <EvanR> | if it would work fine, then it's because Array's API is missing a lot of stuff |
| 05:41:44 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 05:43:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:45:10 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 05:49:33 | <iqubic> | I do mean Array. |
| 05:50:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:50:57 | <iqubic> | I was looking for something like "zipWith :: Ix i => (a -> b -> c) -> Array i a -> Array i b -> Array i c" |
| 05:59:10 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
| 06:01:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:04:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:05:03 | → | xff0x joins (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 06:05:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:12:08 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 06:13:05 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 06:13:14 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 06:15:11 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 06:16:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:21:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 06:22:47 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 272 seconds) |
| 06:29:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:34:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 06:43:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:43:46 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 06:47:13 | × | iqubic quits (~sophia@2601:602:9201:8b20:e022:daf:3388:8f9a) (Ping timeout: 248 seconds) |
| 06:48:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:02:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:02:19 | × | agent314 quits (~quassel@104.129.24.126) (Ping timeout: 265 seconds) |
| 07:03:41 | → | agent314 joins (~quassel@45.134.140.155) |
| 07:06:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:10:13 | × | xff0x quits (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 07:12:51 | → | housemate joins (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) |
| 07:19:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:24:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:36:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:41:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:43:24 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 265 seconds) |
| 07:54:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:59:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:37 | → | caconym joins (~caconym@user/caconym) |
| 08:11:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:15:16 | × | housemate quits (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 08:15:33 | → | housemate joins (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) |
| 08:16:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:21:25 | × | housemate quits (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 08:21:26 | × | agent314 quits (~quassel@45.134.140.155) (Ping timeout: 252 seconds) |
| 08:21:32 | → | housemate_ joins (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) |
| 08:24:07 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 08:25:20 | → | agent314 joins (~quassel@45.134.140.155) |
| 08:27:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:30:05 | × | agent314 quits (~quassel@45.134.140.155) (Ping timeout: 272 seconds) |
| 08:31:58 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:34:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:34:39 | × | housemate_ quits (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 08:35:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:46:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:48:40 | → | housemate joins (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) |
| 08:50:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 08:50:53 | × | hsw_ quits (~hsw@2001:b030:2303:104:172:25:12:132) (Quit: Leaving) |
| 08:55:25 | → | iqubic joins (~sophia@2601:602:9201:8b20:2baf:ed43:8846:97ec) |
| 09:04:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:06:41 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:08:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 09:09:07 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 09:14:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:14:08 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 09:15:51 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f53b013a429fe4b7686.dip0.t-ipconnect.de) |
| 09:21:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:21:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 09:25:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:31:10 | <Rembane> | Vector has a richer API, but isn't Array. :/ |
| 09:31:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:37:43 | <davean> | I've got a few tickets about stuff with Array, but kinda no one "owns" it, so motion requires doing it ones self and submitting a patch. A thing I really should get around to. |
| 09:38:09 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 09:38:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:38:22 | <davean> | I have implimented notable additional functions in my own code, but I have a touch higher standard than "gets it done for now" for submitting it back :) |
| 09:40:45 | <Rembane> | But maybe it's a start? Like a WIP-PR, and then they can be iterated on. |
| 09:44:52 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:45:05 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 09:46:36 | → | __monty__ joins (~toonn@user/toonn) |
| 09:50:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:55:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:57:07 | × | gentauro_ quits (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 244 seconds) |
| 09:57:27 | × | superstar64 quits (~superstar@2600:1700:ed80:50a0::41) (Quit: Leaving) |
| 10:01:35 | → | gentauro joins (~gentauro@user/gentauro) |
| 10:07:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:11:05 | → | michalz joins (~michalz@185.246.207.203) |
| 10:12:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:13:55 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 10:14:35 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:21:24 | → | euphores joins (~SASL_euph@user/euphores) |
| 10:21:58 | → | forell joins (~forell@user/forell) |
| 10:23:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:25:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:29:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:30:08 | × | itaipu quits (~itaipu@168.121.98.246) (Ping timeout: 252 seconds) |
| 10:32:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:35:42 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 10:37:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:39:11 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:41:31 | → | rvalue joins (~rvalue@user/rvalue) |
| 10:46:06 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 10:49:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:53:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 10:54:36 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 10:55:12 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 10:58:31 | × | housemate quits (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 11:02:17 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:05:26 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 11:06:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:07:34 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:09:20 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 11:09:29 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 11:11:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:17:55 | × | ubert quits (~Thunderbi@p200300ecdf117c0013c0076e2e9d6026.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:18:04 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:18:58 | → | ubert joins (~Thunderbi@p200300ecdf117c00698ea1d3ab08100f.dip0.t-ipconnect.de) |
| 11:19:30 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 11:21:41 | → | sprotte24 joins (~sprotte24@p200300d16f3b3f00f5afece708c8a85c.dip0.t-ipconnect.de) |
| 11:22:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:23:40 | → | ash3en joins (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) |
| 11:26:16 | rvalue- | is now known as rvalue |
| 11:28:06 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 11:29:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:32:44 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:35:14 | → | gmg joins (~user@user/gehmehgeh) |
| 11:39:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 11:40:43 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:40:53 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 11:41:20 | × | ash3en quits (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:44:00 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 11:47:57 | → | gentauro joins (~gentauro@user/gentauro) |
| 11:51:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:51:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 11:51:45 | → | gmg joins (~user@user/gehmehgeh) |
| 11:55:20 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
| 11:55:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 12:09:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:09:09 | → | gentauro joins (~gentauro@user/gentauro) |
| 12:13:26 | → | meritamen joins (~meritamen@user/meritamen) |
| 12:13:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:14:58 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:17:31 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 12:24:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:25:44 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 12:28:07 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 12:29:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:30:14 | → | meritamen joins (~meritamen@user/meritamen) |
| 12:32:15 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 12:32:51 | → | meritamen joins (~meritamen@user/meritamen) |
| 12:34:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:36:57 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 12:39:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 12:40:20 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 12:40:40 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 12:49:38 | → | kuribas joins (~user@2a02:1810:2825:6000:28a3:1aa3:9310:3e86) |
| 12:51:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:52:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:55:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:01:12 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 13:07:36 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:07:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:11:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 13:12:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:12:57 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:13:58 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:15:57 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 13:16:35 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:18:34 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 13:19:12 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:19:21 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 13:23:18 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 13:23:26 | → | ash3en joins (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) |
| 13:24:55 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:25:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:28:59 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 13:29:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:30:32 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:31:45 | × | forell quits (~forell@user/forell) (Ping timeout: 244 seconds) |
| 13:32:29 | × | meritamen quits (~meritamen@user/meritamen) (Client Quit) |
| 13:32:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:35:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:36:18 | × | ash3en quits (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Quit: ash3en) |
| 13:36:31 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 13:40:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:43:02 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:44:44 | → | forell joins (~forell@user/forell) |
| 13:45:21 | <hellwolf> | I read somewhere that I really shouldn't use HasCallStack, what's that all about? |
| 13:45:50 | <int-e> | % :t error |
| 13:45:50 | <yahb2> | error :: GHC.Internal.Stack.Types.HasCallStack => [Char] -> a |
| 13:47:39 | <int-e> | It's a call stack; for functions with HasCallStack, the compiler adds code to track them and pass that information on to callees that also have a HasCallStack constraint. |
| 13:48:46 | <int-e> | If you'd use that indiscriminately then your program would fill up your memory with complete traces of your computation very quickly. |
| 13:49:50 | <int-e> | But AIUI this can be a good tool to answer the question where a failing function was called from. |
| 13:51:16 | <hellwolf> | what should I use instead, I have "gen_assert_msg" helper I use in a few places, it uses "error" inside. but it definitely does not produce the stack trace. I am not sure I should pursue such a stack trace, I am all ears on any more sensible debugging strategy. |
| 13:52:45 | → | Nixkernal joins (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) |
| 13:53:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:54:59 | <int-e> | % import GHC.CallStack |
| 13:55:00 | <yahb2> | <no location info>: error: [GHC-35235] ; Could not find module ‘GHC.CallStack’. ; It is not a module in the current program, or in any known package. |
| 13:55:09 | <int-e> | % import GHC.Stack |
| 13:55:09 | <yahb2> | <no output> |
| 13:55:30 | <int-e> | % let f :: HasCallStack => String; f = show (getCallStack ?callStack) in putStrLn f |
| 13:55:30 | <yahb2> | <interactive>:37:57: error: [GHC-88464] ; Variable not in scope: ; (?) :: (CallStack -> [([Char], SrcLoc)]) -> CallStack -> a0 |
| 13:55:51 | <int-e> | % :set -XImplicitParams |
| 13:55:51 | <yahb2> | <no output> |
| 13:55:55 | <int-e> | % let f :: HasCallStack => String; f = show (getCallStack ?callStack) in putStrLn f |
| 13:55:55 | <yahb2> | [("f",SrcLoc {srcLocPackage = "interactive", srcLocModule = "Ghci7", srcLocFile = "<interactive>", srcLocStartLine = 41, srcLocStartCol = 81, srcLocEndLine = 41, srcLocEndCol = 82})] |
| 13:56:09 | <int-e> | so that tells you where f was called from. |
| 13:56:16 | int-e | shrugs |
| 13:56:21 | <hellwolf> | fwiw, I currently do Text.IO and print out result as much it can, and it stops at where it crashed. That's actually always helpful... good old printf debugging, I guess. |
| 13:56:45 | <int-e> | Debug.Trace goes a long way. |
| 13:57:35 | <hellwolf> | can you turn it off by environment variable or RTS options? |
| 13:58:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:01:34 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 14:03:35 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 14:05:10 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:05:54 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:09:17 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 14:09:37 | <int-e> | hellwolf: "it"? |
| 14:10:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:11:08 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 14:12:47 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:13:02 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 14:14:11 | <int-e> | There's two parts of Debug.Trace; the `traceEvent` family of functions is subject to the event log being enabled during linking. The other functions unconditionally write to the program's output (stderr), and meant to be used in a build-run-edit debugging loop |
| 14:14:34 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:14:38 | <int-e> | neither of those is a generic logging mechanism |
| 14:14:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:18:33 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 244 seconds) |
| 14:23:05 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 14:24:38 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:25:06 | → | Pixi joins (~Pixi@user/pixi) |
| 14:25:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:28:33 | × | toch_ quits (toch@user/toch) (Quit: WeeChat 4.5.0) |
| 14:30:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:32:27 | × | meritamen quits (~meritamen@user/meritamen) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 14:35:49 | → | toch joins (toch@user/toch) |
| 14:36:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:37:59 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 14:39:52 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:40:05 | → | sayurc joins (~sayurc@169.150.203.34) |
| 14:40:38 | → | meritamen_ joins (~meritamen@user/meritamen) |
| 14:40:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:41:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:44:32 | × | meritamen quits (~meritamen@user/meritamen) (Ping timeout: 264 seconds) |
| 14:44:38 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 14:45:08 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 14:45:18 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 14:45:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:49:32 | × | meritamen_ quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 14:50:34 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 14:52:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:54:52 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 14:55:08 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:56:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 14:58:11 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:00:13 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 15:01:42 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 15:03:08 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:06:35 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 15:07:16 | ← | kuribas parts (~user@2a02:1810:2825:6000:28a3:1aa3:9310:3e86) (ERC (IRC client for Emacs 27.1)) |
| 15:08:39 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 15:09:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:11:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 15:13:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:19:01 | → | vgtw joins (~vgtw@user/vgtw) |
| 15:26:31 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 15:28:04 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:28:11 | × | meritamen quits (~meritamen@user/meritamen) (Client Quit) |
| 15:32:00 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:36:06 | × | meritamen quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 15:37:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:37:40 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:38:40 | → | meritamen_ joins (~meritamen@user/meritamen) |
| 15:40:18 | → | gmg joins (~user@user/gehmehgeh) |
| 15:41:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:42:03 | × | meritamen quits (~meritamen@user/meritamen) (Ping timeout: 245 seconds) |
| 15:43:49 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 15:49:05 | × | meritamen_ quits (~meritamen@user/meritamen) (Remote host closed the connection) |
| 15:49:12 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Read error: Connection reset by peer) |
| 15:49:41 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 15:50:38 | → | meritamen joins (~meritamen@user/meritamen) |
| 15:55:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:56:32 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 15:57:13 | × | meritamen quits (~meritamen@user/meritamen) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:58:44 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 16:00:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:04:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 16:05:30 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 16:05:42 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 276 seconds) |
| 16:09:22 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 16:10:08 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 16:11:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:14:14 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 16:16:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:17:46 | × | toch quits (toch@user/toch) (K-Lined) |
| 16:21:00 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 16:22:57 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 16:24:52 | → | gentauro joins (~gentauro@user/gentauro) |
| 16:25:08 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 16:28:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:30:24 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 16:33:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 16:38:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:43:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:51:14 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:53:34 | → | CrunchyFlakes joins (~CrunchyFl@31.19.233.78) |
| 16:55:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:59:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:59:45 | → | notzmv joins (~umar@user/notzmv) |
| 17:06:36 | → | Abhisek joins (~Abhisek@106.221.206.15) |
| 17:09:08 | <Abhisek> | I am going through https://learnyouahaskell.github.io/for-a-few-monads-more.html. The State monad is changed in the newer version of haskell, or it seems. Can you tell me how to work out |
| 17:09:09 | <Abhisek> | import Control.Monad.State |
| 17:09:09 | <Abhisek> | pop :: State Stack Int |
| 17:09:10 | <Abhisek> | pop = State $ \(x:xs) -> (x,xs) |
| 17:09:10 | <Abhisek> | push :: Int -> State Stack () |
| 17:09:11 | <Abhisek> | push a = State $ \xs -> ((),a:xs) |
| 17:10:10 | <monochrom> | Example: pop = state (\(x:xs) -> (x,xs)) |
| 17:12:12 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:12:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:19:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:22:05 | <Abhisek> | Why does not the State from Control.Monad.State work? It has the same signature as in the https://learnyouahaskell.github.io/for-a-few-monads-more.html. It is defined in https://hackage.haskell.org/package/containers-0.7/docs/src/Utils.Containers.Internal.State.html#State |
| 17:22:38 | <monochrom> | There was a refactoring. |
| 17:23:25 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 17:24:13 | <monochrom> | The old versions had "newtype State s a = State ...". The new versions have "type State s = StateT s Identity". The data constructor is gone. |
| 17:24:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:26:13 | <Abhisek> | Isn't https://hackage.haskell.org/package/containers-0.7/docs/src/Utils.Containers.Internal.State.html#State the latest version ? It has "newtype State s a = State ..." |
| 17:27:20 | <Abhisek> | Oh sorry, that is for Data.Sequence.Internal |
| 17:27:27 | <monochrom> | You are using this: https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State.html |
| 17:28:50 | <monochrom> | LYAH was using this: https://hackage.haskell.org/package/mtl-1.1.1.1/docs/Control-Monad-State.html |
| 17:30:51 | <Abhisek> | ok |
| 17:31:29 | <Abhisek> | so if I do import Data.Sequence.Internal, should I be able to run LYAH state monad ? |
| 17:31:39 | <Abhisek> | but it is not working |
| 17:32:13 | <Abhisek> | if I do :i State, |
| 17:32:14 | <Abhisek> | ype State :: * -> * -> * |
| 17:32:14 | <Abhisek> | newtype State s a = State {runState :: s -> (s, a)} |
| 17:32:15 | <Abhisek> | -- Defined in ‘containers-0.6.7:Utils.Containers.Internal.State’ |
| 17:32:15 | <Abhisek> | instance [safe] Applicative (State s) |
| 17:32:15 | <Abhisek> | -- Defined in ‘containers-0.6.7:Utils.Containers.Internal.State’ |
| 17:32:16 | <Abhisek> | instance [safe] Functor (State s) |
| 17:32:16 | <Abhisek> | -- Defined in ‘containers-0.6.7:Utils.Containers.Internal.State’ |
| 17:32:17 | <Abhisek> | instance [safe] Monad (State s) |
| 17:32:17 | <Abhisek> | -- Defined in ‘containers-0.6.7:Utils.Containers.Internal.State’ |
| 17:32:18 | <Abhisek> | ghci> pop = State $ \(x:xs) -> (x,xs) |
| 17:32:23 | <enikar> | about State, I wonder why the version in monads-tf doesn't have the state function <https://hackage.haskell.org/package/monads-tf-0.3.0.1/docs/Control-Monad-State-Lazy.html> |
| 17:33:08 | <monochrom> | Probably simple omission. |
| 17:33:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:34:58 | <enikar> | ok, thanks |
| 17:37:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 17:39:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:44:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 17:57:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:01:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:06:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:08:20 | × | sayurc quits (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 18:12:18 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:14:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:19:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:21:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:23:08 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:23:21 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:26:47 | <Digit> | I've been following TEEJ's advent of neovim... and all the lua is making me crave the DRY brevity of haskell... what options are there for a text editor configured in haskell? just yi? |
| 18:31:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:32:40 | × | Abhisek quits (~Abhisek@106.221.206.15) (Ping timeout: 240 seconds) |
| 18:33:23 | <geekosaur> | That's it and I'm not sure how bitrotted it is |
| 18:35:18 | <haskellbridge> | <Morj> I think there was a lua backend for purescript if you want to be a pervert |
| 18:35:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:36:14 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 18:36:29 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 18:43:00 | <geekosaur> | Wasn't the question a Haskell backend? |
| 18:49:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:50:45 | × | hellwolf quits (~user@64da-33e4-b3ed-391e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 18:54:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:55:55 | → | hellwolf joins (~user@bc5f-7784-4618-91ba-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 18:57:25 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 19:06:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:06:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:09:44 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 19:13:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 19:14:26 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 19:16:27 | → | billchenchina joins (~billchenc@122.190.56.16) |
| 19:17:28 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds) |
| 19:18:15 | → | billchenchina- joins (~billchenc@103.118.42.229) |
| 19:21:22 | × | billchenchina quits (~billchenc@122.190.56.16) (Ping timeout: 252 seconds) |
| 19:25:27 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 19:25:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:29:40 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 19:30:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:31:06 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 19:36:13 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:38:27 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 19:39:05 | → | pavonia joins (~user@user/siracusa) |
| 19:39:12 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 19:39:13 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 19:42:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:46:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:48:30 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:50:20 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:50:20 | ljdarj1 | is now known as ljdarj |
| 19:53:57 | × | billchenchina- quits (~billchenc@103.118.42.229) (Quit: Leaving) |
| 19:54:15 | → | bliminse joins (~bliminse@user/bliminse) |
| 19:54:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 19:58:36 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 20:00:07 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:00:45 | → | caconym joins (~caconym@user/caconym) |
| 20:01:58 | → | visilii joins (~visilii@213.24.125.237) |
| 20:05:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:05:33 | × | visilii_ quits (~visilii@92.50.200.10) (Ping timeout: 276 seconds) |
| 20:09:04 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 20:16:35 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 20:16:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:17:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:18:36 | → | alfiee joins (alfiee@user/alfiee) |
| 20:21:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:21:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:26:56 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 20:29:31 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 20:32:23 | × | alfiee quits (alfiee@user/alfiee) (Quit: WeeChat 4.5.0) |
| 20:33:01 | → | alfiee joins (alfiee@user/alfiee) |
| 20:33:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:38:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:42:50 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 20:42:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 20:42:54 | → | Everything joins (~Everythin@195.138.86.118) |
| 20:43:44 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 20:45:28 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 20:50:52 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 20:51:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:52:39 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 20:53:56 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 20:54:51 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 20:57:26 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 20:58:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:59:09 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:00:19 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:00:56 | × | Nixkernal quits (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 21:00:57 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:02:02 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:02:35 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:03:36 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:06:09 | → | Nixkernal joins (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) |
| 21:06:27 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:10:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:12:01 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 21:15:02 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:15:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:15:33 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:17:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:17:45 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 21:18:47 | × | Fischmie- quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 21:19:20 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 21:20:13 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 21:21:24 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:23:24 | → | sayurc joins (~sayurc@169.150.203.34) |
| 21:28:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:33:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:33:18 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:34:24 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:46:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:48:06 | → | notzmv joins (~umar@user/notzmv) |
| 21:51:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:52:55 | <haskellbridge> | <Morj> > Wasn't the question a Haskell backend?Eh it's about the same, especially for a config language. You're not going to write ten thousand lines of your editor config (even if I did it in pure vimscript) |
| 21:53:31 | <haskellbridge> | <Morj> Just had another thought: maybe add a vimscript/elisp backend to dhall, that would be just the right amount of silliness |
| 21:57:58 | × | Nixkernal quits (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:03:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:04:08 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 22:05:31 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 22:06:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:07:13 | × | homo quits (~homo@user/homo) (Remote host closed the connection) |
| 22:07:26 | → | homo joins (~homo@37-33-136-207.bb.dnainternet.fi) |
| 22:07:34 | × | homo quits (~homo@37-33-136-207.bb.dnainternet.fi) (Changing host) |
| 22:07:34 | → | homo joins (~homo@user/homo) |
| 22:08:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:20:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:24:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:28:19 | × | iqubic quits (~sophia@2601:602:9201:8b20:2baf:ed43:8846:97ec) (Remote host closed the connection) |
| 22:31:38 | <eugenrh> | (late comment) magic_rb: perhaps you want to implement or be inspired from something like propellor.branchable.com |
| 22:33:10 | → | fp joins (~Thunderbi@216-165-226-178.championbroadband.com) |
| 22:33:20 | <haskellbridge> | <magic_rb> eugenrh: thanks! ofc branchable, git-annex is awesome, ive been planning to dig through git-annex for a while now but its intimidating |
| 22:33:33 | <haskellbridge> | <magic_rb> so ill add propellor to the list of things to dig through |
| 22:35:41 | <fp> | Hey I'm trying to set up my environment so that I can run unit tests with =cabal test=. I'm using the HUnit package. I'm running into issues with detailed-0.9 and exitcode-stdio-1.0. Internet says detailed is better but not well supported. Should I bother trying to use it, or just stick with exitcode? |
| 22:37:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:38:21 | <fp> | I'll say I've made a first effort with detailed and I'm getting strange errors from sources which aren't mine |
| 22:44:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:47:41 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 22:51:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 22:51:35 | ljdarj1 | is now known as ljdarj |
| 22:57:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:01:42 | × | Everything quits (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 23:02:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:07:28 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:10:43 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 244 seconds) |
| 23:13:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:17:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:21:48 | × | ubert quits (~Thunderbi@p200300ecdf117c00698ea1d3ab08100f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:21:57 | → | ubert1 joins (~Thunderbi@p200300ecdf117c724c57cc19647faaba.dip0.t-ipconnect.de) |
| 23:24:14 | ubert1 | is now known as ubert |
| 23:24:35 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:29:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:33:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:44:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:46:08 | → | sayurc joins (~sayurc@169.150.203.34) |
| 23:49:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:52:45 | → | xff0x joins (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 23:55:04 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 23:55:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:57:43 | × | sayurc quits (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 23:59:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
All times are in UTC on 2024-12-25.