| 2024-04-13 00:01:26 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-13 00:03:51 +0200 | mei | (~mei@user/mei) |
| 2024-04-13 00:06:58 +0200 | zetef | (~quassel@86.120.162.55) |
| 2024-04-13 00:09:51 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-04-13 00:12:08 +0200 | zetef | (~quassel@86.120.162.55) (Ping timeout: 256 seconds) |
| 2024-04-13 00:12:09 +0200 | zetef_ | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) |
| 2024-04-13 00:17:41 +0200 | zetef_ | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Ping timeout: 240 seconds) |
| 2024-04-13 00:18:18 +0200 | zetef | (~quassel@86.120.162.55) |
| 2024-04-13 00:20:04 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-04-13 00:28:41 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 272 seconds) |
| 2024-04-13 00:29:31 +0200 | down200 | (~down200@lug.mtu.edu) |
| 2024-04-13 00:31:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-13 00:36:21 +0200 | down200 | (~down200@lug.mtu.edu) (Ping timeout: 252 seconds) |
| 2024-04-13 00:37:58 +0200 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-04-13 00:42:36 +0200 | zetef | (~quassel@86.120.162.55) (Ping timeout: 255 seconds) |
| 2024-04-13 00:42:58 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) |
| 2024-04-13 00:43:41 +0200 | n8n | (n8n@user/n8n) |
| 2024-04-13 00:49:10 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-13 00:57:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-13 00:58:47 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-13 01:02:09 +0200 | zetef_ | (~quassel@86.120.162.55) |
| 2024-04-13 01:02:28 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Ping timeout: 260 seconds) |
| 2024-04-13 01:09:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-13 01:10:30 +0200 | zetef_ | (~quassel@86.120.162.55) (Ping timeout: 255 seconds) |
| 2024-04-13 01:10:48 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) |
| 2024-04-13 01:19:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-13 01:22:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-13 01:23:22 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-13 01:25:53 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2024-04-13 01:35:39 +0200 | nft_slut | (~user@50-110-173-136.mrbg.wv.frontiernet.net) |
| 2024-04-13 01:37:23 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-13 01:43:11 +0200 | nft_slut | (~user@50-110-173-136.mrbg.wv.frontiernet.net) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-13 01:47:15 +0200 | son0p | (~ff@167.0.178.102) (Quit: Leaving) |
| 2024-04-13 01:49:01 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Remote host closed the connection) |
| 2024-04-13 01:55:28 +0200 | nft_slut | (~slut@50-110-173-136.mrbg.wv.frontiernet.net) |
| 2024-04-13 01:59:09 +0200 | nft_slut | (~slut@50-110-173-136.mrbg.wv.frontiernet.net) (Remote host closed the connection) |
| 2024-04-13 02:05:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-13 02:07:16 +0200 | son0p | (~ff@167.0.178.102) |
| 2024-04-13 02:20:32 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-13 02:21:15 +0200 | madeleine-sydney | sadie-sorceress |
| 2024-04-13 02:21:16 +0200 | sadie-sorceress | madeleine-sydney |
| 2024-04-13 02:21:29 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Changing host) |
| 2024-04-13 02:21:29 +0200 | madeleine-sydney | (~madeleine@user/madeleine-sydney) |
| 2024-04-13 02:26:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-13 02:29:30 +0200 | mei | (~mei@user/mei) |
| 2024-04-13 02:36:27 +0200 | Achylles | (~Achylles@45.182.57.23) (Ping timeout: 255 seconds) |
| 2024-04-13 02:47:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-13 02:49:07 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-04-13 02:52:51 +0200 | Achylles | (~Achylles@45.182.57.23) |
| 2024-04-13 02:54:05 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-13 02:54:27 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-13 02:55:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-04-13 03:01:03 +0200 | rosco | (~rosco@flh2-133-206-129-33.osk.mesh.ad.jp) |
| 2024-04-13 03:15:15 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-04-13 03:15:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-13 03:28:26 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-13 03:28:39 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2024-04-13 03:33:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:665a:484:4391:cc83) (Ping timeout: 256 seconds) |
| 2024-04-13 03:36:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4f2e:e3:846:dd49) |
| 2024-04-13 03:44:22 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-04-13 03:49:47 +0200 | otto_s | (~user@p4ff27d41.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-04-13 03:51:24 +0200 | otto_s | (~user@p4ff27b6a.dip0.t-ipconnect.de) |
| 2024-04-13 03:57:47 +0200 | puke | (~puke@user/puke) |
| 2024-04-13 03:58:09 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-04-13 03:58:11 +0200 | aforemny_ | (~aforemny@i59F516ED.versanet.de) (Ping timeout: 264 seconds) |
| 2024-04-13 03:58:15 +0200 | aforemny | (~aforemny@2001:9e8:6cc6:5800:f53e:3be2:aa9a:b452) |
| 2024-04-13 03:59:28 +0200 | puke | (~puke@user/puke) |
| 2024-04-13 03:59:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-13 03:59:56 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-13 04:00:45 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-04-13 04:01:58 +0200 | puke | (~puke@user/puke) |
| 2024-04-13 04:12:16 +0200 | madeleine-sydney | (~madeleine@user/madeleine-sydney) (Quit: Konversation terminated!) |
| 2024-04-13 04:15:01 +0200 | halloy4906 | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-13 04:20:39 +0200 | aforemny | (~aforemny@2001:9e8:6cc6:5800:f53e:3be2:aa9a:b452) (Ping timeout: 268 seconds) |
| 2024-04-13 04:23:20 +0200 | aforemny | (~aforemny@i59F516FF.versanet.de) |
| 2024-04-13 04:24:51 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-13 04:30:18 +0200 | Achylles | (~Achylles@45.182.57.23) (Ping timeout: 255 seconds) |
| 2024-04-13 04:40:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-04-13 04:48:45 +0200 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 256 seconds) |
| 2024-04-13 04:50:38 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2024-04-13 04:50:59 +0200 | halloy4906 | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-04-13 04:58:19 +0200 | rosco | (~rosco@flh2-133-206-129-33.osk.mesh.ad.jp) (Quit: Lost terminal) |
| 2024-04-13 05:01:32 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-13 05:02:31 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-13 05:10:34 +0200 | vnogueira_ | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-13 05:11:04 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-13 05:15:40 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-13 05:26:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-13 05:27:22 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-13 05:27:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-13 05:36:46 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-13 05:36:58 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-13 05:50:23 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-13 05:51:37 +0200 | bilegeek | (~bilegeek@2600:1008:b005:f9c7:69ef:ef9d:e164:8898) |
| 2024-04-13 05:52:30 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-13 05:59:57 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) |
| 2024-04-13 06:01:11 +0200 | aforemny | (~aforemny@i59F516FF.versanet.de) (Ping timeout: 272 seconds) |
| 2024-04-13 06:11:10 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-13 06:11:36 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-13 06:14:50 +0200 | Guest9 | (~Guest9@2a04:4e41:a:10ca::6b8c:74ca) |
| 2024-04-13 06:17:23 +0200 | Guest9 | (~Guest9@2a04:4e41:a:10ca::6b8c:74ca) (Client Quit) |
| 2024-04-13 06:30:45 +0200 | danza_ | (~francesco@151.47.230.147) |
| 2024-04-13 06:32:24 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-13 06:32:44 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-13 06:34:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-13 06:35:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-13 06:43:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-13 06:46:08 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-13 06:52:00 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 252 seconds) |
| 2024-04-13 06:56:56 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-13 06:58:05 +0200 | danza | (~francesco@151.47.230.147) |
| 2024-04-13 06:58:25 +0200 | danza_ | (~francesco@151.47.230.147) (Read error: Connection reset by peer) |
| 2024-04-13 07:02:38 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-13 07:16:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-13 07:34:11 +0200 | masaeedu | (~masaeedu@user/masaeedu) |
| 2024-04-13 07:34:17 +0200 | <masaeedu> | hello folks |
| 2024-04-13 07:34:26 +0200 | <danza> | o/ |
| 2024-04-13 07:34:42 +0200 | <masaeedu> | anyone here use haskell-flake with build tools? |
| 2024-04-13 07:34:56 +0200 | <danza> | not me |
| 2024-04-13 07:35:01 +0200 | <masaeedu> | i'm specifically trying to get c2hs working, but i can't quite work it out |
| 2024-04-13 07:45:34 +0200 | <masaeedu> | OK there's some info here: https://gist.github.com/ScottFreeCode/ef9f254e2dd91544bba4a068852fc81f |
| 2024-04-13 07:53:44 +0200 | danza_ | (~francesco@151.37.251.106) |
| 2024-04-13 07:56:05 +0200 | danza | (~francesco@151.47.230.147) (Ping timeout: 240 seconds) |
| 2024-04-13 08:04:52 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-13 08:06:15 +0200 | yeitrafferin | (~user@2a04:4540:7205:9100:c4d1:c353:27f3:f1a5) |
| 2024-04-13 08:20:50 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-04-13 08:28:04 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-04-13 08:28:13 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-04-13 08:28:31 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-04-13 08:30:08 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-04-13 08:50:27 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-13 08:53:50 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-04-13 08:57:22 +0200 | fbytez | (~uid@user/fbytez) (Leaving) |
| 2024-04-13 09:03:10 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-13 09:08:24 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-13 09:26:35 +0200 | visilii | (~visilii@213.24.125.229) |
| 2024-04-13 09:27:39 +0200 | danza_ | (~francesco@151.37.251.106) (Ping timeout: 260 seconds) |
| 2024-04-13 09:29:50 +0200 | visilii_ | (~visilii@188.254.126.29) (Ping timeout: 252 seconds) |
| 2024-04-13 09:42:46 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-13 09:48:05 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-13 09:56:09 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2024-04-13 10:05:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2024-04-13 10:11:25 +0200 | Wunderbun | (~robin@93.182.183.210) |
| 2024-04-13 10:11:41 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-13 10:14:48 +0200 | bilegeek | (~bilegeek@2600:1008:b005:f9c7:69ef:ef9d:e164:8898) (Quit: Leaving) |
| 2024-04-13 10:17:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-13 10:23:24 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-13 10:26:12 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Remote host closed the connection) |
| 2024-04-13 10:26:39 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-13 10:42:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-13 10:43:16 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-13 10:54:48 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-13 11:01:21 +0200 | Wunderbun | (~robin@93.182.183.210) (Quit: Lost terminal) |
| 2024-04-13 11:01:40 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2024-04-13 11:02:19 +0200 | fireking04 | (~fireking0@103.36.18.86) |
| 2024-04-13 11:02:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-13 11:06:20 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 2024-04-13 11:06:39 +0200 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2024-04-13 11:07:14 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-04-13 11:07:36 +0200 | fireking05 | (~fireking0@103.36.18.87) |
| 2024-04-13 11:09:23 +0200 | fireking04 | (~fireking0@103.36.18.86) (Ping timeout: 252 seconds) |
| 2024-04-13 11:18:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-13 11:22:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-13 11:26:24 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-13 11:59:42 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-13 12:06:07 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-13 12:18:27 +0200 | fireking05 | (~fireking0@103.36.18.87) (Read error: Connection reset by peer) |
| 2024-04-13 12:18:40 +0200 | fireking05 | (~fireking0@103.36.18.87) |
| 2024-04-13 12:24:24 +0200 | <masaeedu> | Why are the links in the haddocks for the last version of so many packages broken? |
| 2024-04-13 12:24:51 +0200 | <masaeedu> | E.g. on https://hackage.haskell.org/package/dhall-nix-1.1.26 the link to Dhall.Nix is broken |
| 2024-04-13 12:25:00 +0200 | <masaeedu> | But on https://hackage.haskell.org/package/dhall-nix-1.1.25 it's fine |
| 2024-04-13 12:26:26 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-04-13 12:27:00 +0200 | <ncf> | looks like the doc builds failed https://hackage.haskell.org/package/dhall-nix-1.1.26/reports/ |
| 2024-04-13 12:27:29 +0200 | <ncf> | too old GHC, presumably |
| 2024-04-13 12:28:46 +0200 | <int-e> | too new actually |
| 2024-04-13 12:29:24 +0200 | <ncf> | not just right, in any case |
| 2024-04-13 12:30:25 +0200 | <int-e> | (hackage seems to be on some ghc-9.2.x going by the base version.) |
| 2024-04-13 12:30:54 +0200 | <int-e> | Err, it says 9.2.4 at the top. I'm blind. |
| 2024-04-13 12:31:21 +0200 | <int-e> | When dhall-nix-1.1.25 was uploaded it was still on 8.10.2 |
| 2024-04-13 12:31:56 +0200 | puke | (~puke@user/puke) |
| 2024-04-13 12:32:49 +0200 | <int-e> | We can't blame hnix either; hnix-0.17.0 relaxed the base upper bound (to 5, which honestly is sane in my opinion) |
| 2024-04-13 12:33:16 +0200 | <int-e> | But dhall-nix has a < 0.15 upper bound on hnix. |
| 2024-04-13 12:35:31 +0200 | <ncf> | can we at least blame hackage |
| 2024-04-13 12:35:49 +0200 | <int-e> | Not really. |
| 2024-04-13 12:36:28 +0200 | <int-e> | I guess the code that turns module names in .cabal files into links could check whether docs are actually available. |
| 2024-04-13 12:36:48 +0200 | <ncf> | i guess if the cabal file specified a list of tested ghc versions it could filter based on that. but it doesn't |
| 2024-04-13 12:37:13 +0200 | <int-e> | I don't think hackage supports several compiler versions at once? |
| 2024-04-13 12:37:32 +0200 | <ncf> | sounds like something i could blame them for |
| 2024-04-13 12:38:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-13 12:38:07 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-04-13 12:38:07 +0200 | <int-e> | I mean, you /can/ find reasons to blame hackage but eh, they're all easy to excuse if you compare effort required to fix it to the harm done. |
| 2024-04-13 12:38:47 +0200 | <int-e> | package maintainers can upload their own docs too |
| 2024-04-13 12:38:54 +0200 | <int-e> | so you can blame them! |
| 2024-04-13 12:39:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-04-13 12:40:03 +0200 | <ncf> | nice, someone to blame |
| 2024-04-13 12:40:46 +0200 | ncf | quickly checks that lambdabot docs are up to date |
| 2024-04-13 12:41:01 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-13 12:45:22 +0200 | masaeedu | (~masaeedu@user/masaeedu) (Read error: Connection reset by peer) |
| 2024-04-13 12:46:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-13 12:46:28 +0200 | euleritian | (~euleritia@dynamic-176-004-201-094.176.4.pool.telefonica.de) |
| 2024-04-13 12:46:48 +0200 | euleritian | (~euleritia@dynamic-176-004-201-094.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-13 12:47:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-13 12:48:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-13 12:51:19 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-13 12:51:25 +0200 | masaeedu | (~masaeedu@user/masaeedu) |
| 2024-04-13 12:59:55 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-13 13:02:20 +0200 | fireking05 | (~fireking0@103.36.18.87) (Quit: Leaving) |
| 2024-04-13 13:02:31 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-13 13:03:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-13 13:03:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-13 13:27:59 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-13 13:29:18 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-04-13 13:29:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-13 13:30:26 +0200 | danza_ | (~francesco@151.35.225.229) |
| 2024-04-13 13:31:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-13 13:42:17 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Ping timeout: 252 seconds) |
| 2024-04-13 13:45:30 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-13 13:46:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-04-13 14:00:06 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-04-13 14:03:13 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-13 14:05:36 +0200 | img | (~img@user/img) |
| 2024-04-13 14:06:20 +0200 | img | (~img@user/img) (Client Quit) |
| 2024-04-13 14:07:19 +0200 | img | (~img@user/img) |
| 2024-04-13 14:22:20 +0200 | aforemny | (~aforemny@i59F516E8.versanet.de) |
| 2024-04-13 14:23:33 +0200 | aforemny_ | (~aforemny@i59F516F2.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-13 14:32:27 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-04-13 14:35:18 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 14:36:50 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 14:37:17 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:37:17 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:39:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-13 14:39:47 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 14:40:58 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-04-13 14:42:04 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:44:51 +0200 | <masaeedu> | is it correct to assume that Cabal's pkgconfig-depends should be used in preference to extra-libraries whenever possible? |
| 2024-04-13 14:45:51 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 14:46:17 +0200 | <tomsmeding> | yes |
| 2024-04-13 14:46:17 +0200 | masaeedu | (~masaeedu@user/masaeedu) (Read error: Connection reset by peer) |
| 2024-04-13 14:46:24 +0200 | <tomsmeding> | oh |
| 2024-04-13 14:47:22 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 14:48:57 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:48:57 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:51:38 +0200 | masaeedu | (~masaeedu@user/masaeedu) |
| 2024-04-13 14:55:11 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 14:56:41 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 14:57:41 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:57:41 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 14:59:24 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 14:59:53 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 15:00:19 +0200 | raym | (~ray@user/raym) (Ping timeout: 255 seconds) |
| 2024-04-13 15:02:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-13 15:05:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-13 15:06:46 +0200 | raym | (~ray@user/raym) |
| 2024-04-13 15:10:16 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:10:16 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:12:35 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 15:13:24 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:19:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-13 15:19:56 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 15:20:57 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 15:22:10 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:22:10 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:28:21 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 15:30:22 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 15:30:30 +0200 | Square | (~Square@user/square) |
| 2024-04-13 15:37:20 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::febd) |
| 2024-04-13 15:37:35 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::febd) (Client Quit) |
| 2024-04-13 15:39:04 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:39:04 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 15:42:27 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-13 15:43:13 +0200 | n8n | (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
| 2024-04-13 15:48:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4f2e:e3:846:dd49) (Ping timeout: 240 seconds) |
| 2024-04-13 15:50:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1540:8996:2d0b:5b54) |
| 2024-04-13 15:50:20 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 15:51:49 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 16:09:49 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-04-13 16:11:48 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-04-13 16:18:29 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-04-13 16:24:44 +0200 | <masaeedu> | am i understanding correctly that peekByteOff can read more than one byte? |
| 2024-04-13 16:24:59 +0200 | <masaeedu> | (from the Storable class) |
| 2024-04-13 16:25:28 +0200 | <int-e> | yes |
| 2024-04-13 16:25:49 +0200 | <masaeedu> | specifically, the amount read is given by the implementation of sizeOf |
| 2024-04-13 16:25:52 +0200 | <masaeedu> | cool, thanks |
| 2024-04-13 16:28:34 +0200 | <danza_> | hmm which extension would you use for a file containing haskell Show representations? |
| 2024-04-13 16:33:15 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-04-13 16:33:38 +0200 | aforemny_ | (~aforemny@i59F516F8.versanet.de) |
| 2024-04-13 16:33:56 +0200 | aforemny | (~aforemny@i59F516E8.versanet.de) (Ping timeout: 260 seconds) |
| 2024-04-13 16:33:56 +0200 | Square | (~Square@user/square) |
| 2024-04-13 16:35:23 +0200 | jinsun | Guest7650 |
| 2024-04-13 16:35:23 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-04-13 16:35:23 +0200 | Guest7650 | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-04-13 16:35:23 +0200 | jinsun_ | jinsun |
| 2024-04-13 16:36:02 +0200 | <tomsmeding> | danza_: for what purpose? |
| 2024-04-13 16:36:17 +0200 | <danza_> | for parsing again with read |
| 2024-04-13 16:36:24 +0200 | <tomsmeding> | I'd base the extension on what the contents mean or what they are for, not on whether it's Show data |
| 2024-04-13 16:36:31 +0200 | <tomsmeding> | because there's no convention for any extension there |
| 2024-04-13 16:36:49 +0200 | <danza_> | makes sense, just asking in case there was any convention i ignored |
| 2024-04-13 16:36:53 +0200 | <tomsmeding> | (.hs would be the most accurate in a certain sense, but that's certainly a bad idea) |
| 2024-04-13 16:37:13 +0200 | <danza_> | nah many show are not haskell |
| 2024-04-13 16:37:23 +0200 | <danza_> | date for instance |
| 2024-04-13 16:37:31 +0200 | <danza_> | %t fromGregorian |
| 2024-04-13 16:37:48 +0200 | <danza_> | > :t fromGregorian |
| 2024-04-13 16:37:49 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-04-13 16:37:59 +0200 | <tomsmeding> | :t fromGregorian |
| 2024-04-13 16:38:00 +0200 | <lambdabot> | error: Variable not in scope: fromGregorian |
| 2024-04-13 16:38:04 +0200 | <danza_> | cheers |
| 2024-04-13 16:38:07 +0200 | <tomsmeding> | @let import Data.Time |
| 2024-04-13 16:38:08 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:122:1: error: |
| 2024-04-13 16:38:08 +0200 | <lambdabot> | Data.Time: Can't be safely imported! |
| 2024-04-13 16:38:08 +0200 | <lambdabot> | The package (time-1.9.3) the module resides in isn't trusted. |
| 2024-04-13 16:38:11 +0200 | <tomsmeding> | ah |
| 2024-04-13 16:38:18 +0200 | <danza_> | does not matter |
| 2024-04-13 16:38:25 +0200 | <tomsmeding> | I get `2024-04-13` |
| 2024-04-13 16:38:33 +0200 | <danza_> | exactly |
| 2024-04-13 16:38:37 +0200 | tomsmeding | hates that, make it valid haskell and make formatters work plz |
| 2024-04-13 16:39:30 +0200 | <ncf> | have you considered using a serialisation library instead of Show and Read |
| 2024-04-13 16:40:10 +0200 | <danza_> | well it's my zero-effort serialisation system, for commands written real quick |
| 2024-04-13 16:40:54 +0200 | <danza_> | sorry got to go, have a nice weekend o/ |
| 2024-04-13 16:42:21 +0200 | <int-e> | . o O ( .hsdn = Haskell data notation ) |
| 2024-04-13 16:42:34 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-13 16:42:35 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 16:42:35 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 16:44:33 +0200 | danza_ | (~francesco@151.35.225.229) (Read error: Connection reset by peer) |
| 2024-04-13 16:44:44 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 16:45:31 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 16:47:49 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 16:51:52 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 16:55:53 +0200 | m21it | (~m21it@2800:ac:4050:13b:3f54:8773:6555:f2a2) |
| 2024-04-13 17:00:29 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-13 17:01:12 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:01:12 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:01:37 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-04-13 17:20:46 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 17:22:15 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 17:23:29 +0200 | m21it | (~m21it@2800:ac:4050:13b:3f54:8773:6555:f2a2) (Quit: Client closed) |
| 2024-04-13 17:25:11 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-04-13 17:30:06 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:30:06 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:31:56 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 17:33:55 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 17:35:01 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:35:01 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:40:15 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 17:40:45 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 17:41:58 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:41:58 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:44:17 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 17:45:13 +0200 | <duncan> | is this a real thing? |
| 2024-04-13 17:45:51 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 17:47:55 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-04-13 17:52:28 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:52:28 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 17:54:33 +0200 | tomsmeding | has never heard of it |
| 2024-04-13 17:54:49 +0200 | <tomsmeding> | and given the above points about Show it's better that it's not a thing |
| 2024-04-13 17:55:42 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 17:56:12 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 18:00:36 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:00:37 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:02:22 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 18:03:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-13 18:04:53 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 18:05:16 +0200 | califax | (~califax@user/califx) |
| 2024-04-13 18:10:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-13 18:19:44 +0200 | n8n | (n8n@user/n8n) |
| 2024-04-13 18:21:27 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-04-13 18:22:11 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-13 18:22:23 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:22:23 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:23:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-13 18:24:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-13 18:24:13 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 18:24:42 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 18:31:32 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:31:32 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:32:21 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-13 18:35:55 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-13 18:40:35 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 18:42:07 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 18:42:48 +0200 | <mauke> | you probably don't want to hear how my old IRC bot implemented its storage, then :-) |
| 2024-04-13 18:45:55 +0200 | <mauke> | CREATE TABLE xtable (xkey BLOB NOT NULL PRIMARY KEY, xvalue BLOB NOT NULL); |
| 2024-04-13 18:46:11 +0200 | <mauke> | and most of the values where strings from 'show' |
| 2024-04-13 18:46:22 +0200 | <mauke> | s/where/were/ |
| 2024-04-13 18:46:34 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:46:34 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 18:47:14 +0200 | <sprout> | this is the way |
| 2024-04-13 18:48:30 +0200 | <mauke> | (originally the storage backend wasn't even SQL, just a persistent Data.Map, hence the impedance mismatch) |
| 2024-04-13 18:49:45 +0200 | <mauke> | but it meant the bot recorded karma scores as bignums (Integer) and timestamps with picosecond precision :-) |
| 2024-04-13 18:49:47 +0200 | sam113101 | (~sam@24.157.253.231) (Quit: WeeChat 4.1.2) |
| 2024-04-13 18:52:20 +0200 | <mauke> | also, protip: it really pays off to have a separate "storage server" process that takes care of all the persistence stuff |
| 2024-04-13 18:53:17 +0200 | <mauke> | because if you want to add multi-server/multi-network capability to your bot, you can just run multiple instances all talking to the same storage backend |
| 2024-04-13 18:53:21 +0200 | <mauke> | without having to deal with threads |
| 2024-04-13 18:59:57 +0200 | rawles | (sid630849@user/rawles) |
| 2024-04-13 19:01:50 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-13 19:02:28 +0200 | <EvanR> | sqlite3 overwhelming |
| 2024-04-13 19:03:42 +0200 | <EvanR> | separate out the storage to another process |
| 2024-04-13 19:03:48 +0200 | <EvanR> | separate out the GUI to another process |
| 2024-04-13 19:04:01 +0200 | <EvanR> | separate out the app logic to another process |
| 2024-04-13 19:04:16 +0200 | <EvanR> | separate out the crash reports to another process |
| 2024-04-13 19:04:58 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 19:06:28 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 19:06:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-13 19:11:35 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-13 19:12:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-13 19:13:09 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-13 19:13:21 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:13:21 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:14:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-13 19:16:39 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-13 19:17:15 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 19:17:44 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 19:20:20 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-04-13 19:24:46 +0200 | <mauke> | I did use sqlite :-) |
| 2024-04-13 19:28:02 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:28:02 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:30:31 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 19:33:06 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 19:33:23 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Ping timeout: 260 seconds) |
| 2024-04-13 19:37:15 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:37:15 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:50:35 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-13 19:53:38 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 19:55:09 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 19:56:36 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:56:36 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 19:57:39 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) |
| 2024-04-13 19:59:05 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 20:00:06 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 20:00:29 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 20:00:29 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 20:06:37 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-13 20:07:39 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 20:09:09 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 20:11:01 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Ping timeout: 246 seconds) |
| 2024-04-13 20:13:27 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-13 20:14:10 +0200 | orcus | (~orcus@81.78.98.223) (Ping timeout: 246 seconds) |
| 2024-04-13 20:14:12 +0200 | dispater- | (~dispater@81.78.98.223) (Ping timeout: 260 seconds) |
| 2024-04-13 20:14:24 +0200 | <ph88> | does anyone know how to make the `test2` function work? https://bpa.st/ZQXA perhaps i can type annotate it somehow? |
| 2024-04-13 20:15:50 +0200 | <geekosaur> | I think you need to use either OverloadedLabels or OverloadedRecordDot |
| 2024-04-13 20:17:42 +0200 | <ph88> | i tried putting both of those extensions in both source files same type error appears. I also tried writing `test.fieldB` instead of `fieldB test` same type error |
| 2024-04-13 20:18:48 +0200 | <ph88> | oh `test.fieldB` works actually, didn't save file before recompile |
| 2024-04-13 20:19:53 +0200 | <geekosaur> | just the extension isn't enough, for OverloadedLabels it would be `test #fieldB` |
| 2024-04-13 20:21:03 +0200 | <ph88> | hhmm that doesn't seem quite right somehow https://bpa.st/TATA |
| 2024-04-13 20:22:23 +0200 | <geekosaur> | hm, that's with OverloadedLabels? looks like the error I'd expect without that extension |
| 2024-04-13 20:23:58 +0200 | <ph88> | yes {-# LANGUAGE OverloadedLabels #-} |
| 2024-04-13 20:27:36 +0200 | <cheater> | i ran hasktags -bx . and set vim to use TAGS and all the tags are off by one line. what gives? |
| 2024-04-13 20:28:55 +0200 | <geekosaur> | mrf, I keep forgetting ghc doesn't actually give you the implementation for labels, you get half of one if you import `GHC.OverloadedLabels` (the error message will become better in that case) |
| 2024-04-13 20:29:10 +0200 | <geekosaur> | I guess you have to use OverloadedRecordDot for that to work |
| 2024-04-13 20:31:36 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:1acf:2b1a:7f58:c229) (Ping timeout: 268 seconds) |
| 2024-04-13 20:32:45 +0200 | <ph88> | what is mrf ? |
| 2024-04-13 20:33:16 +0200 | <geekosaur> | a vocalization |
| 2024-04-13 20:33:21 +0200 | <ph88> | How would the implementation for a label look? Can it be automatically derived? |
| 2024-04-13 20:33:35 +0200 | <geekosaur> | (expression of annoyance) |
| 2024-04-13 20:33:45 +0200 | <ph88> | :D |
| 2024-04-13 20:34:06 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.8.1/docs/users_guide/exts/overloaded_labels.html you can't derive IsLabel automatically |
| 2024-04-13 20:35:25 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:5054:ff:fee3:b667) |
| 2024-04-13 20:35:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-13 20:35:49 +0200 | <ph88> | OverloadedRecordDot it is then :D |
| 2024-04-13 20:51:22 +0200 | Square | (~Square@user/square) |
| 2024-04-13 21:00:31 +0200 | <tomsmeding> | mauke: that definitely is the way, I love that setup, good hacker spirit |
| 2024-04-13 21:01:19 +0200 | dispater- | (~dispater@81.78.98.223) |
| 2024-04-13 21:02:19 +0200 | orcus | (~orcus@81.78.98.223) |
| 2024-04-13 21:09:12 +0200 | orcus | (~orcus@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 21:09:12 +0200 | dispater- | (~dispater@81.78.98.223) (Remote host closed the connection) |
| 2024-04-13 21:17:19 +0200 | <monochrom> | We should also get OverloadedLambda so that λ is sometimes an identifier so you can use it for eigenvalues and some other times it is \ as in (λx -> x+1) = (\x -> x+1). |
| 2024-04-13 21:17:50 +0200 | <monochrom> | And of course (λλ. λ+1) should also be allowed! >:) |
| 2024-04-13 21:22:50 +0200 | ncf | . o O ( https://acatalepsie.fr/posts/overloading-lambda.html ) |
| 2024-04-13 21:25:14 +0200 | <geekosaur> | λ𝛌 |
| 2024-04-13 21:27:30 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-13 21:32:40 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3441-8387-4d4a-30bf-c616-39eb.rev.sfr.net) |
| 2024-04-13 21:33:49 +0200 | <dolio> | Sounds great in combination with BlockArguments. |
| 2024-04-13 21:34:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-13 21:36:01 +0200 | <monochrom> | haha |
| 2024-04-13 21:36:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-13 21:41:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-13 21:48:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-13 21:55:51 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-04-13 21:56:27 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-04-13 22:02:49 +0200 | yeitrafferin | (~user@2a04:4540:7205:9100:c4d1:c353:27f3:f1a5) (Quit: Leaving) |
| 2024-04-13 22:03:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-13 22:08:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3441-8387-4d4a-30bf-c616-39eb.rev.sfr.net) (Remote host closed the connection) |
| 2024-04-13 22:11:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-13 22:12:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-13 22:12:33 +0200 | mima | (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de) |
| 2024-04-13 22:15:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-13 22:26:00 +0200 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-13 22:40:10 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-13 22:43:14 +0200 | schola | (~user@adsl196-214-137-206-196.adsl196-5.iam.net.ma) |
| 2024-04-13 22:43:34 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-13 22:49:12 +0200 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-04-13 22:56:40 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-13 22:59:23 +0200 | phma | (~phma@host-67-44-208-158.hnremote.net) (Read error: Connection reset by peer) |
| 2024-04-13 23:00:08 +0200 | phma | (phma@2001:5b0:215a:e298:fd17:443b:b4a0:861c) |
| 2024-04-13 23:12:20 +0200 | zetef | (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) |
| 2024-04-13 23:26:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-13 23:29:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-13 23:29:38 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-04-13 23:31:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-13 23:32:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-13 23:32:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-13 23:32:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-13 23:34:03 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |