| 2023-07-20 00:01:05 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
| 2023-07-20 00:01:59 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 00:03:32 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-07-20 00:05:46 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 00:07:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-20 00:08:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-20 00:11:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 240 seconds) |
| 2023-07-20 00:12:44 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-20 00:19:44 +0200 | slack1256 | (~slack1256@186.11.102.225) (Remote host closed the connection) |
| 2023-07-20 00:21:41 +0200 | Guest8732 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2023-07-20 00:22:27 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-20 00:22:56 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 245 seconds) |
| 2023-07-20 00:25:04 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 00:29:20 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-20 00:29:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2023-07-20 00:31:12 +0200 | acidjnk | (~acidjnk@p200300d6e7072f4144ad9ffde27bd696.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-20 00:39:52 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-20 00:42:59 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 00:43:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-20 00:47:25 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 240 seconds) |
| 2023-07-20 00:54:02 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-20 01:04:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-20 01:07:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-07-20 01:09:36 +0200 | micro | (~micro@user/micro) (Ping timeout: 258 seconds) |
| 2023-07-20 01:09:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-07-20 01:11:55 +0200 | micro | (~micro@user/micro) |
| 2023-07-20 01:15:06 +0200 | tv3n | (~stiv3n@2601:647:8580:f2b0:1481:73f3:db97:7cdf) (Quit: WeeChat 3.8) |
| 2023-07-20 01:16:09 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 01:20:56 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 272 seconds) |
| 2023-07-20 01:21:50 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 01:24:36 +0200 | ft | (~ft@p3e9bc856.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-20 01:29:08 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-07-20 01:31:23 +0200 | ft | (~ft@p3e9bcb94.dip0.t-ipconnect.de) |
| 2023-07-20 01:36:05 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-20 01:37:27 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-07-20 01:37:27 +0200 | mauke_ | mauke |
| 2023-07-20 01:39:44 +0200 | nick4 | (~nick@2600:8807:9084:7800:99b:f00:aec6:43d1) |
| 2023-07-20 01:40:34 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-20 01:47:34 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:3c9:7bb3:d043:de20) (Remote host closed the connection) |
| 2023-07-20 01:48:00 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:2b97:f565:21b7:f95) |
| 2023-07-20 01:49:37 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 01:53:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 240 seconds) |
| 2023-07-20 01:55:33 +0200 | Axma64160 | Axman6 |
| 2023-07-20 02:03:07 +0200 | phma | (phma@2001:5b0:210b:e378:e5fc:261c:d0b:f79d) (Read error: Connection reset by peer) |
| 2023-07-20 02:03:17 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 2023-07-20 02:03:35 +0200 | phma | (~phma@2001:5b0:210b:e378:e5fc:261c:d0b:f79d) |
| 2023-07-20 02:11:15 +0200 | pickleju1ce | (~root@172.56.217.108) (Ping timeout: 246 seconds) |
| 2023-07-20 02:13:58 +0200 | picklejuice | (~root@172.58.203.237) |
| 2023-07-20 02:18:55 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 02:21:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-07-20 02:22:09 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-07-20 02:22:34 +0200 | phma | (~phma@2001:5b0:210b:e378:e5fc:261c:d0b:f79d) (Read error: Connection reset by peer) |
| 2023-07-20 02:22:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 02:22:59 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-07-20 02:26:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 246 seconds) |
| 2023-07-20 02:27:21 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-20 02:27:21 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-20 02:27:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-20 02:36:35 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-20 02:44:58 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-07-20 02:45:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-20 02:48:35 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2023-07-20 02:53:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-07-20 02:54:39 +0200 | razetime | (~quassel@117.193.6.104) |
| 2023-07-20 02:56:15 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-20 02:58:00 +0200 | alexbieh_ | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 03:01:00 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 272 seconds) |
| 2023-07-20 03:02:27 +0200 | alexbieh_ | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 245 seconds) |
| 2023-07-20 03:11:01 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-20 03:14:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-07-20 03:15:03 +0200 | falafel | (~falafel@2603-7000-a700-8710-feb2-f62b-b255-671f.res6.spectrum.com) |
| 2023-07-20 03:16:19 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 03:16:19 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 03:16:19 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 03:16:53 +0200 | dobblego | dibblego |
| 2023-07-20 03:17:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-20 03:17:53 +0200 | picklejuice | (~root@172.58.203.237) (Ping timeout: 246 seconds) |
| 2023-07-20 03:18:03 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-20 03:22:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 03:25:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-07-20 03:27:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-07-20 03:29:21 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 03:30:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-20 03:33:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 260 seconds) |
| 2023-07-20 03:43:20 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-07-20 03:44:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-20 03:46:32 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2023-07-20 03:48:55 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 240 seconds) |
| 2023-07-20 03:49:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 03:49:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 03:49:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 03:49:44 +0200 | pickleju1ce | (~root@172.58.203.237) |
| 2023-07-20 03:51:08 +0200 | yaroot | (~yaroot@p3274042-ipngn2701souka.saitama.ocn.ne.jp) (Ping timeout: 246 seconds) |
| 2023-07-20 03:53:00 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-20 03:59:57 +0200 | pickleju1ce | (~root@172.58.203.237) (Ping timeout: 245 seconds) |
| 2023-07-20 04:00:06 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-20 04:01:45 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-07-20 04:02:51 +0200 | dextaa | (~DV@user/dextaa) |
| 2023-07-20 04:03:02 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 04:04:57 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:2b97:f565:21b7:f95) (Ping timeout: 245 seconds) |
| 2023-07-20 04:07:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 240 seconds) |
| 2023-07-20 04:14:35 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 04:16:53 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 04:19:29 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-20 04:20:44 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 2023-07-20 04:23:53 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-20 04:23:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-20 04:23:53 +0200 | finn_elija | FinnElija |
| 2023-07-20 04:25:26 +0200 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-20 04:27:29 +0200 | td_ | (~td@i53870919.versanet.de) |
| 2023-07-20 04:37:05 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 04:51:26 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-20 04:52:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-20 04:53:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 04:54:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-07-20 04:54:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-07-20 04:55:30 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 260 seconds) |
| 2023-07-20 04:56:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 04:56:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 04:56:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 04:59:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-20 05:08:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-20 05:10:08 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-20 05:12:43 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 05:12:43 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 05:12:43 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 05:15:47 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 05:18:14 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-20 05:19:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-20 05:25:07 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 05:26:36 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-20 05:29:17 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 246 seconds) |
| 2023-07-20 05:34:29 +0200 | falafel | (~falafel@2603-7000-a700-8710-feb2-f62b-b255-671f.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-20 05:35:26 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 2023-07-20 05:41:30 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-20 05:41:45 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-07-20 05:43:08 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-20 05:48:59 +0200 | dextaa | (~DV@user/dextaa) |
| 2023-07-20 05:53:00 +0200 | zedkaido` | (~user@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) |
| 2023-07-20 05:56:08 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-20 05:57:04 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:3300:7d61:ca1a:b553:5487) (Ping timeout: 272 seconds) |
| 2023-07-20 05:57:32 +0200 | aforemny | (~aforemny@2001:9e8:6cfb:300:6d05:3e90:642c:8b78) |
| 2023-07-20 05:58:18 +0200 | zedkaido` | (~user@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-07-20 05:58:21 +0200 | bilegeek | (~bilegeek@2600:1008:b0aa:5ec5:9d99:948f:5e24:7117) |
| 2023-07-20 05:58:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-20 05:59:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-07-20 05:59:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-07-20 06:01:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 06:01:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 06:01:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 06:10:38 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-20 06:11:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 06:12:31 +0200 | razetime | (~quassel@117.193.6.104) (Ping timeout: 245 seconds) |
| 2023-07-20 06:12:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 06:12:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 06:12:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 06:16:42 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-07-20 06:19:58 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 06:20:54 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2023-07-20 06:21:03 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 06:22:18 +0200 | trev | (~trev@user/trev) |
| 2023-07-20 06:23:47 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:a599:7af4:6931:f494) (Remote host closed the connection) |
| 2023-07-20 06:24:08 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:a599:7af4:6931:f494) |
| 2023-07-20 06:28:22 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 260 seconds) |
| 2023-07-20 06:30:53 +0200 | ddellacosta | (~ddellacos@146.70.165.154) (Ping timeout: 246 seconds) |
| 2023-07-20 06:33:06 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-07-20 06:36:13 +0200 | zedkaido` | (~user@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) |
| 2023-07-20 06:37:21 +0200 | zedkaido` | (~user@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) () |
| 2023-07-20 06:39:43 +0200 | xusr | (~xusr@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) |
| 2023-07-20 06:40:20 +0200 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2023-07-20 06:50:19 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb2+b5 - https://znc.in) |
| 2023-07-20 06:55:44 +0200 | azy | (~azy@176-241-62-254.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-20 06:57:18 +0200 | hueso | (~root@user/hueso) |
| 2023-07-20 06:57:34 +0200 | azy | (~azy@91-83-10-20.pool.digikabel.hu) |
| 2023-07-20 06:58:23 +0200 | xusr | (~xusr@2001:8a0:5721:ab00:90e:6cb:e1b9:d43f) (Remote host closed the connection) |
| 2023-07-20 07:14:16 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 07:15:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 07:19:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 272 seconds) |
| 2023-07-20 07:20:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-20 07:21:08 +0200 | shapr | (~user@2600:1700:c640:3100:5fb0:4fe5:2af0:8aa4) (Ping timeout: 246 seconds) |
| 2023-07-20 07:21:48 +0200 | razetime | (~quassel@117.193.6.104) |
| 2023-07-20 07:24:57 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-07-20 07:35:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 07:42:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-20 07:42:55 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Ping timeout: 240 seconds) |
| 2023-07-20 07:43:32 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-20 07:47:25 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-07-20 07:57:55 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 08:02:31 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-20 08:04:22 +0200 | michalz | (~michalz@185.246.207.218) |
| 2023-07-20 08:14:27 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-20 08:20:28 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-20 08:20:54 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-07-20 08:23:01 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) |
| 2023-07-20 08:24:52 +0200 | nick4 | (~nick@2600:8807:9084:7800:99b:f00:aec6:43d1) (Ping timeout: 240 seconds) |
| 2023-07-20 08:33:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-20 08:38:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-20 08:41:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 08:42:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 08:42:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 08:42:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 08:45:24 +0200 | alinab_ | alinab |
| 2023-07-20 08:46:19 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-20 08:47:28 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-20 08:48:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f42610ac74d04386fc8.dip0.t-ipconnect.de) |
| 2023-07-20 08:52:52 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-20 09:00:19 +0200 | CiaoSen | (~Jura@2a05:5800:2a5:4e00:664b:f0ff:fe37:9ef) |
| 2023-07-20 09:00:58 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-20 09:05:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-20 09:11:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 09:13:01 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-20 09:13:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 09:20:08 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-20 09:22:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 09:24:09 +0200 | ubert | (~Thunderbi@178.165.184.55.wireless.dyn.drei.com) |
| 2023-07-20 09:25:21 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 09:25:22 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-20 09:26:35 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:a599:7af4:6931:f494) (Ping timeout: 246 seconds) |
| 2023-07-20 09:27:20 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) |
| 2023-07-20 09:28:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 09:28:23 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 09:28:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 09:29:51 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-07-20 09:32:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-20 09:33:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-20 09:33:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:c964:5da9:89b:de36:2b2e) (Remote host closed the connection) |
| 2023-07-20 09:34:06 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 09:36:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Remote host closed the connection) |
| 2023-07-20 09:38:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-20 09:39:14 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 260 seconds) |
| 2023-07-20 09:45:14 +0200 | arahael_ | (~arahael@1.145.61.60) |
| 2023-07-20 09:45:20 +0200 | azy | (~azy@91-83-10-20.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-20 09:47:06 +0200 | azy | (~azy@178-164-207-73.pool.digikabel.hu) |
| 2023-07-20 09:52:06 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 245 seconds) |
| 2023-07-20 09:54:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-20 09:56:33 +0200 | bilegeek | (~bilegeek@2600:1008:b0aa:5ec5:9d99:948f:5e24:7117) (Quit: Leaving) |
| 2023-07-20 09:57:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-20 09:57:16 +0200 | ubert1 | (~Thunderbi@178.165.175.93.wireless.dyn.drei.com) |
| 2023-07-20 09:57:44 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |
| 2023-07-20 09:58:26 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 09:58:36 +0200 | ubert | (~Thunderbi@178.165.184.55.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2023-07-20 09:58:36 +0200 | ubert1 | ubert |
| 2023-07-20 10:01:55 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-20 10:03:51 +0200 | zazaeil | (~user@91.234.25.217) |
| 2023-07-20 10:06:00 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 10:06:17 +0200 | zazaeil | (~user@91.234.25.217) (Remote host closed the connection) |
| 2023-07-20 10:08:55 +0200 | zazaeil | (~user@91.234.25.217) |
| 2023-07-20 10:13:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 264 seconds) |
| 2023-07-20 10:18:17 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 10:19:47 +0200 | razetime | (~quassel@117.193.6.104) (Ping timeout: 264 seconds) |
| 2023-07-20 10:22:37 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:5636:ab77:f271:bed6) |
| 2023-07-20 10:22:52 +0200 | arahael_ | (~arahael@1.145.61.60) (Ping timeout: 245 seconds) |
| 2023-07-20 10:32:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-07-20 10:32:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-20 10:33:54 +0200 | chele | (~chele@user/chele) |
| 2023-07-20 10:36:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-20 10:36:58 +0200 | <merijn> | stack still doesn't support internal libraries, right? |
| 2023-07-20 10:40:06 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 10:41:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Ping timeout: 246 seconds) |
| 2023-07-20 10:41:58 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-20 10:44:17 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 246 seconds) |
| 2023-07-20 10:44:38 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-20 10:45:29 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 2023-07-20 10:47:39 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2023-07-20 10:49:22 +0200 | razetime | (~quassel@117.193.6.104) |
| 2023-07-20 10:50:47 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 246 seconds) |
| 2023-07-20 10:52:56 +0200 | danse-nr3_ | (~francesco@151.57.223.0) |
| 2023-07-20 10:55:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-20 10:56:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-20 10:58:10 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 11:01:26 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-20 11:02:46 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 260 seconds) |
| 2023-07-20 11:06:20 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-20 11:06:25 +0200 | azy | (~azy@178-164-207-73.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-20 11:06:51 +0200 | severen[m] | (~severenmt@2001:470:69fc:105::2:9932) (Remote host closed the connection) |
| 2023-07-20 11:07:44 +0200 | ft | (~ft@p3e9bcb94.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-20 11:08:10 +0200 | azy | (~azy@94-21-55-76.pool.digikabel.hu) |
| 2023-07-20 11:12:01 +0200 | <absence> | I'm playing around with generics and came across this problem with duplicate instances: https://play.haskell.org/saved/MgFlYh0X |
| 2023-07-20 11:12:19 +0200 | <absence> | Is there a trick to get around that? I tried type families, but didn't get anywhere: https://play.haskell.org/saved/I2HM3LKO |
| 2023-07-20 11:12:39 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Remote host closed the connection) |
| 2023-07-20 11:13:00 +0200 | <merijn> | absence: Short answer: no |
| 2023-07-20 11:13:33 +0200 | <merijn> | Actually, maybe with type families, yeah |
| 2023-07-20 11:14:10 +0200 | <merijn> | Something inspired by this maybe: https://gist.github.com/merijn/6130082 |
| 2023-07-20 11:16:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 11:17:57 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 11:18:59 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 11:19:45 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-20 11:20:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-20 11:21:13 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Quit: leaving) |
| 2023-07-20 11:21:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-20 11:22:44 +0200 | <absence> | merijn: I think that's similar to what I tried? I guess the ambiguity error I got was because only the "output" tag occurs on the right side of =>, and not the input tags (tagF and tagG)? |
| 2023-07-20 11:24:33 +0200 | danse-nr3_ | (~francesco@151.57.223.0) (Remote host closed the connection) |
| 2023-07-20 11:24:56 +0200 | danse-nr3_ | (~francesco@151.57.223.0) |
| 2023-07-20 11:25:41 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 11:25:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 11:25:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 11:25:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 11:26:16 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 11:33:55 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 240 seconds) |
| 2023-07-20 11:36:12 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-07-20 11:37:17 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-20 11:37:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-07-20 11:38:38 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-20 11:38:39 +0200 | byte | (~byte@user/byte) (Quit: Quitting...) |
| 2023-07-20 11:39:23 +0200 | byte | (~byte@user/byte) |
| 2023-07-20 11:42:35 +0200 | CiaoSen | (~Jura@2a05:5800:2a5:4e00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 2023-07-20 11:44:30 +0200 | zazaeil | (~user@91.234.25.217) (Remote host closed the connection) |
| 2023-07-20 11:45:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 11:47:43 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 11:48:02 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-07-20 11:48:28 +0200 | dsrt^ | (~cd@24.125.210.85) (Remote host closed the connection) |
| 2023-07-20 11:49:23 +0200 | acidjnk | (~acidjnk@p200300d6e7072f42610ac74d04386fc8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-07-20 11:50:50 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 11:50:50 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 11:50:50 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 11:51:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 11:51:09 +0200 | dobblego | dibblego |
| 2023-07-20 11:51:35 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-20 11:53:44 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2023-07-20 11:53:54 +0200 | yaroot | (~yaroot@p3269141-ipngn2701souka.saitama.ocn.ne.jp) |
| 2023-07-20 11:55:10 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 12:05:52 +0200 | azy | (~azy@94-21-55-76.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-20 12:07:54 +0200 | azy | (~azy@78-131-74-42.pool.digikabel.hu) |
| 2023-07-20 12:09:06 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-20 12:09:29 +0200 | phma | (phma@2001:5b0:210b:e378:88a5:f2f8:1254:76ea) |
| 2023-07-20 12:10:46 +0200 | arahael__ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 12:11:22 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-20 12:13:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2023-07-20 12:16:41 +0200 | prite | (~pritam@user/pritambaral) |
| 2023-07-20 12:19:15 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
| 2023-07-20 12:23:09 +0200 | CiaoSen | (~Jura@2a05:5800:2a5:4e00:664b:f0ff:fe37:9ef) |
| 2023-07-20 12:25:45 +0200 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2023-07-20 12:28:28 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-07-20 12:29:36 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-20 12:33:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-07-20 12:34:56 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 12:40:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-07-20 12:42:22 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 12:43:54 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 12:49:34 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 2023-07-20 12:50:15 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-20 12:50:29 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 12:53:36 +0200 | azy | (~azy@78-131-74-42.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2023-07-20 12:53:50 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-20 12:55:27 +0200 | azy | (~azy@85-238-77-79.pool.digikabel.hu) |
| 2023-07-20 12:57:20 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-07-20 12:58:19 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-20 13:04:06 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-07-20 13:04:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 13:04:48 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 13:07:29 +0200 | <danse-nr3_> | in general haskell is quite elegant, but scopes of values and selectors cause some clutter, as in `data MyData = MyData { myDataA = Int, myDataB = Int }` or `data LongerName = LongerNameA | LongerNameB`. I think there is some extension upcoming for record types, but nothing i am aware that enables `data LongerName = A | B` and `LongerName.A` for discrimination. So the best solution i can think of are small modules |
| 2023-07-20 13:08:14 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 13:08:15 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 13:08:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 13:11:38 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-20 13:14:23 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-20 13:15:20 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 272 seconds) |
| 2023-07-20 13:17:44 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-20 13:18:40 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 2023-07-20 13:20:08 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-20 13:23:53 +0200 | razetime | (~quassel@117.193.6.104) (Ping timeout: 246 seconds) |
| 2023-07-20 13:26:12 +0200 | <arahael__> | danse-nr3_: There's already an extension - RecordPunning, I think. |
| 2023-07-20 13:26:52 +0200 | <arahael__> | Nope, it's https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/duplicate_record_fields.html |
| 2023-07-20 13:28:11 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 13:32:50 +0200 | <danse-nr3_> | yep, with OverloadedRecordDot https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_dot.html. I hope they will slowly make codebases more readable. Nothing about values though, that i am aware |
| 2023-07-20 13:33:07 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2023-07-20 13:33:07 +0200 | sagax | (~sagax_nb@213.138.71.146) (Changing host) |
| 2023-07-20 13:33:07 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-07-20 13:33:41 +0200 | <merijn> | Pretty sure OverloadedRecordDot will have no or negative impact on readability, tbh |
| 2023-07-20 13:34:58 +0200 | <danse-nr3_> | data SomeLikeItLong = SomeLikeItLong { someLikeItLongA :: Int, someLikeItLongB :: Int } |
| 2023-07-20 13:35:30 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-20 13:36:25 +0200 | <stefan-_> | NoFieldSelectors is also nice to have, if you want to have variables which occur to be field names without shadowing |
| 2023-07-20 13:36:33 +0200 | <merijn> | That's rather a strawman, since overloadedrecorddot doesn't remove the need for unique field names |
| 2023-07-20 13:36:51 +0200 | <merijn> | the only thing OverloadedRecordDot does is make . even more overloaded and ambiguous |
| 2023-07-20 13:37:44 +0200 | <yushyin> | DuplicateRecordFields + NoFieldSelectors + RecordWildCards = ♥ |
| 2023-07-20 13:37:56 +0200 | <danse-nr3_> | yeah these seem a set of extensions designed to work together, but i can understand there could be reasons to deploy them separately |
| 2023-07-20 13:39:27 +0200 | <merijn> | and I'm not as optimistic as you and others about "adding 7 somewhat related, backwards incompatible syntax that requires me to memorise some obscure rules on formatting to disambiguate" to *improve* readability |
| 2023-07-20 13:39:56 +0200 | <merijn> | If I wanted to memorise the 5 different ways . can be parsed depending on context and extensions, I'd go write typescript >.> |
| 2023-07-20 13:41:58 +0200 | <danse-nr3_> | the choice of `.` is debatable. Personally i always use spaces around composition. If compiler devs can handle the overload without increasing complexity too much, Why not? Could look familiar to newcomers. I think there is a debate underlying this, about space sensitivity (probably the wrong term) |
| 2023-07-20 13:42:08 +0200 | <arahael__> | I don't do much haskell - not nearly as much as I want to, but I also don't particularly like overloadedrecorddot either, especially when you also have lenses that overload it too. |
| 2023-07-20 13:43:06 +0200 | <arahael__> | danse-nr3_: I don't think this "familiarity" helps newcomers, though. If it looks familiar with object.property syntax, why can't you assign it? It'll still behave *weird* to a newcomer. |
| 2023-07-20 13:43:42 +0200 | <danse-nr3_> | i think there is work in progress for assignment and other lens-like operations |
| 2023-07-20 13:44:27 +0200 | <danse-nr3_> | this one http://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_update.html for instance |
| 2023-07-20 13:45:05 +0200 | azy | (~azy@85-238-77-79.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-20 13:45:05 +0200 | aforemny | (~aforemny@2001:9e8:6cfb:300:6d05:3e90:642c:8b78) (Ping timeout: 246 seconds) |
| 2023-07-20 13:46:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-07-20 13:46:59 +0200 | azy | (~azy@193-226-238-233.pool.digikabel.hu) |
| 2023-07-20 13:47:11 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-20 13:48:18 +0200 | <danse-nr3_> | still looks a bit awkward though |
| 2023-07-20 13:49:09 +0200 | <danse-nr3_> | and it does not seem to be about lens-like operations |
| 2023-07-20 13:51:35 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 13:51:35 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 13:51:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 13:53:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f42610ac74d04386fc8.dip0.t-ipconnect.de) |
| 2023-07-20 13:57:48 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-07-20 14:00:18 +0200 | aforemny | (~aforemny@i59F516DA.versanet.de) |
| 2023-07-20 14:03:42 +0200 | <absence> | merijn: Thanks for the suggestion earlier. I think that's similar to what I tried? I guess the ambiguity error I got was because only the "output" tag occurs on the right side of =>, and not the input tags (tagF and tagG)? https://play.haskell.org/saved/I2HM3LKO |
| 2023-07-20 14:05:57 +0200 | <merijn> | hmm |
| 2023-07-20 14:06:00 +0200 | chele | (~chele@user/chele) |
| 2023-07-20 14:06:15 +0200 | <merijn> | see, this is why I dislike using typeclasses for type level programming :p |
| 2023-07-20 14:07:51 +0200 | <absence> | merijn: I can see why. I've started looking into using Template Haskell instead of generics... |
| 2023-07-20 14:08:52 +0200 | <merijn> | What are you actually trying to do? |
| 2023-07-20 14:11:51 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-07-20 14:12:18 +0200 | <Lears> | absence: If `class Something tag f | f -> tag` is acceptable, that would resolve the immediate issue. |
| 2023-07-20 14:13:55 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 14:17:31 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 245 seconds) |
| 2023-07-20 14:20:26 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) () |
| 2023-07-20 14:20:41 +0200 | <absence> | merijn: I want to extract zero or on value of a specific type from a record, and if there are two or more I want a compile error. That's why the Merge type family is missing the case where both parameters are TJust. |
| 2023-07-20 14:23:40 +0200 | <absence> | Lears: Thanks, that does get me one step further. I'll look into it! |
| 2023-07-20 14:24:58 +0200 | danse-nr3__ | (~francesco@151.57.167.88) |
| 2023-07-20 14:25:23 +0200 | <dsal> | absence: that sounds like something generic lens does out of the box. |
| 2023-07-20 14:25:43 +0200 | <dsal> | e.g.: https://www.irccloud.com/pastebin/5laasaTP/ |
| 2023-07-20 14:28:10 +0200 | danse-nr3_ | (~francesco@151.57.223.0) (Ping timeout: 272 seconds) |
| 2023-07-20 14:28:13 +0200 | <absence> | dsal: Oooh! |
| 2023-07-20 14:35:06 +0200 | danse-nr3__ | (~francesco@151.57.167.88) (Ping timeout: 260 seconds) |
| 2023-07-20 14:35:52 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-07-20 14:36:58 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:7c75:c9f8:cda5:9254) |
| 2023-07-20 14:37:07 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 14:38:38 +0200 | <absence> | dsal: I'm not familiar with this library. Do you know if there's a way to make it work for records that don't contain such a value? The ^? operator does indeed return a Maybe, but I get a compile error with type mismatch unless the value is present. |
| 2023-07-20 14:41:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-07-20 14:41:41 +0200 | azy | (~azy@193-226-238-233.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-20 14:43:37 +0200 | azy | (~azy@193-110-63-37.cable-modem.hdsnet.hu) |
| 2023-07-20 14:47:16 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-07-20 14:48:00 +0200 | ripspin | (~chatzilla@1.145.251.248) |
| 2023-07-20 14:48:36 +0200 | chele_ | (~chele@user/chele) |
| 2023-07-20 14:50:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-20 14:50:32 +0200 | <dsal> | absence: You mean you want it to not fail to compile if it can't match? I don't think it does that / makes sense. Most people would want it to fail to compile if it just can't work. |
| 2023-07-20 14:51:29 +0200 | <arahael__> | I can think of one library that behaves like that: The protocol buffers library. |
| 2023-07-20 14:51:36 +0200 | chele | (~chele@user/chele) (Ping timeout: 272 seconds) |
| 2023-07-20 14:52:18 +0200 | <absence> | dsal: I want Just if the type contains a value, and Nothing if it doesn't. I don't think that's too crazy. :) |
| 2023-07-20 14:53:08 +0200 | <dsal> | Yeah, I guess it does make sense in the case of protobuffers. Just not sure what the type signature looks like. |
| 2023-07-20 14:53:36 +0200 | <dsal> | I wasn't exactly suggesting "just use generic-lens" since you seemed to be studying generics. Should be a reference of sorts, though. |
| 2023-07-20 14:54:57 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 14:54:57 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 14:54:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 15:00:52 +0200 | azy | (~azy@193-110-63-37.cable-modem.hdsnet.hu) (Ping timeout: 240 seconds) |
| 2023-07-20 15:01:04 +0200 | danse-nr3__ | (~francesco@151.57.167.88) |
| 2023-07-20 15:02:44 +0200 | azy | (~azy@92-249-182-28.pool.digikabel.hu) |
| 2023-07-20 15:03:05 +0200 | nick4 | (~nick@2600:8807:9084:7800:99b:f00:aec6:43d1) |
| 2023-07-20 15:07:46 +0200 | <absence> | dsal: There are definitely a lot of useful examples in the source code. Thanks! |
| 2023-07-20 15:09:14 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-07-20 15:09:50 +0200 | danse-nr3__ | (~francesco@151.57.167.88) (Remote host closed the connection) |
| 2023-07-20 15:10:29 +0200 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
| 2023-07-20 15:15:46 +0200 | hueso | (~root@user/hueso) |
| 2023-07-20 15:16:14 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-07-20 15:18:21 +0200 | arahael__ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-20 15:18:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 15:18:50 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-20 15:19:54 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 260 seconds) |
| 2023-07-20 15:23:17 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-20 15:33:33 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 15:35:14 +0200 | <aeroplane> | Hi everyone, I know we execute run a generated executable of a file "hello-world.hs" by running |
| 2023-07-20 15:35:15 +0200 | <aeroplane> | `./hello-world` , but why can we NOT RUN the same using |
| 2023-07-20 15:35:15 +0200 | <aeroplane> | command `bash ./hello-world`? |
| 2023-07-20 15:35:42 +0200 | <int-e> | because it's not a bash script |
| 2023-07-20 15:35:56 +0200 | azy | (~azy@92-249-182-28.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2023-07-20 15:36:07 +0200 | <aeroplane> | Thanks, but then Is it possible to do it? |
| 2023-07-20 15:36:11 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-20 15:36:29 +0200 | <int-e> | why would you want to involve bash? |
| 2023-07-20 15:36:39 +0200 | <aeroplane> | I want to execute this in docker but caannot |
| 2023-07-20 15:36:50 +0200 | <aeroplane> | *cannot |
| 2023-07-20 15:37:02 +0200 | azy | (~azy@94-21-157-167.pool.digikabel.hu) |
| 2023-07-20 15:37:27 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 15:37:48 +0200 | <int-e> | odd. but if it really has to go via bash like that, you can make a `hello-world.sh` wrapper script that in turn invokes hello-world |
| 2023-07-20 15:40:59 +0200 | int-e | suspects that there is insufficient information |
| 2023-07-20 15:41:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-20 15:41:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-20 15:41:00 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-20 15:41:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-20 15:41:30 +0200 | <aeroplane> | int-e: I do not want to involve `bash`, but I just want to test the generated executable file in an isolated environment |
| 2023-07-20 15:41:51 +0200 | <aeroplane> | so the best way I know as per my knowledge is docker |
| 2023-07-20 15:42:09 +0200 | <aeroplane> | and I run this script `docker run -it --rm -v "$(pwd)"/hello-world:/hello-world:ro bash /hello-world` |
| 2023-07-20 15:42:22 +0200 | <int-e> | ... |
| 2023-07-20 15:42:28 +0200 | <int-e> | why is there a `bash` in there |
| 2023-07-20 15:42:46 +0200 | <aeroplane> | Its a docker image |
| 2023-07-20 15:42:48 +0200 | <aeroplane> | https://hub.docker.com/_/bash |
| 2023-07-20 15:42:49 +0200 | <int-e> | so? |
| 2023-07-20 15:44:05 +0200 | <int-e> | https://docs.docker.com/engine/reference/commandline/run/ -- `bash` is not part of this command, it's the executable that you are running |
| 2023-07-20 15:44:23 +0200 | <int-e> | which in this case is stupid becuase hello-world is an proper executable |
| 2023-07-20 15:45:02 +0200 | <int-e> | (maybe it fails without `bash` but then that's a failure to investigate on its own) |
| 2023-07-20 15:46:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Ping timeout: 272 seconds) |
| 2023-07-20 15:48:02 +0200 | razetime | (~quassel@117.193.6.104) |
| 2023-07-20 15:49:36 +0200 | <aeroplane> | It fails by saying `No such file or directory`, but it also fails when I run `dock.....world:ro bash bash /hello-world` saying `cannot execute binary file` |
| 2023-07-20 15:49:47 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Quit: Leaving) |
| 2023-07-20 15:51:24 +0200 | <aeroplane> | But my real question is that I want to run the executable in an environment which does not have haskell installed, is it possible to do that |
| 2023-07-20 15:51:45 +0200 | tv3n | (~stiv3n@2601:647:8580:f2b0:6eec:c5c2:f17f:17fa) |
| 2023-07-20 15:51:47 +0200 | <int-e> | The "File not found" is probably the dynamic linker not finding a shared library |
| 2023-07-20 15:52:29 +0200 | <int-e> | If the docker environment has `ldd` you can try `docker run ... ldd /hello-world` |
| 2023-07-20 15:53:02 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 272 seconds) |
| 2023-07-20 15:53:39 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-20 15:56:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-20 15:56:36 +0200 | <aeroplane> | I don't know what is happening, it gives following errors: http://ix.io/4B39 |
| 2023-07-20 15:57:39 +0200 | <int-e> | So your docker environment doesn't have libtinfo and libgmp. |
| 2023-07-20 15:58:22 +0200 | <int-e> | So you either have to add those (at the right versions) or you have to figure out how to link your executable statically (which I haven't needed in a long time) |
| 2023-07-20 15:58:57 +0200 | <aeroplane> | ok I will try to install them and then see what happens |
| 2023-07-20 16:00:27 +0200 | <aeroplane> | changing bash to ubuntu should help |
| 2023-07-20 16:01:41 +0200 | danse-nr3 | (~francesco@151.57.167.88) |
| 2023-07-20 16:02:56 +0200 | <monochrom> | Default GHC setting is that an executable does not need Haskell installed. Unless you got your copy of GHC from archlinux. |
| 2023-07-20 16:03:24 +0200 | <int-e> | monochrom: I built my own :P |
| 2023-07-20 16:03:55 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 2023-07-20 16:04:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-20 16:04:03 +0200 | <monochrom> | But I guess it needs libgmp and it can need libtinfo. |
| 2023-07-20 16:04:04 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 16:04:06 +0200 | <int-e> | (I actually have *one* dynamic-by-default installation, for lambdabot.) |
| 2023-07-20 16:04:26 +0200 | <aeroplane> | int-e: It worked, It successfull displayed the result after using ubuntu. And the command that I used is command ` docker run -it --rm -v "$(pwd)"/hello-world:/hello-world ubuntu ./hello-world` |
| 2023-07-20 16:04:42 +0200 | <aeroplane> | Thanks for the help |
| 2023-07-20 16:04:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 16:05:08 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2023-07-20 16:05:38 +0200 | <int-e> | FWIW, I do wish that a missing shared library resulted in a better error than "File not found" |
| 2023-07-20 16:06:28 +0200 | <int-e> | That has nothing to do with Haskell though. It's between the kernel and the system's dynamic loader |
| 2023-07-20 16:09:39 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-20 16:10:32 +0200 | azy | (~azy@94-21-157-167.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-20 16:10:40 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 16:10:49 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 2023-07-20 16:11:46 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 16:12:18 +0200 | azy | (~azy@91-83-10-43.pool.digikabel.hu) |
| 2023-07-20 16:14:31 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-20 16:15:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Ping timeout: 272 seconds) |
| 2023-07-20 16:15:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-20 16:27:00 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) |
| 2023-07-20 16:40:12 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-07-20 16:40:46 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 16:40:48 +0200 | razetime | (~quassel@117.193.6.104) (Remote host closed the connection) |
| 2023-07-20 16:57:44 +0200 | azy | (~azy@91-83-10-43.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-20 16:59:06 +0200 | shapr | (~user@2600:1700:c640:3100:6959:4ccc:ae29:7fb) |
| 2023-07-20 16:59:46 +0200 | azy | (~azy@91-83-1-236.pool.digikabel.hu) |
| 2023-07-20 17:00:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-20 17:00:51 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Quit: Reconnecting) |
| 2023-07-20 17:00:58 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 17:01:45 +0200 | <ddellacosta> | do I need to mark a FFI call as safe if I pass it memory allocated in Haskell? I'm having trouble deciphering the end of this section, but it seems like it's implying that? https://www.haskell.org/onlinereport/haskell2010/haskellch8.html#x15-1590008.4.3 |
| 2023-07-20 17:02:37 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Client Quit) |
| 2023-07-20 17:02:42 +0200 | CiaoSen | (~Jura@2a05:5800:2a5:4e00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 2023-07-20 17:02:46 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 17:03:12 +0200 | <merijn> | ddellacosta: safe vs unsafe wrt the FFI refers to whether the FFI call should be done safely or unsafely |
| 2023-07-20 17:03:21 +0200 | <jean-paul[m]> | AIUI, you may mark it as safe if the FFI call will not re-enter Haskell except by returning. Otherwise, you should mark it unsafe. |
| 2023-07-20 17:03:30 +0200 | <merijn> | ddellacosta: i.e. *unless* you *really* know what you're doing you should *never* mark FFI calls unsafe |
| 2023-07-20 17:03:38 +0200 | <merijn> | jean-paul[m]: Absolutely not |
| 2023-07-20 17:03:47 +0200 | <geekosaur> | jean-paul[m], other way around, `safe` is the one to use for reentrancy |
| 2023-07-20 17:03:56 +0200 | <merijn> | safe is the default and you should use that if you're not absolutely sure what you're doing |
| 2023-07-20 17:04:19 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 17:04:26 +0200 | <jean-paul[m]> | Oof. |
| 2023-07-20 17:04:51 +0200 | <jean-paul[m]> | I always remember that it's the opposite of how I think but always get it backwards after correcting for that. |
| 2023-07-20 17:04:59 +0200 | <merijn> | unsafe calls can block the GC (and therefore *all* haskell threads) arbitrarily long |
| 2023-07-20 17:05:16 +0200 | <merijn> | (i.e. "however long your FFI call happens to end up taking) |
| 2023-07-20 17:05:27 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-20 17:05:51 +0200 | <merijn> | safe foreign calls permit GC and haskell threads to chug along blissfully unaware |
| 2023-07-20 17:05:52 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-07-20 17:06:13 +0200 | <merijn> | ddellacosta: Your original question is kinda unrelated to safe/unsafe |
| 2023-07-20 17:06:24 +0200 | <merijn> | ddellacosta: How are you allocating the memory within Haskell? |
| 2023-07-20 17:06:28 +0200 | <geekosaur> | ^ |
| 2023-07-20 17:06:45 +0200 | <geekosaur> | for any FFI call, you need to use pinned memory |
| 2023-07-20 17:07:01 +0200 | <merijn> | are you using malloc to get a Ptr? are you using ForeignPtr? something else? |
| 2023-07-20 17:07:32 +0200 | <geekosaur> | if you know exactly what is going on and that things won't block, you can get away with an `unsafe` call and unpinned memory, but I would absolutely not want to bet on that |
| 2023-07-20 17:07:46 +0200 | <ddellacosta> | mostly alloca*, although I've been experimenting with wrapping stuff in bracket with malloc and free on either end |
| 2023-07-20 17:08:02 +0200 | <merijn> | ddellacosta: ok, so malloc and free are easy |
| 2023-07-20 17:08:35 +0200 | <merijn> | ddellacosta: The only thing you gotta do is "solemn swear you will never call free before any foreign calls using the Ptr are done and returned and that the foreign code isn't storing the ptr somwhere" |
| 2023-07-20 17:08:36 +0200 | <ddellacosta> | in any case, this makes sense, I was just trying to understand exactly what was being said there--I think I was conflating garbage collection activity with "calling back into the Haskell runtime" per safe guarantees |
| 2023-07-20 17:08:59 +0200 | <ddellacosta> | yeah, honestly I'd rather use alloca* everywhere if I can get away with it |
| 2023-07-20 17:09:07 +0200 | <ddellacosta> | I don't _want_ to handle memory lol |
| 2023-07-20 17:09:27 +0200 | <merijn> | ddellacosta: GC may move unpinned memory around, unsafe calls block GC, so you can get away with using unpinned memory (but that's really "I'm comfortable knowing intimate details of GHC/RTS"-levels of programming |
| 2023-07-20 17:10:03 +0200 | <ddellacosta> | okay gotcha, that's helpful |
| 2023-07-20 17:10:14 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2023-07-20 17:10:20 +0200 | <merijn> | ddellacosta: alloca already gives you pinned memory, so as long as your FFI code doesn't secretly store/use it after returning, you don't have to do anything |
| 2023-07-20 17:10:48 +0200 | <merijn> | (as per the alloca docs) |
| 2023-07-20 17:12:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-20 17:12:53 +0200 | <ddellacosta> | merijn: yeah, I _hope_ that is the case... |
| 2023-07-20 17:12:56 +0200 | ddellacosta | sweats |
| 2023-07-20 17:13:21 +0200 | <merijn> | ddellacosta: same goes for malloc/free, malloc returns pinned memory (because unpinned Ptr is kinda useless for most things, including FFI ;)), so as long as you promise nothing will use the Ptr after free-ing, your fine just marking every call safe (or not at all, since safe is default) |
| 2023-07-20 17:13:48 +0200 | <merijn> | ddellacosta: I mean, if it does, then you get some good fun old segfault/memory corruption debugging challenge ;) |
| 2023-07-20 17:15:02 +0200 | <ddellacosta> | merijn: haha yes, I welcome another segfault experience on top of the ones I've had so far |
| 2023-07-20 17:15:24 +0200 | <ddellacosta> | FFI has been...a learning experience. Mostly learning how bad I am at C |
| 2023-07-20 17:15:36 +0200 | <merijn> | :p |
| 2023-07-20 17:15:45 +0200 | <merijn> | anyhoo, back to fixing my irssi SSL setup :p |
| 2023-07-20 17:15:50 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Quit: leaving) |
| 2023-07-20 17:15:51 +0200 | <ddellacosta> | thanks for the help! |
| 2023-07-20 17:16:01 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 17:19:04 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Client Quit) |
| 2023-07-20 17:19:14 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 17:24:04 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-20 17:29:25 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-20 17:29:55 +0200 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2023-07-20 17:34:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 17:38:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 17:38:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 17:38:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 17:43:24 +0200 | texasmynsted | (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 2023-07-20 17:49:04 +0200 | texasmynsted | (~username@99.96.221.112) |
| 2023-07-20 17:49:10 +0200 | <texasmynsted> | clear |
| 2023-07-20 17:49:23 +0200 | <geekosaur> | as mud |
| 2023-07-20 17:50:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-20 17:50:33 +0200 | <texasmynsted> | lol |
| 2023-07-20 17:50:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-20 17:50:58 +0200 | <texasmynsted> | was just trying to type /clear and somehow left off the / |
| 2023-07-20 17:51:09 +0200 | <Hecate> | we all do |
| 2023-07-20 17:51:16 +0200 | <texasmynsted> | heheh |
| 2023-07-20 17:53:35 +0200 | azy | (~azy@91-83-1-236.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-20 17:53:36 +0200 | phma | (phma@2001:5b0:210b:e378:88a5:f2f8:1254:76ea) (Read error: Connection reset by peer) |
| 2023-07-20 17:54:01 +0200 | phma | (phma@2001:5b0:210b:e378:88a5:f2f8:1254:76ea) |
| 2023-07-20 17:55:29 +0200 | azy | (~azy@94-21-55-53.pool.digikabel.hu) |
| 2023-07-20 18:04:06 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-20 18:04:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-07-20 18:04:45 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) |
| 2023-07-20 18:09:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-20 18:11:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 18:14:36 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-20 18:15:46 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
| 2023-07-20 18:18:06 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-237.2.247.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-07-20 18:23:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-20 18:23:18 +0200 | shapr | (~user@2600:1700:c640:3100:6959:4ccc:ae29:7fb) (Read error: Connection reset by peer) |
| 2023-07-20 18:23:32 +0200 | shapr | (~user@2600:1700:c640:3100:6959:4ccc:ae29:7fb) |
| 2023-07-20 18:24:52 +0200 | danse-nr3_ | (~francesco@151.43.220.167) |
| 2023-07-20 18:24:52 +0200 | danse-nr3 | (~francesco@151.57.167.88) (Read error: Connection reset by peer) |
| 2023-07-20 18:25:13 +0200 | pickleju1ce | (~root@172.56.216.94) |
| 2023-07-20 18:27:54 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-20 18:31:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-20 18:33:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-20 18:33:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-20 18:33:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 18:51:16 +0200 | azy | (~azy@94-21-55-53.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-20 18:52:28 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 18:53:09 +0200 | azy | (~azy@91-83-3-19.pool.digikabel.hu) |
| 2023-07-20 18:53:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 2023-07-20 18:55:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 18:56:09 +0200 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2023-07-20 18:57:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 19:00:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 19:01:25 +0200 | Alex_test | (~al_test@178.34.162.202) (Quit: ;-) |
| 2023-07-20 19:01:40 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Quit: ;-) |
| 2023-07-20 19:03:01 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 19:03:31 +0200 | tomku | (~tomku@user/tomku) |
| 2023-07-20 19:04:19 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 19:06:20 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 19:11:03 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-20 19:12:02 +0200 | trev | (~trev@user/trev) |
| 2023-07-20 19:12:53 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Quit: Leaving) |
| 2023-07-20 19:17:35 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-20 19:17:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 19:19:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 19:20:00 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 19:24:05 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) |
| 2023-07-20 19:24:12 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-20 19:24:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-20 19:27:27 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-07-20 19:28:49 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-20 19:30:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-20 19:30:43 +0200 | falafel | (~falafel@2603-7000-a700-8710-0c8d-c86d-01b2-a09f.res6.spectrum.com) |
| 2023-07-20 19:31:41 +0200 | kmein | (~weechat@user/kmein) |
| 2023-07-20 19:38:55 +0200 | azy | (~azy@91-83-3-19.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-20 19:40:32 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-20 19:40:42 +0200 | azy | (~azy@92-249-194-69.pool.digikabel.hu) |
| 2023-07-20 19:43:50 +0200 | danse-nr3_ | (~francesco@151.43.220.167) (Ping timeout: 246 seconds) |
| 2023-07-20 19:44:20 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-07-20 19:48:24 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-20 19:51:10 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2023-07-20 19:59:09 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:79f2:fb6e:d27e:6216) (Remote host closed the connection) |
| 2023-07-20 19:59:10 +0200 | mbuf | (~Shakthi@49.207.178.186) (Remote host closed the connection) |
| 2023-07-20 20:01:00 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:ad41:8559:e9eb:6353) |
| 2023-07-20 20:05:12 +0200 | ripspin | (~chatzilla@1.145.251.248) (Remote host closed the connection) |
| 2023-07-20 20:09:07 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-07-20 20:10:48 +0200 | azy | (~azy@92-249-194-69.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2023-07-20 20:11:14 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 20:11:57 +0200 | azy | (~azy@77-234-92-198.pool.digikabel.hu) |
| 2023-07-20 20:13:09 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-07-20 20:13:52 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-07-20 20:16:30 +0200 | mei | (~mei@user/mei) (Ping timeout: 272 seconds) |
| 2023-07-20 20:23:30 +0200 | azy | (~azy@77-234-92-198.pool.digikabel.hu) (Quit: leaving) |
| 2023-07-20 20:25:33 +0200 | legacy | (~legacy@77-234-92-198.pool.digikabel.hu) |
| 2023-07-20 20:28:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-20 20:28:52 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-20 20:36:52 +0200 | aeroplane | (~user@user/aeroplane) (Ping timeout: 240 seconds) |
| 2023-07-20 20:41:50 +0200 | legacy | (~legacy@77-234-92-198.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2023-07-20 20:42:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-20 20:43:07 +0200 | legacy | (~legacy@84-236-97-2.pool.digikabel.hu) |
| 2023-07-20 20:43:23 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-20 20:45:26 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-07-20 20:47:01 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-20 20:47:01 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-20 20:47:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-20 20:47:20 +0200 | phma | (phma@2001:5b0:210b:e378:88a5:f2f8:1254:76ea) (Read error: Connection reset by peer) |
| 2023-07-20 20:47:43 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-07-20 20:53:52 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2023-07-20 20:56:06 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-20 21:00:26 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-20 21:01:55 +0200 | ft | (~ft@p3e9bcb94.dip0.t-ipconnect.de) |
| 2023-07-20 21:02:10 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-20 21:05:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Ping timeout: 258 seconds) |
| 2023-07-20 21:07:17 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:7c75:c9f8:cda5:9254) (Ping timeout: 246 seconds) |
| 2023-07-20 21:08:01 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-20 21:08:22 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-20 21:09:07 +0200 | legacy | (~legacy@84-236-97-2.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-20 21:09:56 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-07-20 21:11:08 +0200 | legacy | (~legacy@92-249-141-140.pool.digikabel.hu) |
| 2023-07-20 21:12:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-20 21:12:40 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:ad41:8559:e9eb:6353) (Remote host closed the connection) |
| 2023-07-20 21:13:43 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 21:16:40 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Quit: mizlan) |
| 2023-07-20 21:17:55 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2023-07-20 21:21:05 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-20 21:24:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Remote host closed the connection) |
| 2023-07-20 21:25:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-20 21:27:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Remote host closed the connection) |
| 2023-07-20 21:30:16 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-20 21:31:33 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-20 21:31:53 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-20 21:34:40 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-07-20 21:35:26 +0200 | legacy | (~legacy@92-249-141-140.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-20 21:39:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-20 21:41:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-07-20 21:41:36 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) |
| 2023-07-20 21:42:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-20 21:42:33 +0200 | legacy | (~legacy@91-83-1-231.pool.digikabel.hu) |
| 2023-07-20 21:44:36 +0200 | tv1 | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2023-07-20 21:44:40 +0200 | <Hecate> | alexbiehl: ping! you got a moment? |
| 2023-07-20 21:45:51 +0200 | <alexbiehl> | Hecate, on my way out, let's have a call tomorrow! |
| 2023-07-20 21:48:14 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-20 21:48:21 +0200 | Vajb | (~Vajb@2001:999:704:d437:7906:1cd4:b5ab:684f) |
| 2023-07-20 21:49:31 +0200 | <Hecate> | alexbiehl: got it :) |
| 2023-07-20 21:52:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-07-20 21:59:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-20 22:06:34 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-20 22:07:24 +0200 | tv | (~tv@user/tv) |
| 2023-07-20 22:07:25 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2023-07-20 22:08:51 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-07-20 22:09:18 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:ad41:8559:e9eb:6353) |
| 2023-07-20 22:12:01 +0200 | bgamari_ | (~bgamari@64.223.157.222) |
| 2023-07-20 22:12:06 +0200 | bgamari | (~bgamari@64.223.233.113) (Ping timeout: 245 seconds) |
| 2023-07-20 22:14:06 +0200 | doyougnu- | (~doyougnu@45.46.170.68) (Ping timeout: 250 seconds) |
| 2023-07-20 22:14:22 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-07-20 22:14:41 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-07-20 22:14:58 +0200 | legacy | (~legacy@91-83-1-231.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2023-07-20 22:15:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-07-20 22:16:42 +0200 | legacy | (~legacy@fibhost-66-106-239.fibernet.hu) |
| 2023-07-20 22:18:41 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-20 22:20:24 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-07-20 22:20:32 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-63-70-24-87-181.dsl.bell.ca) |
| 2023-07-20 22:20:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-20 22:23:45 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-20 22:27:22 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-20 22:27:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-20 22:29:11 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 245 seconds) |
| 2023-07-20 22:29:17 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-20 22:29:57 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 22:31:02 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-07-20 22:31:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Ping timeout: 246 seconds) |
| 2023-07-20 22:32:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-20 22:37:44 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2023-07-20 22:45:47 +0200 | legacy | (~legacy@fibhost-66-106-239.fibernet.hu) (Ping timeout: 245 seconds) |
| 2023-07-20 22:47:49 +0200 | legacy | (~legacy@92-249-194-81.pool.digikabel.hu) |
| 2023-07-20 22:52:30 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-20 22:54:12 +0200 | ubert | (~Thunderbi@178.165.175.93.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2023-07-20 22:58:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:ad41:8559:e9eb:6353) (Remote host closed the connection) |
| 2023-07-20 22:58:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-20 23:03:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-20 23:04:30 +0200 | <ozkutuk[m]> | I am looking at a library on Hackage. It has this build dependency on a package, but the package is not actually necessary to build the library itself |
| 2023-07-20 23:04:54 +0200 | <ozkutuk[m]> | It is just part of the dependencies so that the provided example literate haskell files work |
| 2023-07-20 23:05:23 +0200 | <ozkutuk[m]> | what would be a good way to eliminate this build dependency and still keep the examples in working state? |
| 2023-07-20 23:06:33 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-07-20 23:08:10 +0200 | <ozkutuk[m]> | I should also mention that the examples are not built by cabal |
| 2023-07-20 23:09:28 +0200 | <ozkutuk[m]> | I am thinking of adding a new executable called "examples" which builds all the examples, put it behind an off-by-default cabal flag, and move the dependency from the library to that executable |
| 2023-07-20 23:09:49 +0200 | <L29Ah> | yes that sounds good |
| 2023-07-20 23:10:08 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-20 23:12:28 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-07-20 23:13:38 +0200 | <ozkutuk[m]> | hmm, is it possible to build multiple executables through a single executable stanza? |
| 2023-07-20 23:15:22 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-20 23:16:44 +0200 | <ozkutuk[m]> | well I guess I can define different stanzas for each and use the same flag for enabling/disabling all |
| 2023-07-20 23:19:23 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-20 23:20:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-20 23:21:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-20 23:21:54 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 23:25:15 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-20 23:26:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-07-20 23:31:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-20 23:36:16 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-20 23:40:31 +0200 | <ozkutuk[m]> | Looks like not all examples could be executables, as some lack a main function |
| 2023-07-20 23:40:36 +0200 | <ozkutuk[m]> | now I'm not sure what to do |
| 2023-07-20 23:42:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-20 23:42:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-07-20 23:51:54 +0200 | <jackdk> | ozkutuk[m]: in reflex-libtelnet, I moved the examples into a separate dir and used a `cabal.project` file: https://git.sr.ht/~jack/reflex-libtelnet/tree |
| 2023-07-20 23:53:52 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-20 23:56:30 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-20 23:57:32 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |