Logs on 2025-03-14 (liberachat/#haskell)
| 00:00:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:10:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:11:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:20 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 00:15:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:17:36 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 00:26:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:27:25 | × | a_fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 00:31:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:32:08 | × | AlexZenon quits (~alzenon@178.34.151.157) (Read error: Connection reset by peer) |
| 00:32:14 | × | AlexNoo quits (~AlexNoo@178.34.151.157) (Read error: Connection reset by peer) |
| 00:33:42 | → | fantom joins (~fantom@2.219.56.221) |
| 00:34:52 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 00:34:52 | ChanServ | sets mode +v haskellbridge |
| 00:39:03 | → | eL_Bart0 joins (eL_Bart02@dietunichtguten.org) |
| 00:39:31 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f716c4d4e53bbbba097.dip0.t-ipconnect.de) |
| 00:41:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:42:02 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 00:46:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:47:49 | × | xff0x quits (~xff0x@ai066236.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 00:49:07 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 00:49:07 | ChanServ | sets mode +v haskellbridge |
| 00:54:04 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f716c4d4e53bbbba097.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:54:13 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 00:55:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:56:10 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:56:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:57:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:00:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 01:03:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:14:57 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 01:15:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:19:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:30:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:33:39 | → | califax joins (~califax@user/califx) |
| 01:35:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:40:35 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) |
| 01:40:53 | k_hachig_ | is now known as k_hachig |
| 01:43:03 | → | weary-traveler joins (~user@user/user363627) |
| 01:43:33 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:46:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:48:27 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 01:50:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:57:28 | × | Square2 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 02:01:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:05:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:10:08 | × | Googulator quits (~Googulato@84-236-65-216.pool.digikabel.hu) (Quit: Client closed) |
| 02:10:25 | → | Googulator joins (~Googulato@2a01-036d-0106-4b74-1d9e-b230-a088-7b03.pool6.digikabel.hu) |
| 02:16:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:21:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:28:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:30:38 | → | messewix joins (~jmc@user/messewix) |
| 02:32:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:33:12 | → | izzyfalco joins (~jake_pers@user/izzyfalco) |
| 02:33:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 02:35:59 | × | notdabs quits (~Owner@2600:1700:69cf:9000:5ce6:2484:e861:ea97) (Ping timeout: 260 seconds) |
| 02:39:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:47:14 | → | eron joins (~eron@177.45.236.226) |
| 02:50:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:54:08 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 02:54:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:55:48 | → | jrm joins (~jrm@user/jrm) |
| 03:05:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:10:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:11:40 | → | tavare joins (~tavare@150.129.88.189) |
| 03:11:40 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 03:11:40 | → | tavare joins (~tavare@user/tavare) |
| 03:14:22 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:18:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 03:20:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:25:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:29:22 | × | olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 03:29:59 | → | olivial joins (~benjaminl@user/benjaminl) |
| 03:36:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:41:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:41:59 | astra | is now known as amish |
| 03:42:03 | × | amish quits (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 03:42:03 | → | amish joins (sid289983@user/amish) |
| 03:42:13 | amish | is now known as astra |
| 03:51:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:56:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:00:46 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:04:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 04:05:10 | → | aforemny joins (~aforemny@2001:9e8:6cc4:6d00:df94:f43b:f3a3:8a7) |
| 04:06:34 | × | aforemny_ quits (~aforemny@i59F4C5E2.versanet.de) (Ping timeout: 260 seconds) |
| 04:07:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:08:21 | → | tusko joins (uid478376@user/tusko) |
| 04:09:19 | × | yegorc quits (~yegorc@user/yegorc) (Ping timeout: 260 seconds) |
| 04:10:22 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 04:12:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:16:50 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:19:06 | → | pabs3 joins (~pabs3@user/pabs3) |
| 04:20:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:23:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:25:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:28:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:38:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:43:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:46:30 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:50:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 04:53:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:54:05 | → | michalz joins (~michalz@185.246.207.222) |
| 04:55:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:58:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:58:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:59:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:15:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:21:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 05:22:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:29:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:32:41 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:33:46 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:34:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:38:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 05:45:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:49:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:52:31 | × | izzyfalco quits (~jake_pers@user/izzyfalco) (Quit: Using Circe, the loveliest of all IRC clients) |
| 05:53:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 05:53:36 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 272 seconds) |
| 05:58:13 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:59:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:3552:f799:4331:aaa8) |
| 06:00:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:01:57 | → | Flow joins (~none@gentoo/developer/flow) |
| 06:04:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:15:54 | × | raym quits (~ray@user/raym) (Quit: rebooting...) |
| 06:16:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:19:10 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:20:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:24:06 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 06:28:15 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) (Ping timeout: 276 seconds) |
| 06:31:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:36:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:40:10 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) |
| 06:45:09 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) (Ping timeout: 265 seconds) |
| 06:46:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:53:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:52 | → | caconym joins (~caconym@user/caconym) |
| 07:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:05:02 | <mzg> | re |
| 07:05:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:06:46 | × | ft quits (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:08:59 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 07:10:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:12:33 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:12:58 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 07:13:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 07:13:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:16:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:19:50 | → | gmg joins (~user@user/gehmehgeh) |
| 07:20:34 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:21:12 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180::ac59) |
| 07:21:19 | → | gmg joins (~user@user/gehmehgeh) |
| 07:21:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:30:24 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:31:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:34:48 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) |
| 07:36:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:40:00 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) (Ping timeout: 272 seconds) |
| 07:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:50:17 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:51:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:53:51 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) |
| 07:54:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 07:57:06 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 07:58:37 | × | Googulator quits (~Googulato@2a01-036d-0106-4b74-1d9e-b230-a088-7b03.pool6.digikabel.hu) (Quit: Client closed) |
| 07:58:59 | → | Googulator joins (~Googulato@2a01-036d-0106-4b74-1d9e-b230-a088-7b03.pool6.digikabel.hu) |
| 07:59:35 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) (Ping timeout: 252 seconds) |
| 08:00:08 | × | ash3en quits (~Thunderbi@89.56.182.235) (Client Quit) |
| 08:00:22 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 08:02:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:06:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:07:42 | × | Googulator quits (~Googulato@2a01-036d-0106-4b74-1d9e-b230-a088-7b03.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 08:11:35 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:15:41 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 08:16:46 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 08:16:49 | → | chele joins (~chele@user/chele) |
| 08:16:50 | → | j1n37- joins (~j1n37@user/j1n37) |
| 08:17:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:21:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:24:05 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 08:31:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 08:32:10 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 08:32:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:33:06 | → | zungi joins (~tory@user/andrewchawk) |
| 08:35:40 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:37:17 | × | eron quits (~eron@177.45.236.226) (Quit: Client closed) |
| 08:37:29 | → | AlexNoo joins (~AlexNoo@178.34.151.157) |
| 08:39:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:39:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:40:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:41:13 | × | aforemny quits (~aforemny@2001:9e8:6cc4:6d00:df94:f43b:f3a3:8a7) (Ping timeout: 245 seconds) |
| 08:41:19 | → | aforemny_ joins (~aforemny@2001:9e8:6cca:8600:7a2a:146f:5c60:4ad0) |
| 08:45:34 | → | tremon joins (~tremon@83.80.159.219) |
| 08:47:33 | × | krei-se quits (~krei-se@p3ee0f37e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 08:47:45 | × | tusko quits (uid478376@user/tusko) (Quit: Connection closed for inactivity) |
| 08:50:48 | → | krei-se joins (~krei-se@p200300f1cf3ebf002411defffe902013.dip0.t-ipconnect.de) |
| 08:50:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:55:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:56:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:57:52 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 08:59:23 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.9.0 - https://znc.in) |
| 09:00:16 | → | mrvdb joins (~mrvdb@185.92.221.186) |
| 09:00:20 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:03:36 | × | krei-se quits (~krei-se@p200300f1cf3ebf002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 09:04:53 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 09:16:22 | × | AlexNoo quits (~AlexNoo@178.34.151.157) (Quit: Leaving) |
| 09:16:43 | → | alp joins (~alp@2001:861:8ca0:4940:a4bf:688f:d6c0:3b98) |
| 09:16:55 | → | Googulator joins (~Googulato@81.183.235.203) |
| 09:21:04 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:23:37 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:25:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 09:25:52 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) |
| 09:30:58 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:b15e:8323:1d1c:aa91) (Ping timeout: 248 seconds) |
| 09:31:19 | × | JamesMowery1 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 09:35:10 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 09:35:25 | × | ash3en quits (~Thunderbi@89.56.182.235) (Client Quit) |
| 09:37:52 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 09:41:28 | → | __monty__ joins (~toonn@user/toonn) |
| 09:41:31 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 09:46:31 | → | AlexNoo joins (~AlexNoo@178.34.151.157) |
| 09:46:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Quit: Reconnecting) |
| 09:46:45 | → | AlexZenon joins (~alzenon@178.34.151.157) |
| 09:46:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:48:32 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 09:59:26 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:9b2c:81c3:7d2a:699c) |
| 10:02:16 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 10:02:32 | × | alecs quits (~alecs@nat16.software.imdea.org) (Client Quit) |
| 10:02:51 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 10:07:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:07:55 | → | k_hachig_ joins (~k_hachig@pool-99-227-155-93.cpe.net.cable.rogers.com) |
| 10:10:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:12:03 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 10:12:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:12:28 | × | k_hachig_ quits (~k_hachig@pool-99-227-155-93.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 10:13:47 | → | krei-se joins (~krei-se@tmo-122-100.customers.d1-online.com) |
| 10:25:38 | → | acidjnk joins (~acidjnk@p200300d6e71c4f49ed02b7dcae5e99bf.dip0.t-ipconnect.de) |
| 10:27:08 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) |
| 10:28:18 | → | Square3 joins (~Square@user/square) |
| 10:28:25 | → | Square2 joins (~Square4@user/square) |
| 10:29:11 | × | saimazoon quits (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
| 10:32:50 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) (Ping timeout: 248 seconds) |
| 10:35:27 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 10:35:30 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 10:35:30 | → | haritz joins (~hrtz@user/haritz) |
| 10:35:47 | → | raym joins (~ray@user/raym) |
| 10:40:13 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) |
| 10:40:18 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 10:40:54 | × | ash3en quits (~Thunderbi@89.56.182.235) (Client Quit) |
| 10:41:37 | → | vpan joins (~vpan@mail.elitnet.lt) |
| 10:44:33 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) (Ping timeout: 248 seconds) |
| 10:50:06 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 10:50:14 | × | Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 10:53:33 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:56:20 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 10:57:47 | × | alp quits (~alp@2001:861:8ca0:4940:a4bf:688f:d6c0:3b98) (Ping timeout: 252 seconds) |
| 10:57:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 10:59:53 | → | krei-se- joins (~krei-se@p200300f1cf11bb002411defffe902013.dip0.t-ipconnect.de) |
| 11:00:02 | × | krei-se quits (~krei-se@tmo-122-100.customers.d1-online.com) (Ping timeout: 244 seconds) |
| 11:00:09 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:03:01 | → | alp joins (~alp@2001:861:8ca0:4940:f9c8:57ad:13f8:80c2) |
| 11:04:00 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:05:09 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:06:09 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 11:07:21 | × | alp quits (~alp@2001:861:8ca0:4940:f9c8:57ad:13f8:80c2) (Ping timeout: 246 seconds) |
| 11:09:45 | rvalue- | is now known as rvalue |
| 11:10:16 | × | krei-se- quits (~krei-se@p200300f1cf11bb002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:10:45 | → | jespada joins (~jespada@2800:a4:2287:b300:8975:b29a:2f76:2b6a) |
| 11:12:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 272 seconds) |
| 11:13:55 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 11:13:57 | × | ash3en quits (~Thunderbi@89.56.182.235) (Client Quit) |
| 11:18:30 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 11:20:55 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 11:21:13 | → | Googulator joins (~Googulato@81.183.235.203) |
| 11:22:21 | → | krei-se joins (~krei-se@tmo-122-100.customers.d1-online.com) |
| 11:27:16 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) |
| 11:32:04 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) (Ping timeout: 260 seconds) |
| 11:32:42 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:39:16 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:43:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 11:45:57 | Catty | is now known as catties |
| 11:46:19 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:52:47 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 11:59:13 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:59:21 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 12:03:11 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 12:03:15 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) |
| 12:08:12 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) (Ping timeout: 268 seconds) |
| 12:25:00 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:26:18 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180::ac59) |
| 12:28:16 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) |
| 12:29:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 12:35:04 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:1dae:32e7:eb8f:9ff5) (Ping timeout: 260 seconds) |
| 12:36:33 | → | weary-traveler joins (~user@user/user363627) |
| 12:37:57 | × | jespada quits (~jespada@2800:a4:2287:b300:8975:b29a:2f76:2b6a) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:42:18 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 12:43:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 12:45:56 | → | jespada joins (~jespada@2800:a4:2287:b300:8975:b29a:2f76:2b6a) |
| 12:47:00 | → | user363627 joins (~user@user/user363627) |
| 12:47:38 | × | jespada quits (~jespada@2800:a4:2287:b300:8975:b29a:2f76:2b6a) (Client Quit) |
| 12:47:51 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 276 seconds) |
| 12:50:11 | → | zungi joins (~tory@user/andrewchawk) |
| 12:53:33 | → | jespada joins (~jespada@2800:a4:2287:b300:14dd:3f9b:b5e:2a0a) |
| 13:03:23 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 13:07:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:09:23 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:13:49 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:14:23 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:14:23 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 13:14:28 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:18:35 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 13:20:51 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 13:21:24 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 13:28:12 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 13:28:25 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 13:31:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:31:42 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:38:39 | × | krei-se quits (~krei-se@tmo-122-100.customers.d1-online.com) (Ping timeout: 260 seconds) |
| 13:39:35 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 13:39:51 | → | Googulator joins (~Googulato@81.183.235.203) |
| 13:40:54 | JuanDaugherty | is now known as ColinRobinson |
| 13:42:24 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 246 seconds) |
| 13:45:01 | → | Tisoxin6 joins (~Ikosit@user/ikosit) |
| 13:45:33 | × | jespada quits (~jespada@2800:a4:2287:b300:14dd:3f9b:b5e:2a0a) (Ping timeout: 246 seconds) |
| 13:46:03 | Tisoxin6 | is now known as Ikosit |
| 13:48:36 | → | jespada joins (~jespada@2800:a4:2277:bd00:e966:5c97:ee3a:b4f7) |
| 13:50:08 | × | messewix quits (~jmc@user/messewix) (Ping timeout: 252 seconds) |
| 13:50:15 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 13:50:32 | → | Googulator joins (~Googulato@81.183.235.203) |
| 13:53:46 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:57:26 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:58:18 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 14:00:00 | × | acidjnk quits (~acidjnk@p200300d6e71c4f49ed02b7dcae5e99bf.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 14:00:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:00:55 | → | ft joins (~ft@p508db291.dip0.t-ipconnect.de) |
| 14:04:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 14:08:34 | → | ystael joins (~ystael@user/ystael) |
| 14:11:28 | → | alp joins (~alp@2001:861:8ca0:4940:eb38:3cc7:a5de:ee1b) |
| 14:17:52 | → | krei-se joins (~krei-se@tmo-122-100.customers.d1-online.com) |
| 14:21:50 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 14:25:09 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:25:23 | → | k_hachig_ joins (~k_hachig@bras-base-toroon0964w-grc-83-174-88-30-17.dsl.bell.ca) |
| 14:28:32 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 14:28:32 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 14:28:32 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 14:28:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:28:32 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 14:28:46 | × | alp quits (~alp@2001:861:8ca0:4940:eb38:3cc7:a5de:ee1b) (Remote host closed the connection) |
| 14:28:53 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 14:28:55 | → | infohazards joins (~user@user/fmira) |
| 14:28:57 | → | califax joins (~califax@user/califx) |
| 14:28:57 | → | messewix joins (~jmc@user/messewix) |
| 14:29:01 | → | zungi joins (~tory@user/andrewchawk) |
| 14:29:17 | → | gmg joins (~user@user/gehmehgeh) |
| 14:32:57 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
| 14:34:48 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 14:46:13 | → | acidjnk joins (~acidjnk@p200300d6e71c4f49ed02b7dcae5e99bf.dip0.t-ipconnect.de) |
| 14:46:22 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 14:46:37 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:48:28 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 14:48:33 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 14:50:46 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 14:58:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 14:58:36 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 15:02:57 | → | tv joins (~tv@user/tv) |
| 15:09:56 | → | sprotte24 joins (~sprotte24@p200300d16f15fc004c5e1e0b75aa1cd6.dip0.t-ipconnect.de) |
| 15:13:53 | <tomsmeding> | % import Data.Kind |
| 15:13:53 | <yahb2> | <no output> |
| 15:14:00 | <tomsmeding> | % data Strange = Strange Type |
| 15:14:00 | <yahb2> | <no output> |
| 15:14:44 | <tomsmeding> | I know that with -XDataKinds, e.g. `Strange Int` is a type of kind `Strange`. Can I create _values_ of type `Strange`? |
| 15:14:49 | <tomsmeding> | surely not, right? |
| 15:15:03 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
| 15:16:51 | <tomsmeding> | the GHC diagnostics when you try are a bit odd, though -- looks like some heuristic that doesn't quite apply here: |
| 15:16:56 | <tomsmeding> | % Strange 'a' |
| 15:16:56 | <yahb2> | <interactive>:351:9: error: [GHC-83865] ; • Expected a type, but ‘'a'’ has kind ‘Char’ ; • In the first argument of ‘Strange’, namely ‘'a'’ ; In the expression: Strange 'a' ; In... |
| 15:17:19 | <tomsmeding> | it talks about types and kinds, whereas I'm very solidly in a value context |
| 15:18:59 | <enikar> | the constructor Strange expects a Type, it is its definition, isn't it? |
| 15:19:11 | <Leary> | % :t Strange undefined |
| 15:19:11 | <yahb2> | Strange undefined :: Strange |
| 15:19:15 | <tomsmeding> | yes -- but that makes no sense in a value context! |
| 15:19:23 | <tomsmeding> | Leary: right. :P |
| 15:19:32 | <geekosaur> | % :k Strange |
| 15:19:32 | <yahb2> | Strange :: * |
| 15:19:34 | <Leary> | It expects a value of type `Type`, of which there is one. |
| 15:19:46 | <tomsmeding> | % data Strange' = Strange' !Type |
| 15:19:46 | <yahb2> | <no output> |
| 15:19:56 | <tomsmeding> | % Strange' undefined |
| 15:19:56 | <yahb2> | <interactive>:363:1: error: [GHC-39999] ; • No instance for ‘Show Strange'’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; • In a stmt of an interactive GHCi command: ; ... |
| 15:20:02 | <tomsmeding> | % Strange' undefined `seq` () |
| 15:20:02 | <yahb2> | *** Exception: Prelude.undefined ; ; HasCallStack backtrace: ; undefined, called at <interactive>:365:10 in interactive:Ghci80 |
| 15:20:09 | <tomsmeding> | here, Strange' now has 0 values? |
| 15:20:42 | <kuribas> | tomsmeding: no, because haskell has no runtime values that are types. |
| 15:21:00 | <kuribas> | tomsmeding: but I would rename the constructor to avoid confusion. |
| 15:21:04 | <kuribas> | like MkStrange. |
| 15:21:05 | <tomsmeding> | oh, sure |
| 15:21:32 | <geekosaur> | consider that `data` always defines something of kind `Type`, but can be parameterized by any kind |
| 15:21:39 | <tomsmeding> | I wonder why GHC has not re-redeclared TYPE as `type data` instead of `data` (`Type` is just `type Type = TYPE 'LiftedRep`) |
| 15:31:55 | → | comerijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:34:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:35:41 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:38:12 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 15:40:08 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:43:43 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 15:44:09 | × | alecs quits (~alecs@nat16.software.imdea.org) (Remote host closed the connection) |
| 16:02:22 | → | yegorc joins (~yegorc@user/yegorc) |
| 16:03:14 | → | ash3en joins (~Thunderbi@193.32.248.154) |
| 16:04:39 | → | infinity0 joins (~infinity0@pwned.gg) |
| 16:10:48 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 16:11:07 | → | Googulator joins (~Googulato@81.183.235.203) |
| 16:13:44 | × | ash3en quits (~Thunderbi@193.32.248.154) (Quit: ash3en) |
| 16:14:06 | → | floyza joins (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 16:16:52 | <yin> | is anyone here familiar with speedscope? i'm trying to import a .prof file but i get "unrecognized file format" |
| 16:17:40 | → | euandreh joins (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) |
| 16:17:55 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:18:01 | <comerijn> | yin: It's been a while |
| 16:18:09 | ← | yegorc parts (~yegorc@user/yegorc) (Leaving) |
| 16:18:22 | <comerijn> | yin: But last time I did you needed to post-process the output from GHC |
| 16:18:46 | <comerijn> | yin: https://mpickering.github.io/posts/2019-11-07-hs-speedscope.html |
| 16:19:03 | <comerijn> | I dunno if that's changed since then |
| 16:21:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:23:35 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:9b2c:81c3:7d2a:699c) (Remote host closed the connection) |
| 16:25:31 | comerijn | is now known as merijn |
| 16:25:35 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 16:28:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:28:31 | → | euandreh1 joins (~Thunderbi@189.6.105.228) |
| 16:29:00 | → | T0NN joins (~T0NN@104.28.198.242) |
| 16:29:53 | × | T0NN quits (~T0NN@104.28.198.242) (Client Quit) |
| 16:30:13 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 16:30:32 | → | Googulator joins (~Googulato@81.183.235.203) |
| 16:31:13 | → | T0NN joins (~T0NN@104.28.198.242) |
| 16:32:11 | × | T0NN quits (~T0NN@104.28.198.242) (Client Quit) |
| 16:32:24 | × | euandreh quits (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Ping timeout: 265 seconds) |
| 16:32:24 | euandreh1 | is now known as euandreh |
| 16:32:36 | <yin> | merijn: ty |
| 16:35:16 | → | T0NN joins (~T0NN@2404:c0:2a10::1027:e242) |
| 16:35:59 | ← | T0NN parts (~T0NN@2404:c0:2a10::1027:e242) () |
| 16:36:49 | × | jespada quits (~jespada@2800:a4:2277:bd00:e966:5c97:ee3a:b4f7) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:40:28 | <yin> | is there a more current alternative? |
| 16:40:48 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:40:57 | <merijn> | Not sure, you can try asking in #ghc |
| 16:43:51 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:45:50 | → | notdabs joins (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) |
| 16:47:29 | → | sprotte24_ joins (~sprotte24@p200300d16f178d004c5e1e0b75aa1cd6.dip0.t-ipconnect.de) |
| 16:48:05 | → | sprotte24___ joins (~sprotte24@p200300d16f178d00a8beb803116be859.dip0.t-ipconnect.de) |
| 16:50:09 | × | sprotte24 quits (~sprotte24@p200300d16f15fc004c5e1e0b75aa1cd6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:52:06 | × | sprotte24_ quits (~sprotte24@p200300d16f178d004c5e1e0b75aa1cd6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 16:52:21 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:53:33 | → | aman joins (~aman@user/aman) |
| 16:56:54 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 16:58:17 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 16:58:31 | → | Googulator joins (~Googulato@81.183.235.203) |
| 16:58:31 | <byorgey> | c_wraith: just saw your comment about diagrams not being updated since GHC 9.0. I'm curious where you're getting that from (i.e. is there something that should be updated that I missed?) but in general, no, that is not the case, I try to keep diagrams relatively up-to-date |
| 16:59:00 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 16:59:33 | → | gmg joins (~user@user/gehmehgeh) |
| 17:00:56 | <merijn> | ok, so it's been a while since I was actively writing Haskell. Did HLS become less of a PITA to install since I last attempted to use it? |
| 17:01:00 | <c_wraith> | byorgey: it came from me messing up my dependencies |
| 17:02:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:03:04 | <c_wraith> | byorgey: in particular, I didn't need to pull in diagrams-svg, and I missed that diagrams-core has a different version bound range than the rest. |
| 17:03:10 | <geekosaur> | merijn, these days ghcup installs it for you and it just works, ignoring editor-side nonsense |
| 17:03:37 | <geekosaur> | although it's about to be broken by ghc 9.6.7 and 9.12.2, I think |
| 17:03:51 | <merijn> | geekosaur: I'm guessing I should suck it up and start using ghcup then >.> |
| 17:04:03 | → | mrmr joins (~mrmr@user/mrmr) |
| 17:04:21 | <geekosaur> | I've found it a much nicer experience than manual management of ghc etc. installs |
| 17:04:39 | <c_wraith> | byorgey: and diagrams-core < 1.5 does require GHC < 9 |
| 17:04:51 | <merijn> | geekosaur: I had a really nice and simple system for that, though :p |
| 17:05:55 | <haskellbridge> | <sm> ghcup is pretty simple too ? |
| 17:05:56 | <geekosaur> | I did too, until hvr went away 😞 |
| 17:07:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:07:57 | <merijn> | sm: The problem isn't the simplicity of the tool or not. It's that I (unlike 90% of the world, seemingly) hate adjust my shell environment to tools, rather than the other way around :p |
| 17:08:22 | <merijn> | sm: And I had a setup I was happy with for years before ghcup existed and I refuse to adapt :p |
| 17:08:44 | → | jespada joins (~jespada@2800:a4:2277:bd00:e966:5c97:ee3a:b4f7) |
| 17:08:47 | <c_wraith> | all you're doing is putting the GHC binaries in your path. it's not like it's rvm or something |
| 17:09:56 | <merijn> | c_wraith: I mean, that's all I was doing before too :p |
| 17:10:08 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 17:10:23 | → | Googulator joins (~Googulato@81.183.235.203) |
| 17:10:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:10:55 | <c_wraith> | now rvm was a terrifying experience. change directories and a bunch of scripts automatically run to update your environment |
| 17:11:14 | <merijn> | c_wraith: oof |
| 17:11:40 | <merijn> | I already get an aneurysm when installers/programs try to automatically adjust my .profile |
| 17:12:06 | <merijn> | because they always do things that 1) don't work and/or 2) break my .profile |
| 17:13:26 | <mauke> | which one was it that adds an unterminated line to .profile? was that ghcup? |
| 17:13:34 | <haskellbridge> | <sm> I think the underlying problem is that shell configuration management sucks |
| 17:14:36 | <merijn> | The main problem is "most people don't want to actually configure and/or manage their shell, so their shell files are a pile of garbage they keep appending too" |
| 17:14:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 17:15:01 | <merijn> | and then people start developing tools that assume "my shell config is a pile of garbage, so everyone else's must be too" |
| 17:15:47 | <merijn> | mauke: My .profile ends up execing tmux, so if they append to it, that code never even gets reached >.> |
| 17:17:51 | <mauke> | easy to fix, at least |
| 17:18:12 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 17:20:03 | <merijn> | But over the years I've created a lovingly crafted setup with scripts to update/setup new machines, etc. so tools trampling all over that is a pet peeve |
| 17:21:13 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:23:53 | <haskellbridge> | <maerwald> Appending stuff to shell config is optional |
| 17:24:15 | <haskellbridge> | <maerwald> The rest is FUD |
| 17:27:29 | → | gmg joins (~user@user/gehmehgeh) |
| 17:29:05 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 17:29:07 | × | gmg quits (~user@user/gehmehgeh) (Client Quit) |
| 17:29:18 | → | gmg joins (~user@user/gehmehgeh) |
| 17:29:18 | → | Googulator joins (~Googulato@81.183.235.203) |
| 17:29:42 | <merijn> | maerwald: I think we already left ghcup in that discussion ;) |
| 17:30:05 | <merijn> | I don't think anyone meant ghcup did that |
| 17:33:13 | × | euandreh quits (~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds) |
| 17:35:55 | × | notdabs quits (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) (Remote host closed the connection) |
| 17:36:17 | → | notdabs joins (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) |
| 17:40:09 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:50:02 | → | sprotte24 joins (~sprotte24@p5b039601.dip0.t-ipconnect.de) |
| 17:50:06 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 17:51:18 | × | Googulator quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 17:51:57 | × | sprotte24___ quits (~sprotte24@p200300d16f178d00a8beb803116be859.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 17:53:06 | <merijn> | hmm, is there any good github action setups for running tests? Apparently the old haskell-ci generated setup I was using is broken on the github action runners |
| 17:55:23 | × | sprotte24 quits (~sprotte24@p5b039601.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 17:56:14 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:56:21 | → | euandreh1 joins (~Thunderbi@189.6.105.228) |
| 17:56:37 | × | euandreh quits (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 17:56:38 | euandreh1 | is now known as euandreh |
| 17:56:39 | → | sprotte24 joins (~sprotte24@p5dd5dcc5.dip0.t-ipconnect.de) |
| 17:57:05 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:57:27 | × | vpan quits (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 18:00:12 | <int-e> | merijn: try the git version of haskell-ci (they've more or less stopped uploading to hackage) |
| 18:00:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 18:02:31 | × | euandreh quits (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 18:03:41 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 18:03:43 | → | sprotte24_ joins (~sprotte24@p200300d16f054f0041e3c51abbee77e7.dip0.t-ipconnect.de) |
| 18:04:29 | <merijn> | int-e: I'll give that a try |
| 18:05:33 | × | sprotte24 quits (~sprotte24@p5dd5dcc5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 18:07:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:07:32 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 18:08:16 | × | sprotte24_ quits (~sprotte24@p200300d16f054f0041e3c51abbee77e7.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:08:28 | <Leary> | merijn: There's also https://github.com/Kleidukos/get-tested |
| 18:09:42 | → | sprotte24 joins (~sprotte24@p200300d16f17710050e27d87556d9471.dip0.t-ipconnect.de) |
| 18:11:26 | <merijn> | Leary: from the start of the readme that seems to require a single cabal file |
| 18:11:34 | <merijn> | So that's a non-starter |
| 18:12:00 | <merijn> | Somewhat relatedly: Did hackage get something resembling a proper UI for multi-library packages when I wasn't looking the past year? |
| 18:13:41 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 18:14:12 | <Leary> | Looks to've; I saw this recently: https://hackage.haskell.org/package/monoidmap |
| 18:14:28 | → | sprotte24_ joins (~sprotte24@p200300d16f3ba600b05794efbc074254.dip0.t-ipconnect.de) |
| 18:14:54 | <Leary> | Though it seems like you have to build and upload the docs of dependencies manually if you want them to link. |
| 18:15:31 | <merijn> | \o/ |
| 18:15:32 | <merijn> | Thank god |
| 18:17:08 | × | sprotte24 quits (~sprotte24@p200300d16f17710050e27d87556d9471.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:17:58 | <tomsmeding> | o wow |
| 18:18:12 | × | m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 268 seconds) |
| 18:18:16 | <tomsmeding> | super nice, now have dependencies split out over components. :3 |
| 18:18:20 | <haskellbridge> | <Liamzee> this is really cool |
| 18:19:07 | <haskellbridge> | <Liamzee> sm: since you know the hackage devs? |
| 18:20:36 | × | notdabs quits (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) (Quit: Leaving) |
| 18:25:54 | <__monty__> | merijn: TBF .profile is for env setup, why wouldn't you put starting Tmux in the appropriate rc file? |
| 18:29:51 | <merijn> | __monty__: .profile is "what gets executed on shell login" |
| 18:29:58 | <merijn> | __monty__: It is *absolutely* the correct place |
| 18:30:12 | <merijn> | rc files are for interactive non-login shells |
| 18:30:47 | <merijn> | tomsmeding: I can finally kill the maintenance nightmare that is updating several packages in lockstep >.> |
| 18:31:19 | <tomsmeding> | can you depend on sublibraries now in cabal packages too |
| 18:31:21 | <tomsmeding> | ? |
| 18:31:44 | <merijn> | You've been able to do that since 2022, afaik? |
| 18:31:49 | <tomsmeding> | cool |
| 18:32:01 | <merijn> | If you use an appropriately new cabal-version, obv |
| 18:32:05 | <tomsmeding> | right |
| 18:36:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:41:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:46:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 18:53:19 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 18:53:29 | × | euandreh quits (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 18:53:45 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 18:54:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:55:49 | × | sprotte24_ quits (~sprotte24@p200300d16f3ba600b05794efbc074254.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 18:58:36 | → | euandreh1 joins (~Thunderbi@191.222.53.80) |
| 18:59:06 | → | sprotte24 joins (~sprotte24@p200300d16f082100b05794efbc074254.dip0.t-ipconnect.de) |
| 19:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:15 | × | euandreh quits (~Thunderbi@189.6.105.228) (Ping timeout: 252 seconds) |
| 19:00:16 | euandreh1 | is now known as euandreh |
| 19:00:48 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:00:50 | → | caconym joins (~caconym@user/caconym) |
| 19:08:21 | → | sprotte24_ joins (~sprotte24@p200300d16f0ad5004cde9681c361e4a5.dip0.t-ipconnect.de) |
| 19:09:23 | × | sprotte24 quits (~sprotte24@p200300d16f082100b05794efbc074254.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 19:10:03 | × | sprotte24_ quits (~sprotte24@p200300d16f0ad5004cde9681c361e4a5.dip0.t-ipconnect.de) (Client Quit) |
| 19:12:17 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 19:15:15 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 19:16:08 | → | ash3en joins (~Thunderbi@193.32.248.154) |
| 19:19:22 | → | sprotte24 joins (~sprotte24@p200300d16f0ad5004cde9681c361e4a5.dip0.t-ipconnect.de) |
| 19:20:27 | × | aman quits (~aman@user/aman) (Ping timeout: 276 seconds) |
| 19:24:15 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 19:27:04 | × | sprotte24 quits (~sprotte24@p200300d16f0ad5004cde9681c361e4a5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 19:28:16 | → | sprotte24 joins (~sprotte24@p200300d16f180c00a8483bbf63702d71.dip0.t-ipconnect.de) |
| 19:28:23 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:28:49 | → | zungi joins (~tory@user/andrewchawk) |
| 19:30:55 | → | pavonia joins (~user@user/siracusa) |
| 19:32:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 19:37:57 | × | sprotte24 quits (~sprotte24@p200300d16f180c00a8483bbf63702d71.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 19:39:31 | <merijn> | argh, now my tests fail because some jerk didn't update their library |
| 19:39:38 | <merijn> | (it me, I'm the jerk >.>) |
| 19:40:24 | × | k_hachig_ quits (~k_hachig@bras-base-toroon0964w-grc-83-174-88-30-17.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 19:42:31 | → | Guest0 joins (~Guest0@2a00:20:40:8589:e873:2ca5:e8eb:42d4) |
| 19:42:42 | × | Guest0 quits (~Guest0@2a00:20:40:8589:e873:2ca5:e8eb:42d4) (Client Quit) |
| 19:43:42 | → | Guest0 joins (~Guest0@2a00:20:40:8589:e873:2ca5:e8eb:42d4) |
| 19:45:21 | × | Guest0 quits (~Guest0@2a00:20:40:8589:e873:2ca5:e8eb:42d4) (Client Quit) |
| 19:47:39 | <merijn> | hmm, was there any tool to check which dependency don't match the latest released version? |
| 19:48:34 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:49:25 | → | wildtrees joins (~user@pool-108-26-34-230.syrcny.east.verizon.net) |
| 19:49:41 | <int-e> | maybe? `cabal install --dry-run` will tell you when it picks a version that isn't the latest? |
| 19:50:59 | <merijn> | int-e: I already found what I was thinking of: https://packdeps.haskellers.com/feed?needle=paramtree |
| 19:52:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:52:59 | ljdarj1 | is now known as ljdarj |
| 19:53:00 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:53:01 | <int-e> | good to know |
| 19:57:03 | → | m1dnight joins (~m1dnight@d8D861908.access.telenet.be) |
| 20:02:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 20:02:37 | <merijn> | hmm, well that's interesting... |
| 20:03:01 | <merijn> | The most recent hackage release of my library is more recent than the most recent commit on github |
| 20:05:01 | → | sprotte24 joins (~sprotte24@p200300d16f10c900a4acb6372127f929.dip0.t-ipconnect.de) |
| 20:06:22 | → | a_fantom joins (~fantom@2.219.56.221) |
| 20:08:31 | × | fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 20:14:07 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:17:26 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 20:18:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 20:22:10 | <Rembane> | Time travelling Hackage! |
| 20:22:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:22:48 | <merijn> | More like: I published a commit from some old work laptop and never pushed that commit to github before handing in the machine :p |
| 20:26:11 | → | k_hachig_ joins (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-35.dsl.bell.ca) |
| 20:29:09 | <int-e> | or github lost it (unlikely, but how would you know? :-) ) |
| 20:30:11 | <merijn> | Given that I've retired a number of laptops since that last release that scenario seems more likely ;) |
| 20:34:04 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 20:36:20 | → | Googulator joins (~Googulato@2a01-036d-0106-4b74-69d5-4465-d31e-01da.pool6.digikabel.hu) |
| 20:38:29 | <merijn> | Is sqlite-simple still the way to go? A few years ago Selda seemed promising, but that seems to have mostly petered out and died |
| 20:42:29 | <merijn> | Seems so, opaleye-sqlite seems to have died years ago, so the only competition left is persistent |
| 20:42:54 | <EvanR> | haskelldb :sunglasses: |
| 20:43:54 | <merijn> | How come it's the year of our lord 2025 and Haskell still doesn't have a decent SQLite library >.< |
| 20:44:10 | <EvanR> | what's wrong with sqlite-simple again |
| 20:44:56 | <merijn> | EvanR: I want something *slightly* higher level in terms of being able to define mappings between DB representation and domain data and managing migrations |
| 20:45:12 | <merijn> | With sqlite-simple I have to handroll all the validation stuff |
| 20:45:25 | <EvanR> | does any sqlite library have that |
| 20:46:38 | <EvanR> | or its considered not a sqlite specific feature, it being considered a backend |
| 20:46:39 | <merijn> | Well, a bunch try |
| 20:47:01 | <merijn> | EvanR: I wouldn't consider it anything sqlite specific |
| 20:47:02 | <EvanR> | sqlite itself definitely has nothing to help there |
| 20:47:25 | <merijn> | EvanR: I mean, it's the stuff I want for ANY SQL library |
| 20:47:28 | <EvanR> | with the bizarre untyped columns |
| 20:47:32 | <merijn> | I just happen to want it for sqlite specifically |
| 20:47:40 | <merijn> | EvanR: You're way out of date |
| 20:47:46 | <EvanR> | ? |
| 20:47:52 | <merijn> | EvanR: sqlite added support for a strict typed mode ages ago |
| 20:47:57 | <EvanR> | when |
| 20:48:11 | <merijn> | I'm thinking at least 2 years ago? |
| 20:48:17 | <geekosaur> | several years ago at least but I don't recall details |
| 20:48:33 | <merijn> | SQLite supports a strict typing mode, as of version 3.37.0 (2021-11-27) |
| 20:48:47 | <merijn> | according to their docs |
| 20:49:03 | <merijn> | But none of the none SQLite libraries seem to do well at this either |
| 20:49:12 | <EvanR> | my brain will have to remap now |
| 20:49:42 | <merijn> | EvanR: It was my one complaint about SQL and it's been fixed for years ;) |
| 20:49:58 | <merijn> | EvanR: It's still opt-in, but at least you can |
| 20:50:35 | <merijn> | BEAM, hasql, and haskelldb (still) look nightmarish to me. Persistent is more work than it helps |
| 20:50:50 | <merijn> | opaleye's sqlite support is dead for a decade |
| 20:51:03 | <merijn> | Selda looked promising, but seems to have died before going anywhere a few years ago |
| 20:51:30 | <merijn> | So the options seem to be sqlite-simple, persistent, or giving up :p |
| 20:53:21 | × | jespada quits (~jespada@2800:a4:2277:bd00:e966:5c97:ee3a:b4f7) (Quit: Textual IRC Client: www.textualapp.com) |
| 20:53:29 | <merijn> | I was hoping to not first have to invent my own SQL library before working on what I was actually planning too xD |
| 20:53:34 | <EvanR> | haskell ORM |
| 20:53:44 | <EvanR> | it would be the killer app |
| 20:53:47 | <merijn> | I definitely do *not* want an ORM |
| 20:53:54 | <EvanR> | haskell on a horse |
| 20:53:55 | <merijn> | I want, the opposite thing |
| 20:54:14 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 20:54:31 | <merijn> | Really I just want an easy to define a schema for database interaction with automatic checks |
| 20:54:43 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 20:55:12 | → | jespada joins (~jespada@2800:a4:2277:bd00:21cc:8f16:2b0e:a0d9) |
| 20:55:17 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 20:55:23 | <Rembane> | That sounds like a thing that could be useful in many other contexts too |
| 20:56:45 | <EvanR> | someone should make a new SQL RDBMS which has this feature built in |
| 20:56:55 | <EvanR> | so libraries can stop reinventing the wheel |
| 20:57:23 | <merijn> | I already built this in Scala, so I guess I will just...rebuild it in SQLite >.> |
| 20:58:30 | <EvanR> | you think that's easier than using persistent? |
| 20:59:31 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:59:48 | <merijn> | If I want my code to be correct, yes :p |
| 21:01:15 | <merijn> | EvanR: I've used persistent quite heavily before and the result is...a significant percentage of the codebase being dedicated to me handrolling my own custom migration implementation on top off persistent to ensure it actually, you know, worked. |
| 21:03:07 | <merijn> | Unrelatedly, I'm getting bullied by GHC 9.10. Anyone know of a way to silence this error https://paste.tomsmeding.com/ozX8RUOM that is not 1) removing the import or 2) CPP? |
| 21:03:46 | × | kimiamania8 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:03:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 21:04:08 | <int-e> | don't use -Werror |
| 21:04:09 | → | kimiamania8 joins (~65804703@user/kimiamania) |
| 21:04:59 | <merijn> | Technically that does not, in fact, silence this error :p |
| 21:05:24 | <merijn> | They should stop randomly moving definitions around in base >.< |
| 21:07:27 | <int-e> | merijn: oh there's always the terrible idea of having several hs-source-dirs |
| 21:07:47 | <merijn> | int-e: github to the rescue |
| 21:07:54 | <merijn> | I can add "import Prelude hiding (Foldable(..))" |
| 21:08:05 | <int-e> | ohright |
| 21:08:32 | <int-e> | actually can you? does that work with old ghcs? |
| 21:09:03 | <int-e> | ah you can |
| 21:09:13 | <int-e> | because the change is that foldl' was added to the Foldable class |
| 21:09:19 | <merijn> | Depends on how you define old :p |
| 21:09:30 | <int-e> | "older than 9.10" in this case |
| 21:10:54 | × | k_hachig_ quits (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-35.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 21:11:21 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:12:57 | → | sprotte24_ joins (~sprotte24@p200300d16f1a42002830799ca67052dd.dip0.t-ipconnect.de) |
| 21:15:23 | × | sprotte24 quits (~sprotte24@p200300d16f10c900a4acb6372127f929.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 21:22:34 | × | sprotte24_ quits (~sprotte24@p200300d16f1a42002830799ca67052dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:30:45 | → | k_hachig_ joins (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-35.dsl.bell.ca) |
| 21:33:11 | → | sprotte24 joins (~sprotte24@p5b039fe3.dip0.t-ipconnect.de) |
| 21:41:04 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 21:41:32 | → | EvanR joins (~EvanR@user/evanr) |
| 21:44:14 | × | sprotte24 quits (~sprotte24@p5b039fe3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:46:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:46:39 | → | sprotte24 joins (~sprotte24@p200300d16f1d9400c14d936eb8b0eb68.dip0.t-ipconnect.de) |
| 21:50:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 21:51:11 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 21:56:47 | tabemann_ | is now known as tabemann |
| 21:56:48 | × | sprotte24 quits (~sprotte24@p200300d16f1d9400c14d936eb8b0eb68.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:57:54 | → | sprotte24 joins (~sprotte24@p200300d16f1b4500903f0b4af2f5d164.dip0.t-ipconnect.de) |
| 21:58:09 | catties | is now known as Catty |
| 22:07:33 | → | bilegeek joins (~bilegeek@2600:1008:b08d:a1ac:d7c1:7431:f065:3679) |
| 22:16:17 | → | weary-traveler joins (~user@user/user363627) |
| 22:18:13 | × | ash3en quits (~Thunderbi@193.32.248.154) (Quit: ash3en) |
| 22:19:52 | haritz | is now known as saimazoon |
| 22:20:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:25:48 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 245 seconds) |
| 22:26:08 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 22:26:20 | <merijn> | Is there an easy way to check whether your cabal file lists unused dependencies? |
| 22:26:58 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:27:46 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 22:29:18 | × | jespada quits (~jespada@2800:a4:2277:bd00:21cc:8f16:2b0e:a0d9) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 22:30:37 | <tomsmeding> | merijn: https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag-Wunused-packages ? |
| 22:30:40 | <geekosaur> | they all get passed to ghc, so I'd expect `-Wunused-packages` to do it |
| 22:30:47 | <tomsmeding> | jinx |
| 22:31:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:32:18 | <geekosaur> | but afaik there's no way to do it without building, since cabal has no clue about your source code, that all gets handed off to ghc |
| 22:33:15 | <haskellbridge> | <Liamzee> you can whip up a basic OOP library in any language that supports tuples in a week, right? so that objection is dead. |
| 22:35:25 | <tomsmeding> | Liamzee: FYI if that was a reply, it didn't come through on the irc side, so the person you are replying to didn't get pinged |
| 22:35:53 | <geekosaur> | (scanning back while trying to find context) merijn, I think hackage multi-library packages did improve within the past year, yes. still some glitches though |
| 22:36:30 | <geekosaur> | the bridge handles replies by prepending the display name (nick for irc) of the user being replied to |
| 22:36:35 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 22:36:41 | × | tromp quits (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:37:18 | <haskellbridge> | <Liamzee> tomsmeding: it's just me being me and being irritating as a consequence |
| 22:37:29 | <haskellbridge> | <Liamzee> I know some guy who was complaining that Haskell didn't have dynamic objects, etc, pain to work with ADTs |
| 22:37:44 | <haskellbridge> | <Liamzee> there's HList, I guess, but you can probably make a basic and simpler object library just by using tuples and records within tuples |
| 22:38:20 | → | tromp joins (~textual@2a02:a210:cba:8500:2976:d855:98e3:1901) |
| 22:38:37 | tomsmeding | has no clue which conversation this belongs to, and also it's bedtime here, so off I go :) |
| 22:39:18 | <haskellbridge> | <Liamzee> thanks for being friendly, and have a great night |
| 22:39:34 | <merijn> | geekosaur: That's fine, I'm just trying to make sure I'm not forgetting to remove stuff now that I'm cleaning up] |
| 22:40:12 | → | notdabs joins (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) |
| 22:41:26 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 22:45:06 | × | gawen quits (~gawen@user/gawen) (Ping timeout: 248 seconds) |
| 22:45:08 | → | gawen_ joins (~gawen@user/gawen) |
| 22:54:06 | × | tromp quits (~textual@2a02:a210:cba:8500:2976:d855:98e3:1901) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:54:24 | × | notdabs quits (~Owner@2600:1700:69cf:9000:445:e330:651c:18b8) (Read error: Connection reset by peer) |
| 22:59:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:04:15 | <haskellbridge> | <Bowuigi> Liamzee type-safe OOP is nice with row types, specially when compared to the ADT approach |
| 23:10:35 | <haskellbridge> | <dmjio> Maybe a Haskell-PLT channel should exist … |
| 23:11:24 | × | wildtrees quits (~user@pool-108-26-34-230.syrcny.east.verizon.net) (Remote host closed the connection) |
| 23:13:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:14:36 | <haskellbridge> | <Liamzee> you should get that back with dependent types, no? |
| 23:17:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:18:39 | <haskellbridge> | <Bowuigi> Row types? They are sort of implementable in Haskell now, see https://hackage.haskell.org/package/vinyl or similar |
| 23:18:46 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 23:22:08 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 23:23:07 | <merijn> | hmm, I tried specifying -Wunused-packages in my cabal.project, but it's not actually erroring, sadly |
| 23:23:41 | <merijn> | Possibly an annoying interaction between cabal.project and sublibraries |
| 23:24:30 | <haskellbridge> | <dmjio> Bowuigi: Did HasField get setField yet? Vinyl is 5D chess. |
| 23:27:50 | <merijn> | bleh |
| 23:29:20 | <merijn> | ok, so apparently `package foo` stanzas in cabal.project do NOT apply to sub libraries of foo |
| 23:29:31 | <merijn> | and `package foo:bar` is a parse error |
| 23:29:45 | <merijn> | So how am I supposed to set flags for sub libraries via cabal.project? |
| 23:41:59 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 23:54:37 | × | floyza quits (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 23:54:48 | <haskellbridge> | <dmjio> Looks like setField is getting its own class |
| 23:55:05 | <haskellbridge> | <dmjio> merijn: Does ‘lib’ need to be added |
| 23:59:24 | <geekosaur> | my guess is you need to file an issue |
All times are in UTC on 2025-03-14.