Logs on 2026-02-11 (liberachat/#haskell)
| 00:03:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:11:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:18:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:23:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:34:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:39:19 | × | attlin quits (~user@user/attlin) (Ping timeout: 264 seconds) |
| 00:40:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:41:27 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 00:43:34 | → | attlin joins (~user@user/attlin) |
| 00:48:31 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 255 seconds) |
| 00:49:50 | → | jreicher joins (~joelr@user/jreicher) |
| 00:52:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:54:18 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 00:57:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:07:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:12:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:18:01 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 01:20:16 | → | Square joins (~Square4@user/square) |
| 01:21:42 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 01:23:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:23:40 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 245 seconds) |
| 01:23:40 | omidmash1 | is now known as omidmash |
| 01:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:38:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:42:00 | → | housemate joins (~housemate@1.147.19.219) |
| 01:42:02 | × | housemate quits (~housemate@1.147.19.219) (Remote host closed the connection) |
| 01:42:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:43:48 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 01:45:02 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 01:47:15 | → | socksbuny joins (~socks@oberon.raccoon.fun) |
| 01:50:06 | → | housemate joins (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) |
| 01:52:52 | × | acidjnk quits (~acidjnk@p200300d6e700e589bc3447690a0a9402.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 01:53:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:59:10 | × | otto_s quits (~user@p5b044bf5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 01:59:28 | × | mud quits (~mud@user/kadoban) (Server closed connection) |
| 01:59:54 | → | mud joins (~mud@user/kadoban) |
| 01:59:58 | <s3np41> | Hello i return another question, what are some good resources to read up on FRP? |
| 02:00:04 | <s3np41> | with* |
| 02:00:11 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 02:00:48 | → | otto_s joins (~user@p4ff27fce.dip0.t-ipconnect.de) |
| 02:01:05 | → | socksbuny joins (~socks@oberon.raccoon.fun) |
| 02:01:12 | × | housemate quits (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) (Read error: Connection reset by peer) |
| 02:04:35 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 02:04:50 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 02:06:48 | DetourNe- | is now known as DetourNetworkUK |
| 02:07:22 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:08:32 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 02:09:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:09:13 | × | ridcully quits (~ridcully@p508ac969.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 02:11:23 | → | ridcully joins (~ridcully@p508ac876.dip0.t-ipconnect.de) |
| 02:16:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:24:08 | × | sudden quits (~cat@user/sudden) (Server closed connection) |
| 02:24:23 | → | sudden joins (~cat@user/sudden) |
| 02:25:21 | <EvanR> | conal's blog is an oldie but goodie |
| 02:27:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:31:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:33:09 | → | juri_ joins (~juri@212.86.50.13) |
| 02:33:09 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 02:33:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 02:34:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 02:36:23 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:36:36 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 02:38:37 | → | juri_ joins (~juri@212.86.50.13) |
| 02:39:05 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 02:40:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:42:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:43:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:44:14 | → | juri_ joins (~juri@212.86.50.13) |
| 02:44:43 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 02:47:20 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 02:47:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:55:52 | <jackdk> | s3np41: event-and-behaviour style (e.g., reflex, reactive-banana) or monadic-signal-function style (e.g. rhine)? For the former I found https://github.com/qfpl/reflex-workshop tremendously valuable for getting my hands dirty and getting it into my head (though you might enjoy Conal Elliot's blogs and papers to understand the aspirational denotational model). For the latter, I enjoyed https://github.com/turion/rhine-koans |
| 02:56:46 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 02:57:26 | → | qqq joins (~qqq@185.54.22.240) |
| 02:57:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:58:40 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 02:59:25 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 02:59:46 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 03:00:37 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 03:01:22 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:02:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:13:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:16:14 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 244 seconds) |
| 03:17:40 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 03:17:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:18:01 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 03:18:23 | → | td_ joins (~td@i5387093E.versanet.de) |
| 03:28:34 | → | ceridwen15 joins (~ceridwen1@n175-32-209-194.mas22.nsw.optusnet.com.au) |
| 03:28:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:29:57 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Ping timeout: 252 seconds) |
| 03:31:35 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 03:32:31 | × | ceridwen15 quits (~ceridwen1@n175-32-209-194.mas22.nsw.optusnet.com.au) (Client Quit) |
| 03:32:48 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 03:32:55 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 03:32:56 | → | ceridwen joins (~ceridwen@n175-32-209-194.mas22.nsw.optusnet.com.au) |
| 03:33:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:33:31 | × | ceridwen quits (~ceridwen@n175-32-209-194.mas22.nsw.optusnet.com.au) (Client Quit) |
| 03:33:54 | × | rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 265 seconds) |
| 03:34:52 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 03:35:10 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 03:36:59 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 03:40:31 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 03:41:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:42:51 | → | weary-traveler joins (~user@user/user363627) |
| 03:45:28 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Server closed connection) |
| 03:45:36 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 03:45:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 03:52:48 | × | berberman quits (~berberman@user/berberman) (Server closed connection) |
| 03:52:57 | → | berberman joins (~berberman@user/berberman) |
| 03:53:14 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 03:54:21 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 03:56:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:58:36 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 04:03:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:06:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 04:08:56 | trickard_ | is now known as trickard |
| 04:14:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:19:13 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:19:27 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 04:19:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:28:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 04:30:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:34:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:36:34 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 04:36:59 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 04:45:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:50:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:50:08 | × | dunj3 quits (~dunj3@h1765027.stratoserver.net) (Server closed connection) |
| 04:50:20 | → | dunj3 joins (~dunj3@2a01:239:328:1600::1) |
| 04:51:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 04:54:55 | × | xff0x quits (~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) (Ping timeout: 245 seconds) |
| 04:56:07 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 04:56:40 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 04:57:54 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 05:00:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:02:10 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 05:02:23 | → | xff0x joins (~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) |
| 05:02:40 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 05:05:09 | → | juri_ joins (~juri@212.86.50.13) |
| 05:05:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:05:16 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 05:10:45 | → | juri_ joins (~juri@212.86.50.13) |
| 05:10:47 | → | weary-traveler joins (~user@user/user363627) |
| 05:10:57 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 05:11:42 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 05:12:08 | × | emergence quits (emergence@vm0.max-p.me) (Server closed connection) |
| 05:12:22 | → | emergence joins (emergence@vm0.max-p.me) |
| 05:13:54 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 05:16:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:16:23 | → | juri_ joins (~juri@212.86.50.13) |
| 05:16:41 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 05:19:27 | → | michalz joins (~michalz@185.246.207.222) |
| 05:21:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:22:00 | → | juri_ joins (~juri@212.86.50.13) |
| 05:22:13 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 05:23:40 | × | michalz quits (~michalz@185.246.207.222) (Ping timeout: 245 seconds) |
| 05:27:10 | → | Bunny joins (~Bunny@pool-99-254-97-52.cpe.net.cable.rogers.com) |
| 05:27:13 | ← | Bunny parts (~Bunny@pool-99-254-97-52.cpe.net.cable.rogers.com) () |
| 05:27:57 | → | michalz joins (~michalz@185.246.207.203) |
| 05:31:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:36:19 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 05:36:43 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 05:41:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:48:45 | <s3np41> | again thanks for the replies |
| 05:49:03 | <s3np41> | sorry for the lack of reply i sent that and went off to do other stuff |
| 05:49:08 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 05:57:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:02:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:08:48 | × | dpk quits (~dpk@jains.nonceword.org) (Server closed connection) |
| 06:08:54 | → | dpk joins (~dpk@jains.nonceword.org) |
| 06:12:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:15:58 | × | jle` quits (~jle`@2603:8001:3b00:11:aa96:1bfc:d44b:9e) (Ping timeout: 246 seconds) |
| 06:17:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:21:55 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:22:18 | → | acidjnk joins (~acidjnk@p200300d6e700e552f541e7aa9c024d62.dip0.t-ipconnect.de) |
| 06:28:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:44 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 06:32:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:43:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:47:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 06:58:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:00:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 07:03:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:11:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 07:13:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:20:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:32:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:36:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:42:55 | → | juri_ joins (~juri@212.86.50.13) |
| 07:43:00 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 07:44:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:48:32 | → | juri_ joins (~juri@212.86.50.13) |
| 07:48:38 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 07:48:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:54:09 | → | juri_ joins (~juri@212.86.50.13) |
| 07:54:16 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 07:59:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:59:47 | → | juri_ joins (~juri@212.86.50.13) |
| 07:59:59 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 08:02:32 | → | trickard___ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 08:03:00 | trickard___ | is now known as trickard |
| 08:03:55 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 08:04:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:05:25 | → | juri_ joins (~juri@212.86.50.13) |
| 08:05:37 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 08:10:43 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 08:11:03 | → | juri_ joins (~juri@212.86.50.13) |
| 08:11:39 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 08:14:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:16:41 | → | juri_ joins (~juri@212.86.50.13) |
| 08:17:23 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 08:21:01 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:21:15 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 08:24:04 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 08:25:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:26:14 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 08:27:25 | → | oskarw joins (~user@user/oskarw) |
| 08:27:33 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 08:29:00 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:29:19 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 255 seconds) |
| 08:30:04 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 08:30:10 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 08:32:21 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:34:49 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 08:37:10 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 08:37:15 | → | Googulator64 joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 08:38:55 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 08:40:32 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:41:57 | trickard_ | is now known as trickard |
| 08:43:59 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:45:10 | × | ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:48:19 | → | emmanuelux joins (~em@user/emmanuelux) |
| 09:01:29 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 09:01:29 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 09:01:29 | → | haritz joins (~hrtz@user/haritz) |
| 09:04:50 | → | merijn joins (~merijn@77.242.116.146) |
| 09:07:25 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:07:38 | → | trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 09:09:28 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 09:12:08 | → | chele joins (~chele@user/chele) |
| 09:16:26 | → | Googulator33 joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 09:16:27 | × | Googulator64 quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 09:18:43 | → | __monty__ joins (~toonn@user/toonn) |
| 09:20:22 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:24:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 09:32:25 | × | Moyst quits (~moyst@user/moyst) (Ping timeout: 264 seconds) |
| 09:33:53 | → | Moyst joins (~moyst@user/moyst) |
| 09:35:59 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 09:39:37 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 09:44:03 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 09:51:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:54:46 | → | Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) |
| 09:57:15 | <gentauro> | s3np41: Perhaps Evan Czaplicki MSc thesis from Harvard? https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf |
| 09:58:06 | <gentauro> | However, I don't know how much of the FRP actually survived in later releases |
| 10:00:07 | <gentauro> | s3np41: another good source is Ivan Perez (with a PhD from Nottingham Uni and currently at NASA) https://eprints.nottingham.ac.uk/50348/ |
| 10:00:27 | <gentauro> | Both Evan and Ivan have transitioned FRP from academia to industry "very" succesfully |
| 10:00:30 | <gentauro> | (Y) |
| 10:03:32 | <gentauro> | for Ivan lookup "Keera Studios" (gaming in FRP Haskell) and (the GOOD) CoPilot (Haskell FRP for NASA) |
| 10:05:23 | <gentauro> | and for Evan, well, just search for Elm ;) (not to be confused with https://gren-lang.org/ xD) |
| 10:05:59 | gentauro | https://gren-lang.org/ just copy/pasta ALL of elm-lang and then they did a rename. That's what permissive open source licenses gets you … |
| 10:09:31 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 10:09:56 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 10:10:10 | → | housemate joins (~housemate@202.7.248.67) |
| 10:21:52 | <gentauro> | s3np41: my bad, I linked to Evans paper instead of his MSc thesis. Here you go -> https://elm-lang.org/assets/papers/concurrent-frp.pdf |
| 10:22:24 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 10:24:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 10:26:05 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 10:29:04 | <ski> | > serExp 0 0 (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))) "" |
| 10:29:06 | <lambdabot> | "a b (c d)" |
| 10:29:11 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Var "b"))) (Abs "d" (App (Var "c") (Var "d")))) "" |
| 10:29:12 | <lambdabot> | "(\\a. a b) \\d. c d" |
| 10:29:14 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Abs "b" (Var "b")))) (Abs "c" (App (Var "c") (Abs "d" (Var "d"))))) "" |
| 10:29:15 | <lambdabot> | "(\\a. a \\b. b) \\c. c \\d. d" |
| 10:29:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 10:32:06 | → | juri_ joins (~juri@212.86.50.13) |
| 10:32:06 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 10:37:35 | → | juri_ joins (~juri@212.86.50.13) |
| 10:38:02 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 10:41:22 | → | trickard__ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 10:42:07 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds) |
| 10:42:37 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 10:43:13 | → | juri_ joins (~juri@212.86.50.13) |
| 10:43:13 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 10:43:22 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 10:44:00 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 10:44:17 | → | oskarw joins (~user@user/oskarw) |
| 10:45:23 | Googulator33 | is now known as Googulator |
| 10:46:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 10:46:38 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 11:03:40 | → | comerijn joins (~merijn@77.242.116.146) |
| 11:05:42 | trickard__ | is now known as trickard |
| 11:06:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 11:15:49 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 11:15:50 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:16:03 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 11:20:48 | <tomsmeding> | controversional BlockArguments printing :p |
| 11:28:34 | → | merijn joins (~merijn@77.242.116.146) |
| 11:29:50 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 11:30:09 | <Leary> | Haskell98 printing in a better timeline. |
| 11:34:44 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:34:44 | <ski> | got annoyed at not having `BlockArguments'-style printing of trailing lambda (including inside of an outer bracketting), with a simple standard precedence printer that i used for some examples i was playing around with, so i threw the above together, to see whether my initial hunch for how to do it would work |
| 11:34:58 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:35:10 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 11:35:11 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 11:36:32 | <ski> | (i'd first done it in a kludgey way, with the traditional precedences, but it turned out to not work for more complex examples. oh, and yea, i'm pretty sure this should work for mixfix with individual precedences specified for the ends of the constituent lexemes (cf. Annika Aasa's papers on parsing)) |
| 11:38:20 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:39:44 | <bwe> | Why is the second (Megaparsec) parser not being evaluated? `parseMaybe (try (1 <$ "abc") <|> 1 <$ "abcd") "abcd"` -- parseTest is of no help as it moans about ambiguous types. And no, encapsulating each parser with try doesn't help either (assuming the backtracing is the issue). |
| 11:40:18 | <bwe> | tomsmeding: Thanks for the recommendation of the fsnotify package (yet to check it out). |
| 11:40:24 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:42:26 | <Leary> | bwe: Why would it be? The first succeeds. |
| 11:46:01 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 11:46:31 | <bwe> | I mean `parseMaybe (try (1 <$ "abc") <|> 1 <$ "abcd") "abcd"` of course. There, the second does not succeed, but I want it to succeed. |
| 11:47:34 | <__monty__> | bwe: <|> uses its left argument if it succeeds, so if it does the right argument is never tried. |
| 11:47:53 | <__monty__> | In this case I assume you want to flip the argument order basically. |
| 11:53:21 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 11:54:19 | → | Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) |
| 11:54:34 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 260 seconds) |
| 11:55:22 | → | merijn joins (~merijn@77.242.116.146) |
| 11:56:33 | → | weary-traveler joins (~user@user/user363627) |
| 11:58:10 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 11:58:36 | <bwe> | __monty__: But why does it return Nothing, then? (Flipping fixes it for me but I still don't understand the concept.) |
| 12:00:15 | <Leary> | bwe: "This function also parses eof, so if the parser doesn't consume all of its input, it will fail." |
| 12:02:36 | <bwe> | Leary: So this answers why `parseMaybe` behaves differently than when I combine the parser with others. What's then the right function to (unit) test parser combinator segments? |
| 12:03:15 | <merijn> | bwe: I mean, you could just add "<* eof" to each parse before feeding to parseMaybe? :) |
| 12:03:51 | <merijn> | i.e.: parseMaybe (foo <* eof) "stuff here" |
| 12:04:51 | <Leary> | I think they want the opposite; add `<* takeWhileP (const True)`. |
| 12:05:03 | <__monty__> | Or use parseTest and just add the type annotation that it complains about. |
| 12:06:35 | <Leary> | `parseTest` seems to be for visual inspection, not automated testing. |
| 12:13:21 | <ski> | (seems to me like the failing end of input ought to trigger backtracking, with the `try' present there, no ?) |
| 12:14:09 | <Leary> | No, it's outside of the `<|>`. |
| 12:14:25 | trickard_ | is now known as trickard |
| 12:18:29 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 12:18:34 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 12:18:34 | prdak1 | is now known as prdak |
| 12:22:56 | <ski> | (mm, right. for some reason i was thinking it did the right distributive law, with `try' .. too bad) |
| 12:23:25 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 12:23:56 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 12:24:42 | <tomsmeding> | bwe: as people have said, thep roblem is that "abc" succeeds, so the left argument to (<|>) succeeds, so the (<|>) as a whole succeeds and that's that. (Mega)parsec does not do arbitrary backtracking: its model is that if a parser fails while having consumed input, it's an error; if a parser fails without consuming input, we backtrack. 'try' wraps its argument to "undo" the input consumption upon |
| 12:24:44 | <tomsmeding> | error. |
| 12:25:31 | <tomsmeding> | The solutions here seem to be swapping the two parsers (in which case the try shouldn't be necessary any more), or augmenting the "abc" parser to explicitly reject a following 'd' |
| 12:25:45 | <tomsmeding> | ("abc" >> notFollowedBy "d"), for example |
| 12:26:05 | <tomsmeding> | or ("abc" >> eof), if appropriate |
| 12:26:58 | <tomsmeding> | I'm not a fan of this model of "backtracking is an error without consuming input", as it's unintuitive and at times inflexible; I prefer my parser combinators more explicit about backtracking and failure |
| 12:27:41 | <tomsmeding> | but I also have to be honest that if you make things more explicit, the whole system doesn't necessarily get nicer -- the rule does somehow strike a balance where a lot of cases can be expressed fairly neatly |
| 12:29:53 | ski | would like a mode & determinism tracking system that could be used to ensure that you get the intended efficient switching rather than backtracking, when you expect it, without removing the more general case, nor making it less convenient to express |
| 12:30:53 | → | fp joins (~Thunderbi@wireless-86-50-141-104.open.aalto.fi) |
| 12:31:28 | → | tremon joins (~tremon@83.80.159.219) |
| 12:34:33 | <ski> | (oh, and it should satisfy the right (and left, upto permutation of solutions) distribution law, and also the law that if `p' parses tokens `s' and `q' parses tokens `t', then `p >> q' ought to parse tokens `s <> t' (so, no `eof' nor `lookAhead')) |
| 12:35:00 | × | fp quits (~Thunderbi@wireless-86-50-141-104.open.aalto.fi) (Ping timeout: 252 seconds) |
| 12:37:28 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Server closed connection) |
| 12:38:04 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 12:43:28 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Server closed connection) |
| 12:44:06 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 12:46:45 | → | karenw joins (~karenw@user/karenw) |
| 12:52:57 | → | prdak joins (~Thunderbi@user/prdak) |
| 12:56:19 | rensenwxre | is now known as fwam |
| 12:57:26 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 12:58:39 | → | juri_ joins (~juri@212.86.50.13) |
| 12:58:47 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:58:47 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 13:01:28 | × | APic quits (apic@apic.name) (Server closed connection) |
| 13:02:45 | <gentauro> | ski: with `lookAhead` you bind your parser logic to a monadic context right? Isn't it better su rely only on (Selective) Applicative and Functors? |
| 13:03:29 | <ski> | well, i said "no [..] `lookAhead'" |
| 13:04:15 | → | juri_ joins (~juri@212.86.50.13) |
| 13:04:25 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 13:04:48 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Server closed connection) |
| 13:05:02 | → | omnifunctor joins (~omnifunct@user/semifunctor) |
| 13:06:04 | <gentauro> | ski: got it |
| 13:06:38 | → | APic joins (apic@apic.name) |
| 13:09:50 | → | juri_ joins (~juri@212.86.50.13) |
| 13:10:03 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 13:22:31 | → | Square joins (~Square4@user/square) |
| 13:26:14 | → | fp joins (~Thunderbi@130.233.70.158) |
| 13:26:32 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 13:26:43 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 260 seconds) |
| 13:27:25 | → | _________ joins (~nobody@user/noodly) |
| 13:28:28 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 13:32:13 | → | emaczen joins (~user@user/emaczen) |
| 13:49:33 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 13:57:19 | → | housemate joins (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) |
| 14:00:45 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 14:02:38 | mzg_ | is now known as mzg |
| 14:05:19 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 14:05:36 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 14:09:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:10:08 | × | kimiamania4 quits (~b4b260c9@user/kimiamania) (Server closed connection) |
| 14:10:28 | → | kimiamania4 joins (~b4b260c9@user/kimiamania) |
| 14:16:59 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 14:21:30 | → | infinity0 joins (~infinity0@pwned.gg) |
| 14:23:28 | × | polykernel quits (~polykerne@user/polykernel) (Server closed connection) |
| 14:23:42 | → | polykernel joins (~polykerne@user/polykernel) |
| 14:29:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 14:29:49 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:32:53 | → | Guest99 joins (~Guest99@151.84.245.37) |
| 14:33:14 | × | Guest99 quits (~Guest99@151.84.245.37) (Client Quit) |
| 15:11:12 | × | housemate quits (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) (Ping timeout: 252 seconds) |
| 15:17:25 | × | fp quits (~Thunderbi@130.233.70.158) (Ping timeout: 264 seconds) |
| 15:27:31 | → | diabloblanco joins (~diablobla@user/diabloblanco) |
| 15:30:43 | → | juri_ joins (~juri@212.86.50.13) |
| 15:31:06 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 15:31:59 | × | diabloblanco quits (~diablobla@user/diabloblanco) (Ping timeout: 252 seconds) |
| 15:32:12 | → | diabloblanco joins (~diablobla@user/diabloblanco) |
| 15:36:23 | → | juri_ joins (~juri@212.86.50.13) |
| 15:36:30 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 15:37:28 | → | housemate joins (~housemate@202.7.248.67) |
| 15:40:16 | × | housemate quits (~housemate@202.7.248.67) (Remote host closed the connection) |
| 15:40:39 | → | housemate joins (~housemate@202.7.248.67) |
| 15:42:02 | → | juri_ joins (~juri@212.86.50.13) |
| 15:42:07 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 15:42:16 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Ping timeout: 246 seconds) |
| 15:45:06 | × | diabloblanco quits (~diablobla@user/diabloblanco) (Remote host closed the connection) |
| 15:45:24 | → | diabloblanco joins (~diablobla@user/diabloblanco) |
| 15:47:40 | → | juri_ joins (~juri@212.86.50.13) |
| 15:47:46 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 15:49:13 | × | qqq quits (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 15:53:19 | → | juri_ joins (~juri@212.86.50.13) |
| 15:53:25 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 15:58:31 | × | Digit quits (~user@18.47.7.51.dyn.plus.net) (Ping timeout: 264 seconds) |
| 15:58:57 | → | juri_ joins (~juri@212.86.50.13) |
| 15:59:03 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 16:03:08 | → | sord937_ joins (~sord937@gateway/tor-sasl/sord937) |
| 16:04:35 | → | juri_ joins (~juri@212.86.50.13) |
| 16:04:41 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 16:06:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 16:07:40 | → | jle` joins (~jle`@2603:8001:3b00:11:bf46:c857:2ece:2e07) |
| 16:09:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:12:20 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:16:52 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 255 seconds) |
| 16:21:24 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:23:02 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 16:23:58 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 16:24:54 | <probie> | What's the streaming library of choice these days? Has conduit fallen out of popularity? |
| 16:26:07 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 16:26:53 | <merijn> | Depends a lot on what use, I think? |
| 16:30:13 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 16:30:33 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 16:30:49 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 16:32:52 | → | Digit joins (~user@user/digit) |
| 16:37:15 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:37:42 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 16:38:12 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 16:40:04 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 16:40:18 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 16:43:28 | × | dyniec quits (~dyniec@dybiec.info) (Server closed connection) |
| 16:43:40 | → | dyniec joins (~dyniec@dybiec.info) |
| 16:47:15 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:48:33 | → | wickedjargon joins (~user@24.83.46.194) |
| 16:58:28 | <probie> | I've just got some lazy bytestrings that are much too big fit in memory and want some guard rails so I don't accidentally cause a space leak. I figure conduit gives me that if my only direct usage of them are in calls to `yieldMany` |
| 16:59:26 | <probie> | s/too big fit/too big to fit/ |
| 17:01:28 | → | prdak joins (~Thunderbi@user/prdak) |
| 17:02:18 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 17:02:23 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 17:04:15 | <merijn> | probie: conduit is fine |
| 17:04:22 | <merijn> | It's the only one I really used extensively |
| 17:04:53 | <merijn> | The main "problem" it has, is that it's not really tuned for super efficiency |
| 17:05:31 | <merijn> | If you're operating on data coming from disk/network, etc. that's gonna be entirely unimportant |
| 17:06:42 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 256 seconds) |
| 17:07:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 17:07:42 | <yin> | there was another one i used which had goid performance, can't recall its name. something with 's'...? |
| 17:07:45 | jmcantrell_ | is now known as jmcantrell |
| 17:07:52 | <probie> | streamly? |
| 17:08:30 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 17:08:51 | → | prdak joins (~Thunderbi@user/prdak) |
| 17:09:23 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 17:09:42 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 17:10:07 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 17:10:22 | <mauke> | streaming? |
| 17:11:20 | <yin> | i think is was streamly |
| 17:11:40 | tomsmeding | . o O ( goid, halfway between good and gold ) |
| 17:12:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 17:14:52 | <yin> | look, smartphones were great and all but i miss typing on old nokias |
| 17:16:31 | <__monty__> | Shake question, is there a concept of recursively "need"ing a file? What I mean is having a rule declare it `need`s <file> but in addition to rebuilding if <file> changes, it will also be rebuilt if any dependency of <file> has changed? |
| 17:19:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 17:22:08 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Server closed connection) |
| 17:22:19 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 17:22:59 | × | diabloblanco quits (~diablobla@user/diabloblanco) (Remote host closed the connection) |
| 17:27:28 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 17:27:31 | <yin> | in what context? |
| 17:27:39 | <yin> | what's "it"? |
| 17:27:40 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 17:28:24 | → | ft joins (~ft@p508db4c0.dip0.t-ipconnect.de) |
| 17:31:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:35:23 | → | Guest2 joins (~Guest2@client-8-178.eduroam.oxuni.org.uk) |
| 17:35:33 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 17:36:38 | → | perryprog joins (~perryprog@wikipedia/perryprog) |
| 17:37:25 | <haskellbridge> | <sm> __monty__ I think that's implied, isn't it ? Shake's dependency engine will do that by default |
| 17:37:52 | <haskellbridge> | <sm> if by <file> you mean a shake target |
| 17:39:47 | <perryprog> | I'm having some trouble troubleshooting a build failure—I'm getting "The build process segfaulted" from cabal and I'm not seeing much help from cabal build -v (https://paste.tomsmeding.com/aGOsdU5i). The project is https://github.com/pdobsan/oama. There's reports of this sort of build failure from a few years ago also on macOS, but that was from an older macOS version and also seems to have been fixed... |
| 17:40:17 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 17:41:18 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:43:46 | <haskellbridge> | <sm> are you running out of memory perryprog ? watch with a fast-updating top , eg |
| 17:44:11 | <perryprog> | nope, I got loads |
| 17:44:49 | <Guest2> | Hey, sorry for the stupid question, but is there a built-in function to "interleave" two lists? Like f [1,2,3] [11,12,13] = [1,11,2,12,3,13]. I for some reason thought there was one, but I can't find it now, did I dream it up or something? |
| 17:45:04 | <haskellbridge> | <sm> I see Cabal-7125, but as usual it's not in the haskell error index |
| 17:45:51 | <haskellbridge> | <sm> are you sure it's not eating up your loads of memory due to a compiler bug ? I would make sure |
| 17:46:08 | × | bliminse_ quits (~bliminse@user/bliminse) (Server closed connection) |
| 17:46:21 | <__monty__> | sm: Maybe I was adding my dependencies wrong. I refactored a bit and now I'm getting the expected behavior. |
| 17:46:24 | → | bliminse joins (~bliminse@user/bliminse) |
| 17:46:34 | <perryprog> | sm, I'm sure—I just checked with htop -d 1. 10 GB free the whole time. |
| 17:46:35 | <haskellbridge> | <sm> \o/ |
| 17:47:02 | <haskellbridge> | <sm> perryprog good, just making sure |
| 17:47:04 | <perryprog> | nw |
| 17:47:25 | <haskellbridge> | <sm> Guest2 you're thinking of zip maybe. It would be a start |
| 17:48:20 | <Guest2> | Wouldn't that give me a list of pairs? I waned to combine two lists into one of the same type |
| 17:48:31 | <probie> | > concat $ zipWith (\x y -> [x,y]) [1,2,3] [11,12,13] |
| 17:48:32 | <lambdabot> | [1,11,2,12,3,13] |
| 17:48:59 | <Guest2> | Oh that's clever |
| 17:49:04 | <Guest2> | Thanks |
| 17:49:13 | <probie> | Or use `foldr`. `foldr` solves everything |
| 17:50:08 | <geekosaur> | perryprog: if I read that log correctly, it's ghc that segfaulted so you may want to file an issue on gitlab |
| 17:50:29 | <probie> | > foldr (\x k ys -> case ys of { [] -> []; (y:ys') -> x:y:k ys' }) (const []) [1, 2, 3] [11, 12, 13] -- to clarify, this is a joke |
| 17:50:30 | <lambdabot> | [1,11,2,12,3,13] |
| 17:50:31 | <perryprog> | but I don't want to file an issue, I want my build to work ;-; /hj |
| 17:51:09 | <haskellbridge> | <sm> I was going to say ask #hackage:matrix.org (https://matrix.to/#/#hackage:matrix.org) . It looks like a very straightforward package, clearly there's a tool bug |
| 17:51:25 | <geekosaur> | alternatively it might be https://github.com/haskell/cabal/issues/11465, but as it's not custom `Setup` and it reached running ghc that seems pretty unlikely |
| 17:51:48 | <geekosaur> | (because in that ticket it's `Setup` that segfaults, so it wouldn't reach running ghc) |
| 17:52:05 | <haskellbridge> | <sm> you could also try building with a different ghc version, cabal-install version, and/or stack |
| 17:52:37 | <haskellbridge> | <sm> I might even try building in a fresh clone, to rule out ghc environment files |
| 17:52:47 | × | Guest2 quits (~Guest2@client-8-178.eduroam.oxuni.org.uk) (Quit: Client closed) |
| 17:52:59 | <perryprog> | I tried with a git clean -fxd which should be same thing |
| 17:54:11 | <perryprog> | the project needs 9.12.1 or higher, so I kinda doubt it needs 9.12.1 and not 9.12.2 unless it relied on inaccurate division somehow |
| 17:54:13 | <perryprog> | (/s) |
| 17:55:28 | × | rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (Server closed connection) |
| 17:55:40 | → | rncwnd joins (~quassel@2a01:4f8:221:27c6::1) |
| 17:56:15 | <geekosaur> | might still be worth trying 9.12.1 |
| 17:56:27 | × | sord937_ quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937_) |
| 17:56:30 | <geekosaur> | in case a GC bug crept into .2 |
| 17:56:50 | haskellbridge | sm tries 9.12.2 on mac |
| 17:57:43 | <perryprog> | failed on cabal 3.14.2.0 |
| 17:58:21 | <perryprog> | my stack version /shouldn't/ matter if it's just a cabal project, right?? |
| 17:59:21 | <haskellbridge> | <sm> stack version doesn't matter much, no |
| 18:02:52 | <haskellbridge> | <sm> it built normally for me with cabal 3.16.1.0 and ghc 9.12.2, on mac |
| 18:03:14 | <haskellbridge> | <sm> that module 6 did take an unusually long time |
| 18:03:53 | <haskellbridge> | <sm> ok, not so bad the second time |
| 18:04:34 | <perryprog> | hmmm. What version of xcode command line tools and what macOS version? |
| 18:05:18 | <perryprog> | and I still failed to build with 9.12.1 :( |
| 18:08:12 | <tomsmeding> | perryprog: regardless of whether you submit a bug report to GHC or not, it might be worth minimising a little; there's a bunch of TemplateHaskell in the failing file, what if you remove all of that? |
| 18:08:20 | <haskellbridge> | <sm> macos 26.2, xcode-select version 2416. |
| 18:08:22 | <perryprog> | got an lldb backtrace: https://paste.tomsmeding.com/eDJZhqvX |
| 18:08:31 | <tomsmeding> | (oh actually, just one usage of TH) |
| 18:08:48 | × | tureba quits (tureba@tureba.org) (Server closed connection) |
| 18:09:01 | <tomsmeding> | that runInteractiveProcess, in combination with the TH, makes me suspect external-interpreter somehow |
| 18:09:05 | → | tureba joins (tureba@tureba.org) |
| 18:09:06 | <tomsmeding> | definitely try removing the TH from that module |
| 18:09:22 | <perryprog> | sm, xcode-select --version is a prank, that's just the installer's version. If you have xcode installed you can open it > preferences > components > then whatever's under platform support |
| 18:10:18 | <tomsmeding> | % System.Process.system "echo --version" |
| 18:10:18 | <yahb2> | --version ; ExitSuccess |
| 18:10:21 | <perryprog> | hahaha tomsmeding you're correct |
| 18:10:27 | <perryprog> | removing that fixes it |
| 18:10:38 | <tomsmeding> | ok then there's definitely something off either with GHC or with your installation |
| 18:10:43 | <perryprog> | that checks out |
| 18:10:49 | <perryprog> | this was my first time updating it in a while |
| 18:11:11 | <tomsmeding> | if you want to debug this, then my first suggestion would be to see if _any_ TH at all works -- i.e. `cabal new`, add some TH, build it |
| 18:11:31 | <haskellbridge> | <sm> it might be an issue known to cabal devs |
| 18:11:35 | <tomsmeding> | but this may also give you enough to devise a workaround if you just want oama to work |
| 18:11:53 | <perryprog> | well I have to figure out the cause out of spite now, surely :) |
| 18:11:55 | <haskellbridge> | <sm> ok. That's too much work :) |
| 18:12:00 | <tomsmeding> | sm: SIGSEGV when running TH sounds like a GHC / platform toolchain problem, not a cabal problem, but I can't know for sure |
| 18:12:02 | <haskellbridge> | <sm> could it be a mac permissions issue, like your terminal doesn't have full disk access or something ? |
| 18:12:22 | → | prdak joins (~Thunderbi@user/prdak) |
| 18:12:39 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 18:12:40 | <perryprog> | sm, nah, it's an address boundary error, so almost definitely not. And thank you for your help! |
| 18:12:50 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 18:13:20 | <tomsmeding> | well, it's a null pointer dereference; who knows, perhaps the GHC RTS assumes that some file will be present, opens it, receives NULL, then proceeds to read from that? |
| 18:13:44 | <tomsmeding> | it would be rather stupid and unlike the GHC RTS developers to do something like that (if it's that simple), but who knows |
| 18:13:54 | <perryprog> | eh fair |
| 18:14:11 | <haskellbridge> | <sm> claude says it's the process library's posix_spawn wrapper crashing when GHC tries to shell out to an external tool during compilation, and suggests to force a rebuild or upgrade of that package |
| 18:14:51 | <tomsmeding> | at that point `rm -rf ~/.cabal/store`, and uninstall the relevant GHC, then reinstall the relevant GHC with ghcup and rebuild |
| 18:15:06 | <tomsmeding> | (because 'process' may well from from the bootlibs distributed with GHC) |
| 18:15:08 | prdak1 | is now known as prdak |
| 18:15:30 | <tomsmeding> | (the ~/.cabal/store nuke can be more targeted by only removing the relevant directory inside) |
| 18:15:32 | <haskellbridge> | <sm> I suspect it was installed before a macos upgrade, maybe |
| 18:15:44 | <perryprog> | me too sm |
| 18:16:10 | <tomsmeding> | if that's the problem that still points to a bug in ghc/rts/`process`/whatever, but it's worth trying |
| 18:20:58 | <perryprog> | belated but $[|1+2|] works |
| 18:21:20 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:23:22 | <tomsmeding> | and $(liftIO $ LitE . StringL <$> readProcess "echo" ["hi"] "") ? |
| 18:23:33 | <tomsmeding> | (import Control.Monad.IO.Class, Sstem.Process, Language.Haskell.TH) |
| 18:23:37 | <tomsmeding> | *System.Process |
| 18:24:48 | × | Ging_ quits (46fea76d80@2001:bc8:1210:2cd8::470) (Server closed connection) |
| 18:24:54 | <tomsmeding> | if that works then the problem is somewhere between "process execution in TH" and "'git' execution in TH in this cabal project" :p |
| 18:24:55 | → | Ging_ joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 18:25:26 | <perryprog> | that works as well, and blowing out ~/.cabal/store did not fix oama building |
| 18:25:52 | <tomsmeding> | that this point it's binary search in reproducer complexity then |
| 18:26:01 | <perryprog> | yeah |
| 18:26:52 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 18:26:58 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 18:27:42 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 18:28:46 | → | prdak joins (~Thunderbi@user/prdak) |
| 18:31:02 | × | wickedjargon quits (~user@24.83.46.194) (Remote host closed the connection) |
| 18:31:24 | × | prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 18:35:22 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:35:37 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 18:41:59 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 18:42:17 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 18:42:57 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 18:49:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:56:42 | → | Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) |
| 18:59:07 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 18:59:42 | → | Square joins (~Square4@user/square) |
| 19:05:48 | → | messewix joins (~jmc@user/messewix) |
| 19:06:29 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 19:15:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 19:17:07 | <perryprog> | so far best I have is that readCreateProcessWithExitCode in TH is the issue; not sure what to narrow it down from from there |
| 19:21:49 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 19:22:06 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 19:23:22 | × | cipherrot quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 19:31:13 | → | Square2 joins (~Square@user/square) |
| 19:31:42 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 19:32:00 | <perryprog> | wait |
| 19:32:04 | <perryprog> | no it works in another cabal project |
| 19:32:06 | <perryprog> | Imma cry |
| 19:32:59 | → | prdak joins (~Thunderbi@user/prdak) |
| 19:33:49 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:35:20 | <EvanR> | check the specific version of the process package |
| 19:35:28 | <EvanR> | used in respective projects |
| 19:37:17 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 19:37:28 | <perryprog> | they're the same |
| 19:38:11 | → | petrichor joins (~jez@user/petrichor) |
| 19:42:21 | × | pr1sm quits (~pr1sm@24.91.163.31) (Ping timeout: 252 seconds) |
| 19:44:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 19:44:57 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 19:45:12 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 19:46:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:47:49 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 265 seconds) |
| 19:51:40 | <EvanR> | same version, different results, I daresay it's not the package |
| 19:53:25 | <perryprog> | I checked via cabal list --installed; is that correct? |
| 19:57:54 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 20:00:59 | <EvanR> | try doing cabal freeze and looking at the freeze file |
| 20:01:22 | <EvanR> | then delete the freeze file |
| 20:02:10 | <perryprog> | they're different versions :) |
| 20:02:33 | <perryprog> | presumably 1.6.25.0 works, 1.6.26.1 doesn't |
| 20:04:31 | <EvanR> | \o/ |
| 20:05:10 | <perryprog> | annnnd fixxing it to 1.6.25.0 still sees a segfault in the non-working project |
| 20:07:29 | <EvanR> | /o\ |
| 20:09:11 | <perryprog> | mebbe we do a nuke |
| 20:09:11 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 20:09:48 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 20:10:22 | <EvanR> | same version different projects different results... even after cloning them and rebuilding everything, then it really seems like you have more usage patterns to bisect |
| 20:11:05 | <EvanR> | slowly mutate the non working one to the working one, and eventually it has to flip. (intermediate bug theorem) |
| 20:11:31 | <perryprog> | the problem lines of code are literally identical :( |
| 20:11:39 | <perryprog> | intermediate bug theorem is hilarious |
| 20:12:29 | <EvanR> | I don't think code knows what a line is... it's about the values being passed to the e.g. readCreateProcessWithExitCode... or some FFI call, because if there is corruption the crash can easily be non-locally triggered |
| 20:12:59 | <EvanR> | so the entire body of the program can a priori be implicated |
| 20:13:04 | <perryprog> | well, yes |
| 20:16:32 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 20:21:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:29:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:30:45 | <perryprog> | nuke did not fix :( |
| 20:34:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:43:41 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 20:43:57 | → | divlamir joins (~divlamir@user/divlamir) |
| 20:45:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:45:56 | → | Googulator54 joins (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 20:49:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:50:03 | → | brioche joins (~username@user/brioche) |
| 20:50:17 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 20:55:22 | <brioche> | Does anyone here know how to spawn a process with a given specific file descriptor? |
| 20:55:56 | <brioche> | I know that createProcess allows to specify a stdin, stdout and stderr FDs, but what about the other FDs? |
| 20:57:11 | Googulator54 | is now known as Googulator |
| 20:58:41 | <EvanR> | the other FDs? |
| 21:00:18 | <brioche> | Yeah, a pipe for example |
| 21:00:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:54 | <brioche> | I could do this by disabling close_fds in CreateProcess, but I don't want the other FDs to stay open. I just want to keep a specific list of FDs open. |
| 21:04:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 21:05:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 21:05:44 | → | califax joins (~califax@user/califx) |
| 21:06:29 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 21:06:55 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:07:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:10:55 | → | emmanuelux joins (~em@user/emmanuelux) |
| 21:14:25 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 264 seconds) |
| 21:15:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:17:22 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 21:17:36 | <haskellbridge> | <sm> perryprog what did you nuke ? |
| 21:17:47 | <perryprog> | I did ghcup nuke |
| 21:19:19 | <haskellbridge> | <sm> I don't know what that does, did it remove your ~/.ghc, ~/.cabal, all haskell tools from PATH etc ? |
| 21:20:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:21:16 | <haskellbridge> | <sm> there's nuke and there's NUKE FROM ORBIT |
| 21:21:57 | → | housemate joins (~housemate@202.7.248.67) |
| 21:23:17 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 21:23:27 | <int-e> | LOL, https://github.com/haskell/ghcup-hs/blob/master/lib-opt/GHCup/OptParse/Nuke.hs#L78 |
| 21:23:53 | <haskellbridge> | <maerwald> No, it doesn't delete ghc or cabal dirs |
| 21:25:11 | <perryprog> | sm, it just kills ~/.ghcup I think |
| 21:25:28 | <haskellbridge> | <sm> I feel there's an out of date build of process somewhere getting used by that particular project (and the package version number may not tell the whole story) |
| 21:26:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 21:27:26 | <haskellbridge> | <sm> but I think your paste showed the path of it, you could try just deleting those files ? |
| 21:29:19 | → | PorfirioAguilar joins (~PorfirioA@user/PorfirioAguilar) |
| 21:30:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 21:30:59 | <EvanR> | rebuilding the broken project in a new sandbox seems like it would test sm's theory |
| 21:31:09 | <EvanR> | that it's not the project's actual fault |
| 21:31:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:33:18 | <haskellbridge> | <sm> oh the paste didn't show the path, but the filename might be this ? libHSprcss-1.6.26.1-e81c95d2-ghc9.12.2.dylib. I'm assuming it's not under the project dir |
| 21:34:38 | <EvanR> | that there's a working test case elsewhere makes me think it's not the lib |
| 21:35:31 | <haskellbridge> | <sm> they're not using the same .dylib |
| 21:35:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:36:05 | × | PorfirioAguilar quits (~PorfirioA@user/PorfirioAguilar) (Quit: WeeChat 4.1.1) |
| 21:36:36 | <EvanR> | can't that be encoded in the freeze file? |
| 21:36:43 | <EvanR> | I think tomsmeding brought this up recently |
| 21:39:42 | <tomsmeding> | in a 'constraints:' clause in cabal.project you can put 'any.' before a package name to apply the constraint to all targets being built, including built-tool dependencies |
| 21:39:47 | <tomsmeding> | and cabal freeze does this |
| 21:39:56 | <tomsmeding> | from skimming the scrollback I feel like this is irrelevant |
| 21:40:05 | <tomsmeding> | s/built-tool/build-tool/ |
| 21:40:37 | <tomsmeding> | perryprog: this is a stupid suggestion, but what about taking your copy of the project that _does_ work, and copying it over the one that doesn't work |
| 21:40:46 | <brioche> | :q |
| 21:40:56 | × | brioche quits (~username@user/brioche) () |
| 21:41:25 | <perryprog> | it's not two versions of the same project—I haven't been able to get the main project (oama) working at all, but the thing that doesn't work works fine in isolation. (Will try other suggestions soon™) |
| 21:42:05 | <tomsmeding> | the concrete dependency tree including versions can be found in dist-newstyle/cache/plan.json |
| 21:43:33 | → | oskarw` joins (~user@user/oskarw) |
| 21:44:31 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 246 seconds) |
| 21:45:33 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:46:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:53:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:04:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:09:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:13:21 | × | Googulator quits (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 22:13:45 | → | Googulator joins (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 22:18:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 22:20:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:22:08 | × | oskarw` quits (~user@user/oskarw) (Remote host closed the connection) |
| 22:22:09 | → | oskarw joins (~user@user/oskarw) |
| 22:24:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:24:33 | <perryprog> | weird, I can't actually fine what libHSprcss /is/. HLS has some dylib with that in the name but besides that I can't see it anywhere. |
| 22:25:37 | <perryprog> | and it's not linked to by ghc or libHSrts |
| 22:26:37 | <tomsmeding> | it's "process" but without vowels; cabal/ghc/something removes vowels from filenames in some situations |
| 22:27:00 | <tomsmeding> | can you find that file on your machine somewhere? |
| 22:27:09 | <perryprog> | ahh okay wasn't sure if that was the case; in that case yes |
| 22:27:28 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 22:28:00 | → | fgarcia joins (~lei@user/fgarcia) |
| 22:28:26 | <EvanR> | egyptian filename style |
| 22:28:37 | <perryprog> | I mean, it's all in my .ghcup so it's all stuff I've deleted before |
| 22:29:06 | <tomsmeding> | I just realised that in your lldb backtrace, it showed that the crash is not simply a dereference of a null pointer, it's a _jump_ to a null pointer |
| 22:29:14 | <tomsmeding> | or rather, a call to a null pointer |
| 22:29:34 | <tomsmeding> | I don't see any such indirect call in the source of do_posix_spawn |
| 22:29:37 | <tomsmeding> | (https://hackage-content.haskell.org/package/process-1.6.26.1/src/cbits/posix/posix_spawn.c) |
| 22:29:50 | → | mange joins (~mange@user/mange) |
| 22:29:58 | <tomsmeding> | though I guess it might be hidden inside something |
| 22:31:12 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 252 seconds) |
| 22:32:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 22:35:03 | <perryprog> | maybe I just compile ghc with debug symbols |
| 22:35:30 | <tomsmeding> | perryprog: if you switch to frame 1 in lldb in that crash, you should be in do_posix_spawn, which is a normal C file from the 'process' library |
| 22:35:35 | → | merijn joins (~merijn@62.45.136.136) |
| 22:35:38 | <tomsmeding> | debugging that function should not require a GHC with debug symbols |
| 22:36:11 | <perryprog> | tomsmeding, that's do_posix_spawn from process? https://github.com/haskell/process/blob/98101f82543b3a28e9f5192d758a508881f8b464/cbits/posix/posix_spawn.c#L100 |
| 22:36:16 | <perryprog> | oh |
| 22:36:17 | <perryprog> | so ture |
| 22:36:19 | <perryprog> | true* |
| 22:36:24 | <tomsmeding> | should be, yes |
| 22:36:36 | <perryprog> | for some reason I was thinking process was part of ghc |
| 22:36:58 | <tomsmeding> | be sure to take the function from the exact 'process' version that you're looking at, though, to avoid vexingly confusing mismatches |
| 22:37:22 | <tomsmeding> | it's one of the libraries distributed with ghc, but it's not part of ghc itself |
| 22:37:35 | <perryprog> | yeah; looks easy enough to build |
| 22:37:40 | <perryprog> | and good call |
| 22:37:47 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 22:37:57 | tomsmeding | has to go though, good luck |
| 22:39:08 | <perryprog> | o7 thanks for your help |
| 22:40:31 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 22:42:09 | → | emmanuelux joins (~em@user/emmanuelux) |
| 22:45:48 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:50:30 | <perryprog> | ahhhh very suspect; I think I ran into this same issue when compiling emacs... some of these functions such as posix_spawn_file_actions_addchdir are only for macOS 26.0 or newer and I've held off on updating |
| 22:50:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:51:06 | igemnace_ | is now known as igemnace |
| 22:55:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:04:02 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:06:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:07:20 | → | emmanuelux joins (~em@user/emmanuelux) |
| 23:07:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:09:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:10:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:14:41 | → | terrorjack joins (~terrorjac@static.27.101.55.162.clients.your-server.de) |
| 23:21:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:22:15 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:22:25 | <perryprog> | yeah, pretty sure that's the issue and while there is probably a change that can be made to the configure.ac but I dunno what it is (see also https://yhetil.org/emacs/87ms6ru5cg.fsf@gmail.com/) |
| 23:22:51 | <perryprog> | for now gonna just remove the template haskell from the problem file, lol |
| 23:24:06 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:7e0c:bf30:b02a:8ed5) |
| 23:25:31 | → | emmanuelux joins (~em@user/emmanuelux) |
| 23:25:54 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 23:26:24 | <haskellbridge> | <sm> that.. does not seem the optimal fix :) |
| 23:26:52 | <perryprog> | look, all of this was for a one line change for personal use :P |
| 23:27:13 | <haskellbridge> | <sm> wouldn't installing an older ghc, or installing ghc by a different method (eg homebrew ?) likely solve it ? |
| 23:27:32 | <haskellbridge> | <sm> hehe that's what you get for TINKERING |
| 23:27:42 | <haskellbridge> | <sm> sorry about it though |
| 23:28:18 | <perryprog> | I think it only supports 9.10.1 up |
| 23:28:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:28:25 | <geekosaur> | I think he said he needed that version (or later)? |
| 23:28:35 | <geekosaur> | oh look, I'm slow again ☺ |
| 23:28:41 | → | spew joins (~spew@user/spew) |
| 23:28:47 | × | spew quits (~spew@user/spew) (Client Quit) |
| 23:29:15 | <perryprog> | and yeah my dev environment is usually pretty prone to breaking people's ./configures. A very high number of times it's been because I updated xcode command line tools but not macOS. |
| 23:29:47 | → | spew joins (~spew@user/spew) |
| 23:30:53 | <haskellbridge> | <sm> you installed ghc (and its core packages such as process) with ghcup I guess ? Is it possible it installs binaries/libs that require a newer macos maerwald ? |
| 23:31:07 | <perryprog> | that is definitely possible |
| 23:33:56 | <perryprog> | well at least the one line change fixed the problem I had with it (ostensibly), lol |
| 23:39:24 | <haskellbridge> | <sm> 🚀 |
| 23:39:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:44:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:48:37 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 23:49:23 | → | ezzieygu1wuf joins (~Unknown@user/ezzieyguywuf) |
| 23:49:24 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 23:54:41 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 23:54:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:58:05 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 23:59:14 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 23:59:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:59:47 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
All times are in UTC on 2026-02-11.