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