Logs on 2025-11-06 (liberachat/#haskell)
| 00:01:12 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:01:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:03:09 | → | AlexZenon joins (~alzenon@85.174.180.102) |
| 00:07:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 00:09:59 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 00:10:07 | → | connrs joins (~connrs@user/connrs) |
| 00:10:31 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:10:44 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 00:11:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:18:21 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 00:27:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:31:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:34:49 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 00:36:52 | trickard_ | is now known as trickard |
| 00:42:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:51:09 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:51:22 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 00:53:48 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 01:00:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:07:17 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:10:19 | × | otto_s quits (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 01:11:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 01:12:04 | → | otto_s joins (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 01:14:15 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 01:14:46 | × | acidjnk quits (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:16:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:16:49 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 01:19:25 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:20:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:23:44 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 01:24:06 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 01:24:31 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 01:28:40 | × | Googulator95 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 01:28:56 | → | Googulator95 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 01:29:37 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 01:31:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 01:31:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:23 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:33:32 | → | califax joins (~califax@user/califx) |
| 01:36:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:40:08 | <Square> | Sweet, you can define a type family member to be another type family. Please warn me if this is a no go zone. |
| 01:40:30 | × | mikess quits (~sam@user/mikess) (Quit: leaving) |
| 01:40:37 | × | Googulator95 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 01:40:38 | → | Googulator23 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 01:44:07 | → | Pseudonym joins (~Pseudonym@194-223-46-47.tpgi.com.au) |
| 01:47:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:47:22 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 01:47:57 | × | Pseudonym quits (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 01:48:48 | → | Nachtgespenst joins (~user@user/siracusa) |
| 01:50:55 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 01:51:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:56:07 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 02:02:00 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 02:02:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:05:35 | → | prdak joins (~Thunderbi@user/prdak) |
| 02:05:39 | × | Googulator23 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 02:05:40 | → | Googulator39 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 02:06:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:08:54 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:10:49 | × | Googulator39 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 02:11:07 | → | Googulator39 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 02:12:29 | × | annamalai quits (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 02:17:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:20:48 | → | Googulator67 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 02:21:03 | × | Googulator39 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 02:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:24:18 | → | annamalai joins (~annamalai@157.32.112.75) |
| 02:33:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:37:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 02:47:30 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 02:48:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:53:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:58:16 | → | notzmv joins (~umar@user/notzmv) |
| 03:00:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:01:01 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:01:14 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 03:03:06 | → | democritus joins (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 03:03:37 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 03:04:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:05:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 03:07:18 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:10:09 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 03:12:02 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:12:55 | → | pabs3 joins (~pabs3@user/pabs3) |
| 03:14:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 03:15:58 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:19:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:24:06 | → | Googulator26 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 03:24:07 | × | Googulator67 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 03:25:43 | × | Googulator26 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 03:25:44 | × | synchrom1 quits (~john@2406:5a00:2412:2c00:5181:46b:2904:5aac) (Read error: Connection reset by peer) |
| 03:25:46 | → | Googulator40 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 03:26:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:27:05 | → | synchromesh joins (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) |
| 03:28:42 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 03:29:28 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 03:35:02 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 252 seconds) |
| 03:36:00 | → | gabiruh_ joins (~gabiruh@vps19177.publiccloud.com.br) |
| 03:36:37 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 03:36:37 | → | td_ joins (~td@i53870901.versanet.de) |
| 03:37:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:40:45 | trickard_ | is now known as trickard |
| 03:41:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:43:49 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 03:53:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:57:07 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 03:57:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:57:36 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 04:06:02 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 04:08:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:13:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:22:56 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 04:23:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:26:27 | × | Googulator40 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 04:26:41 | → | Googulator40 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 04:28:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:29:23 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 04:39:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:43:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:51:44 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 04:51:44 | → | Zemy joins (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) |
| 04:52:53 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 04:54:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:59 | × | Zemy quits (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) (Ping timeout: 260 seconds) |
| 04:56:46 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 04:59:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:01:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:02:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:05:44 | × | Googulator40 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 05:05:47 | → | Googulator98 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 05:05:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:06:22 | → | Zemy joins (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) |
| 05:06:23 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 05:07:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 05:08:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 05:10:25 | × | Zemy quits (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) (Ping timeout: 246 seconds) |
| 05:10:52 | → | Zemy joins (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) |
| 05:10:52 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 05:11:26 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 05:15:14 | × | Zemy quits (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) (Ping timeout: 260 seconds) |
| 05:16:04 | → | Googulator44 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 05:16:23 | × | Googulator98 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 05:16:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:39 | × | Googulator44 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 05:20:45 | → | Googulator87 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 05:21:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:22:22 | → | matsurago joins (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) |
| 05:32:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:32:07 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 05:32:30 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 05:36:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:37:17 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:47:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:45 | → | Googulator57 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 05:50:47 | × | Googulator87 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 05:51:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:58:59 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 06:02:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:05:20 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 06:05:38 | → | Googulator42 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 06:05:46 | × | Googulator57 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 06:09:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:10:38 | × | Googulator42 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 06:10:46 | → | Googulator42 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 06:13:57 | × | jreicher quits (~user@user/jreicher) (Quit: Out and about) |
| 06:15:05 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:20:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:23:07 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 06:23:40 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 06:25:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 06:25:23 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 06:30:38 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 06:30:47 | × | Googulator42 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 06:35:39 | × | Googulator46 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 06:35:46 | → | Googulator1 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 06:36:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:40:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:50:19 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:50:32 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 06:50:40 | → | Googulator32 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 06:50:47 | × | Googulator1 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 06:51:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:55:36 | × | Googulator32 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 06:55:49 | → | Googulator32 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 06:56:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:57:22 | trickard_ | is now known as trickard |
| 06:59:46 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 07:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:02:51 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 07:06:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:10:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 07:17:36 | × | Googulator32 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 07:17:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:17:50 | → | Googulator32 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 07:22:06 | → | deployonfriday joins (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) |
| 07:22:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:29:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:33:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:34:24 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:37:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:39:30 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 07:48:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:52:25 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:53:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:58:02 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 07:58:31 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 08:02:23 | × | democritus quits (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) (Quit: Leaving) |
| 08:03:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 08:06:21 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 08:06:23 | × | annamalai quits (~annamalai@157.32.112.75) (Ping timeout: 244 seconds) |
| 08:07:51 | → | annamalai joins (~annamalai@157.32.112.75) |
| 08:09:45 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 08:11:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 08:11:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:12:29 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 08:12:29 | prdak1 | is now known as prdak |
| 08:15:39 | → | Googulator77 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 08:15:47 | × | Googulator32 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 08:19:07 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 08:19:32 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:20:48 | × | Googulator77 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 08:21:23 | → | Googulator77 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 08:23:22 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 08:23:40 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:25:40 | → | Googulator59 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 08:25:48 | × | Googulator77 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 08:27:23 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 08:27:50 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:27:50 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 08:28:10 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:29:31 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 08:31:16 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 08:32:38 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 08:32:38 | prdak1 | is now known as prdak |
| 08:36:53 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 08:37:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:45:39 | → | Googulator8 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 08:45:42 | × | Googulator59 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 08:47:44 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 08:49:10 | × | aforemny quits (~aforemny@i59F4C61F.versanet.de) (Ping timeout: 246 seconds) |
| 08:50:48 | → | Googulator16 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 08:50:48 | × | Googulator8 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 08:54:26 | → | acidjnk joins (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) |
| 08:55:34 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:58:31 | → | merijn joins (~merijn@77.242.116.146) |
| 08:59:04 | → | akegalj joins (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 09:02:07 | <akegalj> | Lets say that my cabal file defines library L and executable E. E has dependency on L. if L has ghc-options -O0 and E has ghc-options -O2 , will compiled binary be compiled with optimizations or will just modules defined with E be compiled with optimization and L will be compiled without optimization and they will be linked that way (partially optimized)? |
| 09:02:09 | → | fp1 joins (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) |
| 09:02:43 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 09:02:43 | fp1 | is now known as fp |
| 09:06:33 | <merijn> | akegalj: ghc-options are per component |
| 09:06:44 | <merijn> | akegalj: So L would be compiled with -O0 |
| 09:07:14 | <akegalj> | merijn: thanks! |
| 09:07:54 | <merijn> | Incidentally you should probably just do -O1 for both :p |
| 09:08:18 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 09:08:25 | <merijn> | because O0 is kinda bad and O2 takes quite a bit more compilation time and often has no significant impact over -O2 (but, you know, benchmark to be sure) |
| 09:08:41 | <akegalj> | merijn: thanks |
| 09:14:35 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 09:14:53 | → | prdak joins (~Thunderbi@user/prdak) |
| 09:19:57 | × | fp quits (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) (Remote host closed the connection) |
| 09:24:03 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 09:24:21 | → | prdak joins (~Thunderbi@user/prdak) |
| 09:26:21 | → | fp joins (~Thunderbi@2001:708:150:10::7e06) |
| 09:26:48 | → | califax_ joins (~califax@user/califx) |
| 09:27:58 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 09:28:03 | califax_ | is now known as califax |
| 09:30:30 | AlexNoo_ | is now known as AlexNoo |
| 09:30:36 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 256 seconds) |
| 09:34:18 | → | fp joins (~Thunderbi@130.233.70.136) |
| 09:35:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 09:37:02 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:37:05 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 09:38:29 | × | fp quits (~Thunderbi@130.233.70.136) (Remote host closed the connection) |
| 09:40:33 | × | Googulator16 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 09:40:37 | → | Googulator36 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 09:42:29 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:47:36 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 09:47:57 | → | merijn joins (~merijn@77.242.116.146) |
| 09:48:05 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:48:19 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 09:48:30 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 09:48:42 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 09:50:44 | DetourNe- | is now known as DetourNetworkUK |
| 10:02:01 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 10:03:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 10:03:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:05:55 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 10:06:15 | × | Googulator36 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 10:07:02 | → | prdak joins (~Thunderbi@user/prdak) |
| 10:07:09 | → | dhil joins (~dhil@5.151.29.141) |
| 10:12:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 10:12:19 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:20:41 | → | Googulator23 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 10:20:41 | × | Googulator61 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 10:22:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:23:26 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 10:26:35 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 10:26:59 | → | merijn joins (~merijn@77.242.116.146) |
| 10:28:49 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 10:29:59 | → | chele joins (~chele@user/chele) |
| 10:46:34 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 10:52:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:55:41 | × | Googulator23 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 10:55:42 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 10:59:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 11:00:16 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 11:06:10 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 11:12:48 | → | Guest66 joins (~Guest66@92.241.77.126) |
| 11:13:02 | × | Guest66 quits (~Guest66@92.241.77.126) (Client Quit) |
| 11:17:02 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 11:17:49 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:18:46 | <akegalj> | I have tried to define rts options in compilation with adding `ghc-options: -with-rtsopts="-N -A128m -n2m -qg"` as I got impression that this should work https://ghc.gitlab.haskell.org/ghc/doc/users_guide/runtime_control.html#setting-rts-options-at-compile-time but I get "ghc-9.10.3: unrecognised flag: -A128m" . Is it possible to do this? |
| 11:24:56 | → | __monty__ joins (~toonn@user/toonn) |
| 11:28:06 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 11:28:21 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 11:28:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:c1bd:3ff8:8b46:e15a) |
| 11:28:38 | <Leary> | akegalj: What's written there will work in the shell, but in a cabal file you have to quote differently: `ghc-options: "-with-rtsopts=-N -A128m -n2m -qg"` |
| 11:30:10 | <akegalj> | Leary: ah thanks. I have tried other quoting schemas but didn't try that one. |
| 11:35:05 | → | merijn joins (~merijn@77.242.116.146) |
| 11:39:48 | <akegalj> | Leary: do you maybe know how to do it with hpack? It keeps removing my quotes in generated cabal file |
| 11:40:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:43:13 | × | synchromesh quits (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 11:43:49 | <akegalj> | Leary: aha, made it. |
| 11:44:45 | → | synchromesh joins (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) |
| 11:45:18 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:45:31 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 11:46:05 | → | weary-traveler joins (~user@user/user363627) |
| 11:46:07 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 11:48:13 | → | merijn joins (~merijn@77.242.116.146) |
| 11:52:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 11:52:43 | → | califax joins (~califax@user/califx) |
| 11:54:39 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 11:55:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:57:48 | → | merijn joins (~merijn@77.242.116.146) |
| 12:04:06 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:04:19 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 12:10:21 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:12:52 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 12:14:26 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 12:15:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:17:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 12:17:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:17:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:20:31 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:20:44 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:21:11 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 12:21:48 | → | chiselfu1e joins (~chiselfus@user/chiselfuse) |
| 12:25:28 | → | jreicher joins (~user@user/jreicher) |
| 12:30:48 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 12:31:30 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 12:31:45 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 12:39:01 | → | Zemy joins (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) |
| 12:39:01 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 12:39:36 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 12:43:16 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 12:43:49 | × | Zemy quits (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) (Ping timeout: 260 seconds) |
| 12:47:18 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:48:20 | × | akegalj quits (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 12:49:42 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:49:56 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 12:50:48 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 12:50:49 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 12:50:53 | × | Lycurgus quits (~juan@user/Lycurgus) (Client Quit) |
| 12:56:48 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:58:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 13:07:11 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 13:09:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 13:10:24 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 13:10:36 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:11:25 | → | merijn joins (~merijn@77.242.116.146) |
| 13:15:37 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 13:15:47 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:16:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 13:16:32 | trickard_ | is now known as trickard |
| 13:23:55 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 13:24:54 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 13:24:57 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 13:27:41 | → | merijn joins (~merijn@77.242.116.146) |
| 13:32:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 13:33:21 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:34:58 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 13:35:13 | → | merijn joins (~merijn@77.242.116.146) |
| 13:35:31 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 13:35:36 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:39:02 | → | akegalj joins (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 13:43:43 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 13:43:52 | → | califax joins (~califax@user/califx) |
| 13:46:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 13:48:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:50:13 | → | comerijn joins (~merijn@77.242.116.146) |
| 13:52:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 13:55:36 | → | Googulator81 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 13:55:39 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:00:38 | × | Googulator81 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:00:44 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:09:01 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 14:09:51 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 14:14:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:15:39 | → | Googulator7 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:15:47 | × | Googulator61 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:17:54 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:18:09 | → | califax joins (~califax@user/califx) |
| 14:19:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:20:40 | × | Googulator7 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:20:49 | → | Googulator7 joins (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 14:23:42 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 14:28:43 | → | bggd joins (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 14:34:30 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:34:44 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 14:36:35 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 14:40:35 | × | Googulator7 quits (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 14:40:39 | → | Googulator91 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:45:45 | × | Googulator91 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 14:45:48 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 14:49:47 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:50:00 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 14:50:03 | → | Square2 joins (~Square4@user/square) |
| 14:50:35 | trickard_ | is now known as trickard |
| 14:54:47 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:58:04 | × | deployonfriday quits (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 15:00:26 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 15:00:32 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 15:01:01 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 15:05:03 | × | matsurago quits (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 15:14:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 15:16:54 | Googulator39 | is now known as Googulator |
| 15:18:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:23:58 | trickard_ | is now known as trickard |
| 15:26:29 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 15:29:30 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 15:29:41 | <dutchie> | I'm sure I'm missing something obvious |
| 15:31:05 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 15:32:10 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 15:32:17 | <dutchie> | I got an exception instead of mzero |
| 15:32:35 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 15:32:43 | <dutchie> | MaybeT? |
| 15:33:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 15:34:37 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 15:41:46 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 15:41:49 | → | turlando_ joins (~turlando@user/turlando) |
| 15:43:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:54:16 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 15:58:39 | × | akegalj quits (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 16:03:26 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:04:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 16:04:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:06:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 16:08:47 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 16:11:26 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 16:15:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 16:15:41 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 16:25:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:26:18 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 16:27:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 16:27:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:30:13 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:43:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 16:52:02 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 16:52:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:55:58 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:05:00 | <lyxia> | maybe mzero pure looks ok to me |
| 17:08:21 | <haskellbridge> | <loonycyborg> Does that pure value come out of some action? You could pattern match on it at the point where it originally arises |
| 17:08:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:15:22 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:15:37 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:20:55 | → | Square3 joins (~Square@user/square) |
| 17:24:01 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 17:24:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:29:06 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:29:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:40:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:41:32 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 17:44:08 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 17:47:00 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 17:47:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:49:30 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 17:50:40 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 17:52:20 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 17:58:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:59:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:01:54 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 18:02:14 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 18:03:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:06:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 18:07:48 | → | sherbert joins (d006a0b946@2a03:6000:1812:100::155) |
| 18:08:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:11:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:12:13 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 18:13:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:16:28 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 18:21:10 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:21:23 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 18:24:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:26:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:31:25 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 18:32:13 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:35:49 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:36:56 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 18:40:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:43:26 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 18:43:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:44:03 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 18:44:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:48:23 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 18:54:13 | → | Square2 joins (~Square@user/square) |
| 18:56:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:02:12 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:02:35 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 19:06:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 19:09:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:14:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:17:10 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 19:21:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:24:25 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:24:39 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 19:25:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:29:24 | → | matt` joins (~user@192-184-174-112.fiber.dynamic.sonic.net) |
| 19:30:10 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 19:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:36:30 | → | deployonfriday joins (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) |
| 19:36:35 | × | opencircuit quits (~quassel@user/opencircuit) (Remote host closed the connection) |
| 19:36:44 | → | opencircuit joins (~quassel@user/opencircuit) |
| 19:40:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:41:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:43:50 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:45:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 19:47:06 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 19:47:28 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 19:51:49 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 19:53:26 | matt` | is now known as mcwitt |
| 19:56:22 | × | mcwitt quits (~user@192-184-174-112.fiber.dynamic.sonic.net) (Quit: k) |
| 19:56:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:32 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:57:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 19:59:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:59:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 20:00:36 | × | synchromesh quits (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 20:01:24 | → | synchromesh joins (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) |
| 20:01:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:01:57 | × | dhil quits (~dhil@5.151.29.141) (Quit: Leaving) |
| 20:02:26 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 20:04:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:05:30 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 20:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:10:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:15:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:18:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:21:30 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 20:26:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:28:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:28:59 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:32:04 | → | Square2 joins (~Square4@user/square) |
| 20:33:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:34:06 | <monochrom> | :( pattern guard doesn't introduce variables into a scope I would like. |
| 20:34:48 | <monochrom> | I wanted to have: f x | Just r <- something = ... where foo = ... r ... |
| 20:35:40 | <EvanR> | seems like a bug... what is where officially supposed to be able to see |
| 20:36:28 | <monochrom> | I suppose the sanctioned way is: Just r <- something, let foo = ... r ... |
| 20:36:29 | trickard_ | is now known as trickard |
| 20:37:21 | <monochrom> | I can do that. It's OK. :) |
| 20:38:12 | <monochrom> | In my example, where is supposed to see x and f only. |
| 20:38:43 | <monochrom> | The converse though is wider. A guard (pattern or boolean) can see everything defined under where. |
| 20:40:41 | <EvanR> | so there's a sort of event horizon |
| 20:41:11 | <EvanR> | or one way mirror |
| 20:41:24 | <monochrom> | And it's assymetric too. Those uni-directional films you can paste on your window :) |
| 20:41:34 | <monochrom> | yeah :) |
| 20:44:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:45:42 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 20:48:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:52:18 | × | myme quits (~myme@2a01:799:d5e:5f00:ffab:db87:b0e2:97dd) (Ping timeout: 256 seconds) |
| 20:53:25 | → | myme joins (~myme@2a01:799:d5e:5f00:1a24:4c46:2ec0:9128) |
| 21:00:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:05:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:07:48 | × | bggd quits (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) (Ping timeout: 260 seconds) |
| 21:08:38 | <__monty__> | Where ranges over all the definitions, no? So in general you can't assume an `r` would be in scope in the where. |
| 21:09:54 | <EvanR> | where is attached to only 1 definition |
| 21:11:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:13:37 | <__monty__> | Oh, you're right. It's always closer to let than I would like. I suppose it's like an outer let? |
| 21:14:22 | <geekosaur> | where scopes over guards, but not independent equations |
| 21:14:25 | <geekosaur> | iirc |
| 21:15:19 | <__monty__> | Wait, no, that's what I meant. I shouldn't've said definitions. |
| 21:15:24 | <EvanR> | one defining equation |
| 21:15:40 | <__monty__> | The report calls it `gdrhs`. |
| 21:15:50 | <EvanR> | catchy |
| 21:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:19:45 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 21:21:38 | × | deployonfriday quits (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) (Ping timeout: 265 seconds) |
| 21:21:44 | <jackdk> | monochrom: I don't suppose you've tried indenting the `where` further so it's within the alternative? |
| 21:21:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 21:22:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 21:26:46 | → | ystael joins (~ystael@user/ystael) |
| 21:27:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:27:58 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 21:32:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:36:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:39:08 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:42:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:47:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:58:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 21:58:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:05 | <monochrom> | I tried. It's not meant to be! |
| 22:03:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 22:07:53 | <dolio> | monochrom: You don't need let. You just need more pattern guards. |
| 22:08:11 | <dolio> | Just r <- something, foo <- ... r ... = ... |
| 22:08:44 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) |
| 22:11:23 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 22:11:35 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 22:12:40 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:12:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:17:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:18:56 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 22:23:32 | × | ubert quits (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 22:23:50 | → | ubert joins (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) |
| 22:28:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:28:45 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 22:29:52 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:30:05 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 22:33:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:34:49 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 264 seconds) |
| 22:35:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 22:38:35 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:38:49 | → | gmg joins (~user@user/gehmehgeh) |
| 22:38:57 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:40:22 | → | Zemy_ joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 22:42:01 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:42:26 | → | Core4520 joins (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) |
| 22:42:51 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) (Read error: Connection reset by peer) |
| 22:44:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:43 | × | Zemy_ quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 244 seconds) |
| 22:45:17 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 22:47:25 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 22:48:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:51:01 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 22:52:08 | → | ystael joins (~ystael@user/ystael) |
| 22:53:39 | <Square2> | Hey. Are type family instances defined as other type families encouraged? It seems to work really well. |
| 22:54:13 | <Lycurgus> | then y do u care? |
| 22:54:33 | <Square2> | was that for me? |
| 22:54:46 | <Lycurgus> | unless u suspect it is just a seeming |
| 22:55:34 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 22:55:36 | <geekosaur> | I can't think of any reason to avoid it as long as it's documented because it might be a bit confusing? |
| 22:55:42 | <Square2> | I never seen it examples. I thought I verify it's okey to use cause I will use it for a central feature. |
| 22:55:53 | <Square2> | it in* |
| 22:56:40 | <Square2> | Definitely, it is alien for sure. |
| 22:58:35 | → | Zemy joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 22:59:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:59:56 | × | Zemy quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Read error: Connection reset by peer) |
| 23:00:04 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) |
| 23:00:39 | → | Zemy_ joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 23:00:42 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) (Read error: Connection reset by peer) |
| 23:00:58 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) |
| 23:01:12 | × | Core4520 quits (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) (Ping timeout: 260 seconds) |
| 23:04:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 23:04:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:04:54 | × | Zemy_ quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 23:05:20 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 23:08:46 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 23:13:08 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:13:09 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 23:13:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:14:13 | → | Zemy_ joins (~Zemy@mobile-107-80-206-18.mycingular.net) |
| 23:15:11 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) (Read error: Connection reset by peer) |
| 23:15:31 | → | Zemy joins (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) |
| 23:16:02 | <monochrom> | dolio: Haha I didn't think of that. |
| 23:18:42 | × | Zemy_ quits (~Zemy@mobile-107-80-206-18.mycingular.net) (Ping timeout: 260 seconds) |
| 23:20:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:30:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 23:30:49 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:31:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:33:52 | × | Zemy quits (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) (Ping timeout: 260 seconds) |
| 23:36:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:41:02 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 23:43:16 | Googulator99 | is now known as Googulator |
| 23:43:23 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 23:43:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:47:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:49:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:52:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:53:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 23:57:56 | → | Square3 joins (~Square@user/square) |
All times are in UTC on 2025-11-06.