Logs on 2024-12-17 (liberachat/#haskell)
| 00:00:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:03:01 | × | alp quits (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a) (Ping timeout: 248 seconds) |
| 00:04:23 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 00:04:51 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 00:04:51 | __jmcantrell__ | is now known as jmcantrell |
| 00:05:01 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 00:10:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:15:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:20:27 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 00:21:52 | → | Square joins (~Square4@user/square) |
| 00:24:04 | → | mud joins (~mud@user/kadoban) |
| 00:24:49 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 00:25:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:32:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:37:53 | × | sprotte24 quits (~sprotte24@p200300d16f23d00014aa71923fddd774.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:43:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:47:56 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 00:48:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:52:21 | × | xff0x quits (~xff0x@2405:6580:b080:900:b5b8:77a6:6aa6:d757) (Ping timeout: 246 seconds) |
| 00:54:30 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 00:56:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:59:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:03:02 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:03:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:06:36 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 01:07:30 | → | student joins (~student@85.172.111.189) |
| 01:14:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:19:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:21:20 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 01:24:41 | × | jle` quits (~jle`@2603:8001:3b02:84d4:e41f:4372:1938:6590) (Ping timeout: 244 seconds) |
| 01:27:55 | → | jle` joins (~jle`@syn-023-240-075-236.res.spectrum.com) |
| 01:30:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:32:56 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:35:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 01:37:32 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 01:38:42 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:39:44 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:45:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:46:07 | → | califax joins (~califax@user/califx) |
| 01:50:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:52:19 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 02:00:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:07:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:10:44 | → | rvalue- joins (~rvalue@user/rvalue) |
| 02:11:09 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 252 seconds) |
| 02:11:59 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 02:12:27 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 02:15:04 | rvalue- | is now known as rvalue |
| 02:18:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:23:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:34:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:38:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:41:53 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 02:42:01 | → | noctux joins (~noctux@user/noctux) |
| 02:46:13 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 02:49:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:53:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:05:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:09:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:12:45 | → | Kaladin joins (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 03:20:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:22:02 | → | zzz joins (~z@user/zero) |
| 03:22:05 | × | zero quits (~z@user/zero) (Ping timeout: 260 seconds) |
| 03:22:17 | zzz | is now known as zero |
| 03:25:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:28:10 | × | fmira quits (~user@user/fmira) (Quit: fmira) |
| 03:35:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:40:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:44:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:45:06 | × | Kaladin quits (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 03:45:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:48:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:49:48 | × | td_ quits (~td@i5387091E.versanet.de) (Ping timeout: 272 seconds) |
| 03:51:03 | → | td_ joins (~td@i5387092E.versanet.de) |
| 03:52:29 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.4.4) |
| 03:52:30 | jmcantrell_ | is now known as jmcantrell |
| 03:58:10 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 03:58:10 | × | dostoevsky quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 03:58:36 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:02:07 | × | philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 04:02:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:03:27 | → | philopsos joins (~caecilius@user/philopsos) |
| 04:06:25 | × | unlucy quits (sid572875@user/unlucy) (Ping timeout: 260 seconds) |
| 04:07:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:07:56 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 04:08:28 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 04:08:32 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 04:09:25 | → | unlucy joins (sid572875@user/unlucy) |
| 04:09:41 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 04:09:44 | × | delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 264 seconds) |
| 04:10:30 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 260 seconds) |
| 04:11:02 | → | delyan_ joins (sid523379@id-523379.hampstead.irccloud.com) |
| 04:14:29 | → | bw joins (sid2730@user/betawaffle) |
| 04:17:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:22:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:23:10 | → | OftenFaded joins (OftenFaded@user/tisktisk) |
| 04:25:16 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 04:31:35 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 04:31:51 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 04:32:52 | → | aforemny joins (~aforemny@2001:9e8:6cf7:2e00:c540:4aff:8526:f747) |
| 04:33:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:33:25 | × | aforemny_ quits (~aforemny@2001:9e8:6cd5:9100:5928:27f0:185:b6b7) (Ping timeout: 252 seconds) |
| 04:38:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:48:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:55:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:04:47 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:05:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 05:06:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:09:11 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:11:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:22:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:23:30 | → | michalz joins (~michalz@185.246.207.221) |
| 05:26:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:26:50 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 05:29:01 | → | Axman6 joins (~Axman6@user/axman6) |
| 05:31:29 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 05:37:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:41:21 | → | dsrt^ joins (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 05:42:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:46:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:48:15 | × | iqubic quits (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) (Remote host closed the connection) |
| 05:50:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 05:51:35 | → | iqubic joins (~sophia@2601:602:9201:9440:507d:441c:9582:d9ba) |
| 05:53:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:04:38 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 06:04:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:05:38 | → | battos joins (~battos@78.190.101.239) |
| 06:06:42 | → | alp joins (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) |
| 06:07:17 | <battos> | Hey. How can I profile a project with stack and get memory usage as bytes for every function in the program? I only get the total bytes used and times of functions. |
| 06:09:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:20:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:21:31 | → | mari37343 joins (~mari-este@user/mari-estel) |
| 06:22:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:23:52 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 06:25:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:35:37 | → | dostoevsky joins (~dostoevsk@user/dostoevsky) |
| 06:36:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:43:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:44:36 | → | briandaed joins (~root@user/briandaed) |
| 06:50:19 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
| 06:51:00 | → | dsrt^ joins (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 06:54:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:56:23 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 06:59:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:02:48 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:09:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:13:43 | → | CiaoSen joins (~Jura@2a05:5800:2df:3c00:ca4b:d6ff:fec1:99da) |
| 07:14:07 | <haskellbridge> | <sm> what command are you running ? |
| 07:14:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:17:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:25:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:29:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:30:25 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 07:34:34 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 07:36:48 | <mari37343> | 'morning, i hope someone can point me at a new way to have local dependencies |
| 07:37:09 | <mari37343> | the way i used does not seem to work anymore with a recent cabal |
| 07:37:41 | <sclv> | use a project file |
| 07:37:53 | <mari37343> | i used to point at <local>/dist-newstyle/sdist/ in the cabal.project |
| 07:38:36 | <sclv> | point at wherever the dep sources are, not the sdist |
| 07:39:57 | <mari37343> | with repository / url: file+noindex ? |
| 07:40:42 | × | jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 276 seconds) |
| 07:40:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:42:12 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 07:42:26 | <mari37343> | well, got to move now, but i will check the channel logs. Read you later |
| 07:42:37 | × | mari37343 quits (~mari-este@user/mari-estel) () |
| 07:45:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:47:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:52:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:53:46 | × | battos quits (~battos@78.190.101.239) (Remote host closed the connection) |
| 07:55:42 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 07:56:22 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:56:29 | → | battos joins (~battos@78.190.101.239) |
| 07:57:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:59:33 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:37 | → | caconym joins (~caconym@user/caconym) |
| 08:03:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:07:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:13:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 08:15:23 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:22:16 | <iqubic> | Is it possible to have octal literals in a Haskell program? |
| 08:28:21 | × | battos quits (~battos@78.190.101.239) (Quit: Leaving) |
| 08:28:56 | <enikar> | iqubic: it is possible, with the notation 0o123 for example. look at: https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-190002.5 |
| 08:29:36 | <briandaed> | iqubic: also https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/binary_literals.html |
| 08:36:32 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 08:37:56 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 08:39:12 | → | mari58470 joins (~mari-este@user/mari-estel) |
| 08:39:19 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f06408eaea27d94e81d.dip0.t-ipconnect.de) |
| 08:39:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:41:21 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 08:44:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:47:25 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 08:50:09 | → | merijn joins (~merijn@77.242.116.146) |
| 08:51:03 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:52:52 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 08:53:22 | × | tnt1 quits (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 08:54:14 | × | homo quits (~homo@user/homo) (Quit: Quit) |
| 08:55:09 | × | mari58470 quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 08:57:34 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 09:01:57 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:03:59 | × | gorignak quits (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 09:04:43 | → | gorignak joins (~gorignak@user/gorignak) |
| 09:04:45 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 09:10:09 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Quit: Leaving) |
| 09:13:15 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 09:18:17 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 09:18:32 | → | mari14878 joins (~mari-este@user/mari-estel) |
| 09:21:02 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 272 seconds) |
| 09:23:10 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:25:24 | × | mari14878 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 09:25:55 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 09:34:02 | × | mari-estel quits (~mari-este@user/mari-estel) (Quit: on the move) |
| 09:43:02 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:43:48 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 09:46:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 09:49:11 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 09:52:01 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Client Quit) |
| 09:57:19 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:57:42 | → | merijn joins (~merijn@77.242.116.146) |
| 10:04:41 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:95c7:78:b1f:3963) |
| 10:09:50 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 10:15:18 | × | OftenFaded quits (OftenFaded@user/tisktisk) (Quit: Client closed) |
| 10:18:55 | → | cptaffe` joins (~cptaffe@user/cptaffe) |
| 10:19:56 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 272 seconds) |
| 10:21:11 | cptaffe` | is now known as cptaffe |
| 10:34:41 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 10:39:33 | → | pabs3 joins (~pabs3@user/pabs3) |
| 10:40:54 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 10:42:22 | → | ephilalethes joins (~noumenon@202.186.203.84) |
| 10:42:25 | × | CiaoSen quits (~Jura@2a05:5800:2df:3c00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 10:45:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 10:47:26 | → | alexherbo2 joins (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) |
| 10:48:15 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 10:50:13 | → | merijn joins (~merijn@77.242.116.146) |
| 10:52:04 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 10:52:36 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 10:53:31 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 11:10:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:31c3:bdc6:ec22:8746) |
| 11:14:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 11:15:36 | → | __monty__ joins (~toonn@user/toonn) |
| 11:22:38 | × | tdammers quits (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 11:23:03 | → | tdammers joins (~tdammers@110-136-178-143.ftth.glasoperator.nl) |
| 11:26:14 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 11:27:25 | → | merijn joins (~merijn@77.242.116.146) |
| 11:32:36 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 11:37:11 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 11:38:16 | <hellwolf> | is there a short syntax for this record update? "\sd -> sd { var_gen = MkAutoVarGen 0 }" |
| 11:38:23 | <hellwolf> | short/idomatic |
| 11:38:27 | <hellwolf> | *idiomatic |
| 11:47:42 | × | alexherbo2 quits (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) (Remote host closed the connection) |
| 11:48:01 | → | alexherbo2 joins (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) |
| 11:52:52 | <L29Ah> | ghc-experimental library j~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 11:53:06 | <L29Ah> | https://downloads.haskell.org/~ghc/9.12.1/docs/users_guide/9.12.1-notes.html fun times |
| 11:56:29 | <int-e> | hellwolf: people have wanted idiomatic record updates forever. instead we got lens... |
| 11:57:31 | <jackdk> | ... and discovered entirely new worlds of data structure access and manipulation |
| 11:58:37 | <mauke> | what is that in lenses? var_gen .~ MkAutoVarGen 0? |
| 11:58:45 | <hellwolf> | so the answer is, no? |
| 11:58:48 | <hellwolf> | (without lens) |
| 11:58:50 | <L29Ah> | hellwolf: https://github.com/ndmitchell/record-dot-preprocessor?tab=readme-ov-file#what-magic-is-available-precisely |
| 11:59:16 | <hellwolf> | (.=) in Lens, perhaps? |
| 11:59:16 | → | hc joins (~hc@mail.hce.li) |
| 11:59:50 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:00:51 | <mauke> | no, that involves a state monad |
| 12:01:23 | → | caconym joins (~caconym@user/caconym) |
| 12:01:43 | <mauke> | > (_1 .~ "a") (23,45) |
| 12:01:46 | <lambdabot> | ("a",45) |
| 12:06:13 | <hellwolf> | mine is a state monad. though, I still don't want to use lens, yet |
| 12:09:40 | <probie> | What does "don't want to use lens" mean in this context? The library in specific, any lens library (e.g. microlens or optics) or the concept? |
| 12:10:27 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 12:10:46 | → | homo joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 12:10:58 | → | CiaoSen joins (~Jura@2a05:5800:2df:3c00:ca4b:d6ff:fec1:99da) |
| 12:11:14 | × | homo quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 12:11:14 | → | homo joins (~homo@user/homo) |
| 12:12:17 | <hellwolf> | in the package I am building, since each time I pull in a new dependency, I'd have to think twice... |
| 12:19:35 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 12:19:50 | → | homo joins (~homo@user/homo) |
| 12:21:53 | → | pavonia joins (~user@user/siracusa) |
| 12:22:20 | → | battos joins (~battos@193.140.128.245) |
| 12:22:38 | <battos> | how do i get nth to mth elems of a list?? |
| 12:24:31 | <probie> | > let nToM n m = take (m - n) . drop n in nToM 7 42 [0..] |
| 12:24:36 | <lambdabot> | [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,... |
| 12:26:52 | × | ephilalethes quits (~noumenon@202.186.203.84) (Read error: Connection reset by peer) |
| 12:41:26 | <battos> | thanks probie |
| 12:42:12 | <probie> | hellwolf: If you just want get and set to use internally, you don't need to import an entire library, it's about a dozen lines of code https://play.haskell.org/saved/Ntdtdxjd |
| 12:55:15 | → | Guest26 joins (~Guest26@p200300fe47016b0084e2fe138bce681e.dip0.t-ipconnect.de) |
| 12:55:34 | <jackdk> | Also http://hackage.haskell.org/package/microlens is good for libraries |
| 12:56:33 | ← | Guest26 parts (~Guest26@p200300fe47016b0084e2fe138bce681e.dip0.t-ipconnect.de) () |
| 13:01:10 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:01:42 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:15:41 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:31:13 | × | battos quits (~battos@193.140.128.245) (Ping timeout: 272 seconds) |
| 13:34:23 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:36:40 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 13:37:37 | → | gmg joins (~user@user/gehmehgeh) |
| 13:37:48 | → | tinjamin4 joins (~tinjamin@banshee.h4x0r.space) |
| 13:38:02 | → | weary-traveler joins (~user@user/user363627) |
| 13:38:33 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:38:37 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (Client Quit) |
| 13:39:54 | → | tinjamin4 joins (~tinjamin@banshee.h4x0r.space) |
| 13:40:38 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 13:44:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:45:18 | → | jero98772 joins (~jero98772@31.130.32.65) |
| 13:45:18 | × | jero98772 quits (~jero98772@31.130.32.65) (Client Quit) |
| 13:46:09 | → | ystael joins (~ystael@user/ystael) |
| 13:47:01 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 13:52:11 | → | jespada joins (~jespada@cpc121148-nmal24-2-0-cust96.19-2.cable.virginm.net) |
| 13:54:29 | × | CiaoSen quits (~Jura@2a05:5800:2df:3c00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 14:04:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 14:08:53 | → | merijn joins (~merijn@77.242.116.146) |
| 14:09:06 | × | manwithluck quits (~manwithlu@194.177.28.164) (Ping timeout: 252 seconds) |
| 14:09:16 | → | manwithluck joins (~manwithlu@194.177.28.164) |
| 14:11:21 | → | simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 14:15:21 | × | alexherbo2 quits (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) (Remote host closed the connection) |
| 14:15:41 | → | alexherbo2 joins (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) |
| 14:35:06 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 14:39:46 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Ping timeout: 265 seconds) |
| 14:42:30 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 14:43:16 | → | comerijn joins (~merijn@77.242.116.146) |
| 14:46:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 15:00:09 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 15:00:13 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 15:01:18 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 15:01:27 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 15:07:13 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 15:14:55 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 15:20:17 | × | alp quits (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) (Ping timeout: 248 seconds) |
| 15:20:35 | → | Digit joins (~user@user/digit) |
| 15:23:31 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 15:24:48 | × | masterbuilder quits (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:25:10 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 15:31:12 | → | mari67168 joins (~mari-este@user/mari-estel) |
| 15:31:42 | → | Square2 joins (~Square@user/square) |
| 15:33:34 | → | Square joins (~Square4@user/square) |
| 15:33:35 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 15:35:20 | × | homo quits (~homo@user/homo) (Read error: Connection reset by peer) |
| 15:35:55 | × | briandaed quits (~root@user/briandaed) (Ping timeout: 260 seconds) |
| 15:37:10 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 15:51:24 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 15:57:24 | × | alexherbo2 quits (~alexherbo@2a02-8440-350b-610a-dd81-f356-3e46-ee2a.rev.sfr.net) (Remote host closed the connection) |
| 16:02:48 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:05:05 | × | mari67168 quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 16:05:54 | → | alexherbo2 joins (~alexherbo@2a02-8440-3500-2068-5950-a706-4ba5-2c55.rev.sfr.net) |
| 16:10:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:11:59 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 16:12:15 | → | fmira joins (~user@user/fmira) |
| 16:12:34 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 16:12:57 | → | fmira joins (~user@user/fmira) |
| 16:13:37 | × | dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 16:17:13 | → | dmj` joins (sid72307@id-72307.hampstead.irccloud.com) |
| 16:18:51 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 16:20:16 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:21:40 | × | jespada quits (~jespada@cpc121148-nmal24-2-0-cust96.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:22:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:25:56 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 16:28:01 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 16:30:30 | → | jespada joins (~jespada@cpc121148-nmal24-2-0-cust96.19-2.cable.virginm.net) |
| 16:31:55 | → | mari-6652 joins (~mari-este@user/mari-estel) |
| 16:34:19 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 16:34:30 | → | homo joins (~homo@user/homo) |
| 16:36:28 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 16:36:52 | mesaoptimizer | is now known as mesaoptimizer0 |
| 16:39:35 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:41:38 | × | mari-6652 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 16:45:42 | → | hcarr joins (~user@157-131-162-193.fiber.dynamic.sonic.net) |
| 16:46:16 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 16:46:42 | × | alexherbo2 quits (~alexherbo@2a02-8440-3500-2068-5950-a706-4ba5-2c55.rev.sfr.net) (Remote host closed the connection) |
| 16:47:02 | → | alexherbo2 joins (~alexherbo@2a02-8440-3500-2068-5950-a706-4ba5-2c55.rev.sfr.net) |
| 16:47:06 | → | briandaed joins (~root@user/briandaed) |
| 16:47:15 | × | hcarr quits (~user@157-131-162-193.fiber.dynamic.sonic.net) (Client Quit) |
| 16:49:57 | × | Vajb quits (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 16:50:25 | → | dpratt joins (~dpratt@165.225.220.148) |
| 16:51:11 | × | jespada quits (~jespada@cpc121148-nmal24-2-0-cust96.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:51:21 | × | iqubic quits (~sophia@2601:602:9201:9440:507d:441c:9582:d9ba) (Ping timeout: 272 seconds) |
| 16:51:46 | × | dpratt quits (~dpratt@165.225.220.148) (Client Quit) |
| 16:51:58 | → | dpratt joins (~dpratt@165.225.220.148) |
| 16:55:22 | → | notzmv joins (~umar@user/notzmv) |
| 16:55:39 | × | alexherbo2 quits (~alexherbo@2a02-8440-3500-2068-5950-a706-4ba5-2c55.rev.sfr.net) (Remote host closed the connection) |
| 16:57:24 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 16:59:16 | → | mari63771 joins (~mari-este@user/mari-estel) |
| 17:01:17 | × | student quits (~student@85.172.111.189) (Quit: WeeChat 3.8) |
| 17:01:37 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 17:02:02 | → | l__k joins (~student@85.172.111.189) |
| 17:04:10 | × | dpratt quits (~dpratt@165.225.220.148) (Ping timeout: 240 seconds) |
| 17:05:08 | l__k | is now known as student |
| 17:10:58 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:14:33 | → | merijn joins (~merijn@77.242.116.146) |
| 17:16:48 | <hellwolf> | yea, I used microlens before. I settled with simply enabling OverloadedRecordDot for now, and start to get used to it. I am still turned off by the "experimental" designation for the OverloadedRecordDotUpdate extension, so no, for now. |
| 17:17:05 | <hellwolf> | (says someone using LinearTypes liberally) |
| 17:18:56 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 17:18:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 17:21:12 | × | mari63771 quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 17:23:02 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:24:26 | × | simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 244 seconds) |
| 17:27:41 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 17:27:46 | → | Guest98 joins (~Guest98@2a02:8071:52d2:5560:b62e:99ff:fe1d:1c27) |
| 17:29:55 | × | Guest98 quits (~Guest98@2a02:8071:52d2:5560:b62e:99ff:fe1d:1c27) (Client Quit) |
| 17:34:22 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:34:54 | → | simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 17:38:11 | → | alp joins (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) |
| 17:39:35 | × | simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 17:40:11 | → | simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 17:45:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:45:52 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 17:46:40 | <hololeap> | I'm jumping back into a project after a few months so I'm a bit rusty on the details, but last time I was working on it I ran into an old problem that I haven't been able to find a good solution to |
| 17:47:34 | <hololeap> | basically, I want to be able to run an external command line application in linux and print its output in realtime within the haskell app I'm writing |
| 17:47:47 | <hololeap> | at the same time, I need to capture that output for later analysis |
| 17:48:36 | <L29Ah> | hololeap: popen? |
| 17:48:38 | <hololeap> | I haven't been able to find a solution to this that works after the haskell app has been compiled (as opposed to running main in ghci, for instance) |
| 17:49:24 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 17:50:00 | → | califax joins (~califax@user/califx) |
| 17:50:04 | <briandaed> | hololeap: maybe readProcess? |
| 17:50:05 | <kaol> | How about using an external solution like piping the output you want to capture via tee? |
| 17:50:48 | <L29Ah> | last time i did that with Data.Conduit.Process i think |
| 17:52:22 | <hellwolf> | "Cannot use record selector ‘fnMode’ as a function due to escaped type variables" <-- huh? |
| 17:52:34 | <hololeap> | kaol: I want to be able to invoke the command with arguments that are determined at runtime |
| 17:53:39 | <hololeap> | I just want to transparently pipe stdout to stdout and stderr to stderr, so that there is some visual confirmation that the external process is running correctly, while capturing stdout and stderr to their own buffers |
| 17:54:29 | <hololeap> | when I tried using Data.Conduit.Process it refused to do anything other than BlockBuffering |
| 17:54:49 | <hololeap> | or at least setting all the handles to NoBuffering didn't have any noticable effect |
| 17:55:49 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 17:57:51 | <kaol> | I was thinking of createProcess and how it has std_in, std_out and std_err available. Start tee processes as well and connect them with a combination of UseHandle and CreatePipe parameters. But if you want more control than just dumping them to files then you'll need something else. |
| 17:59:39 | <haskellbridge> | <magic_rb> you can point "tee" to a file descriptor "tee /proc/self/fd/45" |
| 18:00:06 | <haskellbridge> | <magic_rb> dont ask me how portable that is, my guess, not very |
| 18:00:25 | <geekosaur> | the complication here is that you can set your side of the pipe to NoBuffering all you want; the program on the other side will see it's not writing to a terminal and use BlockBuffering |
| 18:00:37 | <geekosaur> | GNU stdbuf might help |
| 18:00:43 | <hololeap> | kaol: yeah, if I use createProcess and use the default of std_out and std_err inheriting the original handles, it prints in realtime, but then I lose the ability to capture the outputs |
| 18:01:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:01:50 | <hololeap> | I'll write up a PoC and put it up on the haskell discourse or reddit to get more eyes on it |
| 18:01:55 | <haskellbridge> | <magic_rb> you need to make a pty if you want this to work i think |
| 18:02:00 | <hololeap> | because I couldn't find a solution |
| 18:03:23 | <geekosaur> | https://linux.die.net/man/1/stdbuf |
| 18:03:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:03:53 | <hololeap> | geekosaur: I'm pretty sure I tried that. I just wanted to make sure there wasn't just some ready-made solution I overlooked last time |
| 18:04:06 | <geekosaur> | it has limited functionality for non-glibc programs, but IIRC disabling buffering works everywhere. |
| 18:11:45 | <geekosaur> | hm, actually I wonder if https://linux.die.net/man/1/screen will do what you need |
| 18:12:24 | <geekosaur> | use Inherit for its output, read its typescript while the program runs |
| 18:16:43 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 18:16:44 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 18:16:44 | → | haritz joins (~hrtz@user/haritz) |
| 18:16:52 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:17:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 18:19:47 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:25:01 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 18:30:36 | → | neiluj joins (~neiluj@90.102.63.215) |
| 18:31:00 | <neiluj> | hi! do you know an alternative to the menhir parser generator? |
| 18:31:05 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 18:34:19 | → | homo joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 18:34:42 | × | homo quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 18:34:42 | → | homo joins (~homo@user/homo) |
| 18:36:35 | <briandaed> | neiluj: https://haskell-happy.readthedocs.io/en/latest/introduction.html ? |
| 18:37:13 | <neiluj> | cool thanks! |
| 18:37:39 | <neiluj> | menhir's probably more advanced and optimized, it also supports nicer error messages |
| 18:40:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:42:36 | mesaoptimizer0 | is now known as mesaoptimizer |
| 18:42:56 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:43:11 | × | neiluj quits (~neiluj@90.102.63.215) (Quit: WeeChat 4.2.1) |
| 18:44:44 | → | alexherbo2 joins (~alexherbo@2a02-8440-350c-e28c-29d5-3206-0593-d47a.rev.sfr.net) |
| 18:45:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:46:13 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:47:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:48:06 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 18:49:33 | → | housemate joins (~housemate@125.63.148.36) |
| 18:53:02 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:55:25 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:56:44 | × | alp quits (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) (Ping timeout: 272 seconds) |
| 18:57:23 | → | pera joins (~pera@user/pera) |
| 18:58:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:59:24 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 18:59:51 | → | iqubic joins (~sophia@2601:602:9201:8b20:9b50:7c8e:3d80:b57b) |
| 19:03:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:11:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:12:36 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 19:13:03 | × | iqubic quits (~sophia@2601:602:9201:8b20:9b50:7c8e:3d80:b57b) (Ping timeout: 252 seconds) |
| 19:14:08 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:14:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:16:39 | → | gmg joins (~user@user/gehmehgeh) |
| 19:20:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:31:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:35:13 | × | housemate quits (~housemate@125.63.148.36) (Ping timeout: 248 seconds) |
| 19:35:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:40:20 | rvalue | is now known as WastedGymMembers |
| 19:41:23 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 19:42:33 | WastedGymMembers | is now known as DntBuyGymPlan |
| 19:45:12 | mesaoptimizer | is now known as mesaoptimizer0 |
| 19:46:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:47:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 19:51:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:54:25 | <hololeap> | geekosaur: if you wanted to try some stuff, I created a self-contained PoC for this issue: https://gist.github.com/hololeap/57fde1d4ad9cfbce89555157f6f03d34 |
| 19:56:03 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 19:58:59 | → | sprotte24 joins (~sprotte24@p200300d16f0b6700c040a6a82d88cb19.dip0.t-ipconnect.de) |
| 19:59:46 | <hololeap> | that asyncBufferCopy function works as you might expect if it's run with runghc. but when it's compiled, hGet on the created pipe never recieves any bytes |
| 19:59:54 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 20:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:37 | → | caconym joins (~caconym@user/caconym) |
| 20:01:10 | <hololeap> | (or at least it hasn't for as long as I've been willing to run it) |
| 20:01:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:02:13 | <hololeap> | presumably because some buffer is getting filled slowly but never gets emptied |
| 20:06:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:06:31 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 20:08:48 | → | iqubic joins (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) |
| 20:09:32 | × | iqubic quits (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) (Remote host closed the connection) |
| 20:09:50 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 20:09:50 | <hololeap> | running it under `stdbuf -i0 -o0 -e0` doesn't change anything |
| 20:09:52 | → | iqubic joins (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) |
| 20:13:05 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 20:13:59 | → | alp joins (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) |
| 20:13:59 | → | Square joins (~Square4@user/square) |
| 20:17:03 | <hololeap> | _also_ wrapping the internal command in `stdbuf -i0 -o0 -e0` didn't change anything either |
| 20:17:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:17:40 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 20:21:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:28:09 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:30:11 | <hololeap> | if I have the internal command (`bash -c ...`) redirect to stderr, it at least dumps the buffer when I hit ctrl+c |
| 20:30:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 20:30:41 | ljdarj1 | is now known as ljdarj |
| 20:32:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:37:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:37:33 | × | DntBuyGymPlan quits (~rvalue@user/rvalue) (Quit: ChristmasMaintenance) |
| 20:37:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:41:18 | × | Xe quits (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 20:45:21 | → | Xe joins (~Xe@perl/impostor/xe) |
| 20:45:28 | <hellwolf> | at a quick glance, you should us forkIO |
| 20:45:30 | <hellwolf> | *use |
| 20:45:42 | <hellwolf> | ah, you have async |
| 20:46:13 | → | mesaoptimizer joins (~mesa@user/PapuaHardyNet) |
| 20:46:22 | × | alexherbo2 quits (~alexherbo@2a02-8440-350c-e28c-29d5-3206-0593-d47a.rev.sfr.net) (Remote host closed the connection) |
| 20:47:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:48:58 | <hololeap> | the kicker here is that it works as expected with runghc/runhaskell |
| 20:49:15 | <hololeap> | just not when compiled to an executable and then run |
| 20:50:12 | <hellwolf> | it's probably related to behaviour manifesting itself only when it is compiled with --threaded |
| 20:52:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:54:41 | <hololeap> | hellwolf: that does seem to fix it |
| 20:54:51 | <hololeap> | adding -threaded to ghc |
| 20:55:13 | <hololeap> | interesting |
| 20:55:19 | <hellwolf> | usually forkIO would work either way, but I don't know what async package wanted you to do. |
| 20:55:41 | <hellwolf> | you probably just need to understand a bit about the property of the library you use. |
| 20:55:49 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 20:56:57 | <hololeap> | I guess runghc has some implied -threaded thing going on |
| 20:57:21 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 20:58:00 | → | alexherbo2 joins (~alexherbo@2a02-8440-3509-3c01-2964-5e5d-67e6-4779.rev.sfr.net) |
| 20:59:37 | <hololeap> | I'm guessing the other library I tried to use, conduit, also needs -threaded to work properly |
| 20:59:54 | <geekosaur> | yes, runghc and ghci both are -threaded |
| 21:03:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:06:01 | × | mesaoptimizer0 quits (~mesaoptim@user/PapuaHardyNet) (Quit: nyaa~) |
| 21:07:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:10:00 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 21:12:34 | → | gmg joins (~user@user/gehmehgeh) |
| 21:14:10 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:18:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:18:29 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Client Quit) |
| 21:22:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:23:26 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:24:34 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:29:28 | × | simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:29:43 | → | simplystuart joins (~simplystu@71.173.136.93) |
| 21:33:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:36:33 | × | briandaed quits (~root@user/briandaed) (Remote host closed the connection) |
| 21:38:20 | → | dpratt joins (~dpratt@71.168.111.215) |
| 21:40:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:45:03 | → | son0p joins (~ff@186.121.98.118) |
| 21:49:01 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 21:51:05 | × | iqubic quits (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) (Ping timeout: 252 seconds) |
| 21:51:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:51:31 | × | foul_owl quits (~kerry@193.42.0.124) (Quit: WeeChat 3.8) |
| 21:51:52 | → | foul_owl joins (~kerry@193.42.0.124) |
| 21:52:08 | × | alexherbo2 quits (~alexherbo@2a02-8440-3509-3c01-2964-5e5d-67e6-4779.rev.sfr.net) (Remote host closed the connection) |
| 21:54:09 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:54:10 | × | Xe quits (~Xe@perl/impostor/xe) (Remote host closed the connection) |
| 21:54:25 | × | dpratt quits (~dpratt@71.168.111.215) (Quit: Client closed) |
| 21:55:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:59:52 | → | alexherbo2 joins (~alexherbo@2a02-8440-350b-4173-8174-651f-c556-b564.rev.sfr.net) |
| 22:01:20 | × | alexherbo2 quits (~alexherbo@2a02-8440-350b-4173-8174-651f-c556-b564.rev.sfr.net) (Remote host closed the connection) |
| 22:02:06 | → | Xe joins (~Xe@perl/impostor/xe) |
| 22:02:40 | × | simplystuart quits (~simplystu@71.173.136.93) (Ping timeout: 260 seconds) |
| 22:02:49 | → | alexherbo2 joins (~alexherbo@2a02-8440-350b-4173-c50d-5221-2c20-3261.rev.sfr.net) |
| 22:06:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:11:05 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:11:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:18:59 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:20:59 | → | cptaffe` joins (~cptaffe@user/cptaffe) |
| 22:21:51 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 265 seconds) |
| 22:22:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:22:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:23:13 | cptaffe` | is now known as cptaffe |
| 22:27:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:37:30 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:37:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:42:15 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 22:42:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:46:01 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 22:53:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:57:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:59:48 | <L29Ah> | do i get it right that using haskell-language-server with vim boils down to either using some node.js npm dumpster fire or bitrotten rust? |
| 23:08:21 | <geekosaur> | I think that's true for vim but not nvim (recent versions at least have native LSP support) |
| 23:08:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:08:40 | <L29Ah> | nvim doesn't support vim undo files :< |
| 23:09:48 | <haskellbridge> | <magic_rb> id recommend to move to nvim and live without whatever the undo files are, almost everyone that cares about fancy features, LSP included, has moved over |
| 23:10:05 | <haskellbridge> | <magic_rb> (though im a emacs person, so im only observing from the outside) |
| 23:10:24 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 23:11:37 | <L29Ah> | vim undo files is the VCS of choice for discriminating hackers :P |
| 23:12:20 | <mauke> | what do you mean, it doesn't support undo files |
| 23:12:26 | <mauke> | what have I been using then? |
| 23:12:46 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 23:13:19 | <haskellbridge> | <magic_rb> use git? idk, not to be mean but this seems like very much a self imposed problem |
| 23:14:33 | <L29Ah> | mauke: https://github.com/neovim/neovim/issues/17301 |
| 23:14:43 | <L29Ah> | magic_rb: git won't read my undo files either |
| 23:14:56 | <haskellbridge> | <magic_rb> 🤷 |
| 23:15:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:15:08 | <mauke> | oh, you want to mix undo stacks from different editors? why? |
| 23:15:48 | <mauke> | ah, you're a madlad: "years of my edit history" |
| 23:15:48 | <L29Ah> | mauke: or at least convert back and forth, so i can have a choice w/o vendor lock; i already had bad experience with nvim where vim worked great |
| 23:17:19 | <mauke> | do you also use your browser history instead of bookmarks? |
| 23:17:33 | <L29Ah> | yes |
| 23:17:40 | <L29Ah> | incremental history search is great |
| 23:18:20 | <sprout> | > prove $ \x -> x `shiftL` 2 .== 4 * (x :: SWord8) |
| 23:18:21 | <lambdabot> | error: |
| 23:18:21 | <lambdabot> | Not in scope: type constructor or class ‘SWord8’ |
| 23:18:21 | <lambdabot> | Perhaps you meant one of these: |
| 23:18:22 | <L29Ah> | although i use bookmarks for "add a search engine" functionality tho that is called "bookmarks" in FF and its forks for some strange reason |
| 23:18:22 | <geekosaur> | so do I tbh. but I don't share shell or editor history (tuhe latter would be difficult anyway as I use 3 different editors for various things) |
| 23:20:14 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:20:20 | <mauke> | I'm not talking about incremental search (which can search bookmarks anyway) |
| 23:22:50 | <L29Ah> | then i'm not sure what you're asking |
| 23:23:16 | <mauke> | bad analogy, then |
| 23:24:40 | <mauke> | to me, persistent undo is nice to have on a short-term to medium basis |
| 23:24:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:24:41 | ljdarj1 | is now known as ljdarj |
| 23:26:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:26:38 | <mauke> | but for anything beyond that (like a searchable change history or guaranteed preservation of older versions), I'd add a versioning system |
| 23:30:43 | <mauke> | keeping years of change history only in undo files is crazy to me. they're not robust enough for that |
| 23:30:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:32:56 | <L29Ah> | the important things go to git, and everything meaningful is backed up incrementally daily, still undo history is useful |
| 23:34:46 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:39:56 | <L29Ah> | perhaps i could use nvim for haskell and vim for everything else :] |
| 23:41:12 | <mauke> | that's mostly what I do :-) |
| 23:41:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:43:32 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 23:46:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:46:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:47:31 | × | alexherbo2 quits (~alexherbo@2a02-8440-350b-4173-c50d-5221-2c20-3261.rev.sfr.net) (Remote host closed the connection) |
| 23:55:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:59:20 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:59:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
All times are in UTC on 2024-12-17.