| 2022-04-09 00:00:35 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-09 00:03:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 00:04:16 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-09 00:06:35 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-09 00:08:09 +0000 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-09 00:08:44 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-09 00:10:30 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 00:12:00 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-09 00:15:05 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-09 00:16:28 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-04-09 00:17:21 +0000 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 256 seconds) |
| 2022-04-09 00:17:22 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-04-09 00:22:15 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-04-09 00:22:43 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-09 00:36:45 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 00:39:07 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::484e) |
| 2022-04-09 00:41:00 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::484e) (Client Quit) |
| 2022-04-09 00:49:12 +0000 | [_] | [itchyjunk] |
| 2022-04-09 00:56:09 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 00:57:35 +0000 | slack1256 | (~slack1256@191.125.227.86) (Ping timeout: 256 seconds) |
| 2022-04-09 00:59:33 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-04-09 00:59:59 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-09 01:05:42 +0000 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 2022-04-09 01:05:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 01:08:13 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 01:10:46 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-09 01:11:07 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-09 01:12:56 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds) |
| 2022-04-09 01:13:07 +0000 | <abastro[m]> | Depending on packages in other languages is scary? |
| 2022-04-09 01:16:15 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-09 01:16:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 01:16:53 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-09 01:17:36 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-04-09 01:17:58 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-09 01:18:08 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-09 01:19:06 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-09 01:20:39 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 246 seconds) |
| 2022-04-09 01:20:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 01:24:09 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-09 01:24:23 +0000 | <ornxka> | abastro[m]: it is always scary in every language, so i try to minimize them if possible |
| 2022-04-09 01:24:37 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 01:25:36 +0000 | <ornxka> | even glibc breaks things occasionally, they have some stupid linker trick where programs compiled against a certain version of glibc will fail to dynamically load sufficiently newer versions of glibc |
| 2022-04-09 01:27:46 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-09 01:32:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-09 01:32:58 +0000 | napping | (~brandon@65.128.49.110) (Quit: leaving) |
| 2022-04-09 01:34:52 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 01:39:31 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-09 01:43:04 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 01:50:45 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-09 01:51:35 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-09 01:53:15 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-09 01:54:26 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 01:59:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-09 02:00:37 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 02:01:39 +0000 | <monochrom> | containers has a small graph library under Data.Graph. It comes with GHC. It's pretty small though. |
| 2022-04-09 02:02:50 +0000 | <monochrom> | fgl doesn't bring in a lot of transitive dependency though. |
| 2022-04-09 02:05:13 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-09 02:06:04 +0000 | <abastro[m]> | ornxka: Ye, makes sense |
| 2022-04-09 02:07:38 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 02:08:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 02:11:31 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2022-04-09 02:12:11 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 02:14:28 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 02:14:33 +0000 | Guest8496 | (~Guest84@23.191.80.16) |
| 2022-04-09 02:14:50 +0000 | dons | waves |
| 2022-04-09 02:14:54 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-09 02:15:31 +0000 | Guest8496 | (~Guest84@23.191.80.16) (Client Quit) |
| 2022-04-09 02:16:28 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 02:16:36 +0000 | justOkay | (~justache@user/justache) (Remote host closed the connection) |
| 2022-04-09 02:17:32 +0000 | justOkay | (~justache@user/justache) |
| 2022-04-09 02:18:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 02:21:54 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 02:23:23 +0000 | <abastro[m]> | Btw why is there no cabal gc library where you could specify cabal files to keep dependency of? |
| 2022-04-09 02:28:02 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 02:29:34 +0000 | <abastro[m]> | cabalgc fails to remove many dangling dependencies |
| 2022-04-09 02:35:29 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 02:36:46 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-09 02:36:47 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-09 02:36:47 +0000 | finn_elija | FinnElija |
| 2022-04-09 02:37:55 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-04-09 02:39:11 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-09 02:39:53 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-09 02:43:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-04-09 02:47:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-09 02:53:33 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-09 02:54:20 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-09 02:54:49 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 02:55:41 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-09 02:58:20 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2022-04-09 02:58:21 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 02:58:39 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-09 03:01:07 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-04-09 03:03:11 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 03:07:11 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-09 03:20:36 +0000 | Cheveride | (~jackjp3@pool-71-164-77-123.albyny.east.verizon.net) |
| 2022-04-09 03:20:38 +0000 | Cheveride | (~jackjp3@pool-71-164-77-123.albyny.east.verizon.net) () |
| 2022-04-09 03:24:21 +0000 | <janus> | @tell napping how is your adventure with hypertypes going? |
| 2022-04-09 03:24:21 +0000 | <lambdabot> | Consider it noted. |
| 2022-04-09 03:31:41 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-09 03:36:45 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 03:38:24 +0000 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
| 2022-04-09 03:55:14 +0000 | wideEyedPupil | (~wideEyedP@124.189.229.219) |
| 2022-04-09 03:58:25 +0000 | <wideEyedPupil> | beginner here. having some install issues. pointfree & Hlint won't install on my M1 Mac mini b/c Haskell version that is AS M1 compatible isn't compatible with them (I'm told). So tried on an older intel Mac. GHC installed but "ghcup tui" just errors. ghci works. installed point free but involving the command on the command line or inside GHCi as |
| 2022-04-09 03:58:25 +0000 | <wideEyedPupil> | per documentation `>pointfree "sum xs = foldr (+) 0 xs" just errors. |
| 2022-04-09 03:58:49 +0000 | <wideEyedPupil> | involving -> inkvoking |
| 2022-04-09 03:58:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-09 04:00:21 +0000 | <wideEyedPupil> | @free sum xs = foldr (+) 0 xs |
| 2022-04-09 04:00:21 +0000 | <lambdabot> | Extra stuff at end of line |
| 2022-04-09 04:00:28 +0000 | <wideEyedPupil> | don't work here either… |
| 2022-04-09 04:01:42 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 04:03:01 +0000 | <wideEyedPupil> | Uploaded file: https://uploads.kiwiirc.com/files/ed6468e652621bb8736d9f0e4e51fd8f/ZaWuwniP.tar |
| 2022-04-09 04:10:47 +0000 | <abastro[m]> | Eh, ghcup should work on Mac M1 chip as well |
| 2022-04-09 04:10:52 +0000 | <abastro[m]> | That was what I was told |
| 2022-04-09 04:12:28 +0000 | <wideEyedPupil> | yes it does. I have ghcup working on an M1 Mac mini ATM. I used the same install command on an intel MBP and it didn't seem to work, I mean GHCi works fine, maybe it's the $PATH variable needs to be updated? It doesn't recognise the ghcup command. |
| 2022-04-09 04:13:08 +0000 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-04-09 04:13:15 +0000 | toulene | (~toulene@user/toulene) |
| 2022-04-09 04:14:03 +0000 | <abastro[m]> | Oh, it works on M1 but not on Intel mac? |
| 2022-04-09 04:14:25 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-09 04:15:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 04:15:40 +0000 | <abastro[m]> | Btw I think Hlint should be OS-agnostic |
| 2022-04-09 04:18:06 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-09 04:21:17 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-09 04:23:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 04:25:29 +0000 | wideEyedPupil | (~wideEyedP@124.189.229.219) (Ping timeout: 248 seconds) |
| 2022-04-09 04:28:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 04:33:58 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-09 04:38:49 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-09 04:53:06 +0000 | <sm> | wideEyedPupil: it's often a PATH problem. Use `type -a PROG` to see what is in your path and `PROG --version` to see what version it is. Eg `type -a ghcup; ghcup --version` |
| 2022-04-09 04:54:02 +0000 | <sm> | you can also do `ls -l PATH/TO/PROG` to see when it was installed |
| 2022-04-09 05:03:23 +0000 | <sm> | FYI both packages gave trouble with GHC 9.x here, but `stack install pointfree hlint --resolver lts-18.28` works on m1 |
| 2022-04-09 05:06:37 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-09 05:08:20 +0000 | <sm> | (using the m1-compatible stack/ghcs installed by ghcup) |
| 2022-04-09 05:15:12 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-09 05:20:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 05:21:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 05:24:00 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-04-09 05:27:45 +0000 | frost | (~frost@user/frost) |
| 2022-04-09 05:27:56 +0000 | frost | (~frost@user/frost) (Write error: Broken pipe) |
| 2022-04-09 05:28:51 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 2022-04-09 05:35:49 +0000 | razetime | (~quassel@117.254.35.170) |
| 2022-04-09 05:37:54 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 05:41:01 +0000 | <janus> | sm: using the newest stack, is it still necessary to use 'system-ghc'? |
| 2022-04-09 05:41:41 +0000 | fr33domlover | (~fr33@5.102.204.220) |
| 2022-04-09 05:42:01 +0000 | <sm> | janus: if you want it to use the system ghc ? yes |
| 2022-04-09 05:42:38 +0000 | <janus> | oh, i just thought you used the system ghc because it wasn't able to install the ghc for M1 previously |
| 2022-04-09 05:42:49 +0000 | <janus> | but it sounds like there might be another reason? |
| 2022-04-09 05:46:37 +0000 | <sm> | janus: no you're right, that's the reason |
| 2022-04-09 05:48:02 +0000 | <janus> | i ask because i am wondering whether there is still something missing in stack 2.7.5. because the changelog suggests that it should be able to install itself now |
| 2022-04-09 05:51:26 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-09 05:52:01 +0000 | frost | (~frost@user/frost) |
| 2022-04-09 05:53:56 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 05:54:00 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-09 06:24:47 +0000 | acidjnk | (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) |
| 2022-04-09 06:27:18 +0000 | <Axman6> | (asking here too because #ghc is quiet on weekends) I was listening to the Signals & Threads podcast a while ago, and they mentioned an interesting improvement that had been added to the OCaml garbage collector. They use a queue of objects to be fetched, with a prefetch issued when the object is added to the queue (see https://signalsandthreads.com/memory-management/, sound 00:32:06 in the transscript). Has anyone considered a similar thing in GHC's GC(s)? |
| 2022-04-09 06:27:28 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-09 06:28:38 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 06:29:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 06:36:36 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 06:37:11 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 06:38:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 06:41:35 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-04-09 06:43:13 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-09 06:43:22 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 06:45:02 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-09 06:47:47 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 06:52:52 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-09 07:01:23 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-09 07:04:17 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-09 07:05:03 +0000 | razetime | (~quassel@117.254.35.170) (Ping timeout: 268 seconds) |
| 2022-04-09 07:06:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-09 07:08:08 +0000 | fr33domlover | (~fr33@5.102.204.220) (Ping timeout: 268 seconds) |
| 2022-04-09 07:09:12 +0000 | fr33domlover | (~fr33@2.53.24.182) |
| 2022-04-09 07:09:19 +0000 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) |
| 2022-04-09 07:10:52 +0000 | <abastro> | I wonder if sub0 is/will be here |
| 2022-04-09 07:15:06 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 07:15:41 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 07:17:42 +0000 | <pavonia> | Is there a list of all commands supported by haskeline's config files? |
| 2022-04-09 07:20:39 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-09 07:22:55 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-09 07:23:27 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 07:30:00 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 07:30:50 +0000 | <pavonia> | Found https://github.com/judah/haskeline/wiki/KeyBindings |
| 2022-04-09 07:38:55 +0000 | razetime | (~quassel@117.254.35.170) |
| 2022-04-09 07:40:06 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 07:44:16 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399) |
| 2022-04-09 07:48:48 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 07:49:45 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 07:57:47 +0000 | derelict | (~derelict@user/derelict) (Quit: bye) |
| 2022-04-09 08:01:22 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 08:02:53 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-04-09 08:05:45 +0000 | razetime | (~quassel@117.254.35.170) (Remote host closed the connection) |
| 2022-04-09 08:06:13 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-09 08:06:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 08:08:49 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-09 08:10:21 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-09 08:10:33 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 08:12:05 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-09 08:13:39 +0000 | razetime | (~quassel@117.254.35.170) |
| 2022-04-09 08:16:52 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-09 08:18:53 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 08:23:06 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 08:24:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-09 08:28:50 +0000 | derelict | (~derelict@user/derelict) |
| 2022-04-09 08:31:30 +0000 | derelict | (~derelict@user/derelict) (Client Quit) |
| 2022-04-09 08:34:51 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-09 08:35:26 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 08:35:43 +0000 | derelict | (~derelict@user/derelict) |
| 2022-04-09 08:36:11 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-09 08:40:25 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
| 2022-04-09 08:40:39 +0000 | chomwitt | (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) |
| 2022-04-09 08:41:07 +0000 | razetime | (~quassel@117.254.35.170) (Ping timeout: 256 seconds) |
| 2022-04-09 08:44:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 08:44:12 +0000 | slack1256 | (~slack1256@191.126.227.197) |
| 2022-04-09 08:47:16 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 08:51:37 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 08:51:37 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 08:52:32 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-04-09 08:54:26 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-09 08:57:25 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:00:37 +0000 | chddr | (~Thunderbi@91.226.34.187) |
| 2022-04-09 09:02:13 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-09 09:04:35 +0000 | chomwitt | (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) (Remote host closed the connection) |
| 2022-04-09 09:04:51 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-09 09:05:21 +0000 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) |
| 2022-04-09 09:07:35 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:09:37 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2022-04-09 09:10:35 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-09 09:12:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 09:14:20 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-09 09:17:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:17:51 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 09:19:48 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-09 09:20:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-04-09 09:20:34 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) (Quit: Leaving) |
| 2022-04-09 09:20:39 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-09 09:21:51 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-09 09:21:54 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 09:22:29 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 09:27:54 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:28:15 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-09 09:32:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 09:32:49 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-09 09:35:53 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-09 09:37:53 +0000 | slac26216 | (~slack1256@186.11.100.14) |
| 2022-04-09 09:38:03 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:39:09 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-09 09:39:23 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 09:39:31 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-09 09:39:45 +0000 | slack1256 | (~slack1256@191.126.227.197) (Ping timeout: 246 seconds) |
| 2022-04-09 09:42:33 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 09:44:06 +0000 | robosexual | (~spaceoyst@77.223.90.202) |
| 2022-04-09 09:47:31 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) |
| 2022-04-09 09:48:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 09:48:21 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-09 09:49:32 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 09:50:41 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-09 09:53:18 +0000 | robosexual | (~spaceoyst@77.223.90.202) (Quit: Konversation terminated!) |
| 2022-04-09 09:53:45 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-09 09:54:01 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-09 09:56:17 +0000 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving) |
| 2022-04-09 09:57:38 +0000 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-09 09:57:48 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-09 09:58:41 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-09 10:12:35 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-09 10:16:51 +0000 | fr33domlover | (~fr33@2.53.24.182) (Ping timeout: 246 seconds) |
| 2022-04-09 10:17:23 +0000 | fr33domlover | (~fr33@2.53.60.247) |
| 2022-04-09 10:17:53 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-04-09 10:18:28 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-04-09 10:20:15 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 10:24:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 10:27:05 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2022-04-09 10:29:42 +0000 | slac26216 | (~slack1256@186.11.100.14) (Remote host closed the connection) |
| 2022-04-09 10:31:16 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 10:35:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-09 10:35:24 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-09 10:35:38 +0000 | califax | (~califax@user/califx) |
| 2022-04-09 10:35:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-09 10:36:27 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-09 10:40:57 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-09 10:41:34 +0000 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 2022-04-09 10:44:07 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 10:46:23 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-09 10:46:28 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-09 10:48:00 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-04-09 10:49:20 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 10:52:38 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-09 10:53:00 +0000 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-09 10:53:43 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-09 10:54:40 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-04-09 11:01:00 +0000 | michalz | (~michalz@185.246.204.101) |
| 2022-04-09 11:01:50 +0000 | shailangsa | (~shailangs@host86-162-150-212.range86-162.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-04-09 11:03:49 +0000 | typetetris | (sid275937@id-275937.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-09 11:04:19 +0000 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2022-04-09 11:18:17 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-09 11:18:39 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) |
| 2022-04-09 11:20:00 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-04-09 11:21:35 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-04-09 11:22:23 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-09 11:23:28 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-09 11:24:17 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 11:28:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 11:33:03 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 11:35:16 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 11:36:26 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 11:40:09 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-09 11:40:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 11:40:39 +0000 | sndr | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-09 11:40:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-09 11:41:45 +0000 | acidjnk | (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-09 11:43:33 +0000 | sander | (~sander@user/sander) |
| 2022-04-09 11:44:55 +0000 | sander | sndr |
| 2022-04-09 11:45:42 +0000 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) |
| 2022-04-09 11:47:30 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2022-04-09 11:47:45 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-04-09 11:48:46 +0000 | gustik | (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) |
| 2022-04-09 11:49:04 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 11:53:59 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 11:55:43 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-09 11:57:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 12:01:42 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-09 12:03:05 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:03:28 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-09 12:04:21 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-09 12:06:00 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-09 12:07:27 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 12:08:27 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-04-09 12:08:27 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-09 12:09:18 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 12:10:54 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 12:12:04 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-09 12:12:18 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-09 12:13:15 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:14:04 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 12:15:53 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-09 12:16:03 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-09 12:17:36 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 12:21:45 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-09 12:23:24 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:23:31 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 12:25:08 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-09 12:28:01 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 12:28:11 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-09 12:30:16 +0000 | dextaa | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-09 12:32:17 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-09 12:32:58 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 12:33:33 +0000 | acidjnk | (~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de) |
| 2022-04-09 12:33:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:33:45 +0000 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-09 12:34:00 +0000 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) |
| 2022-04-09 12:35:51 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 12:37:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 12:37:34 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 12:37:59 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 12:40:24 +0000 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-09 12:41:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-09 12:42:33 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-09 12:42:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-09 12:43:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:46:07 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-09 12:48:03 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 12:51:35 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-09 12:53:54 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 12:59:15 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 13:08:54 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-09 13:11:17 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-09 13:12:40 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-09 13:16:34 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-09 13:18:43 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-09 13:19:39 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 13:21:11 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-09 13:23:00 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 13:31:25 +0000 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-09 13:33:59 +0000 | razetime | (~quassel@117.254.35.170) |
| 2022-04-09 13:34:10 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-09 13:36:34 +0000 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-09 13:38:01 +0000 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) (Ping timeout: 248 seconds) |
| 2022-04-09 13:39:30 +0000 | zyklotomic | (~ethan@res388d-128-61-94-65.res.gatech.edu) (Ping timeout: 246 seconds) |
| 2022-04-09 13:40:31 +0000 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) |
| 2022-04-09 13:41:12 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-09 13:41:38 +0000 | zyklotomic | (~ethan@r4-128-61-95-166.res.gatech.edu) |
| 2022-04-09 13:48:50 +0000 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-09 13:49:22 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-09 13:49:35 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds) |
| 2022-04-09 13:50:45 +0000 | <ishaan> | Hi! I will be participating in GSoC 2022 and I really want to work on Haskell. I'm gravitating towards "Support more LSP Features in HLS" but it doesn't mention on the ideas page what the required skills for this project are. Can someone give me an approximation regarding the required level of Haskell experience? |
| 2022-04-09 13:51:25 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-09 13:53:24 +0000 | <maerwald[m]> | ishaan: also check out #haskell-language-server |
| 2022-04-09 13:53:43 +0000 | <maerwald[m]> | I don't know at the moment who's responsible for the GSoC stuff |
| 2022-04-09 13:55:08 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 268 seconds) |
| 2022-04-09 13:56:16 +0000 | <ishaan> | Okay thanks maerwald[m]. I guess I'll directly email the listed mentor. |
| 2022-04-09 13:56:45 +0000 | foul_owl | (~kerry@23.82.193.88) (Ping timeout: 256 seconds) |
| 2022-04-09 13:57:45 +0000 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) |
| 2022-04-09 13:58:27 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-09 13:58:30 +0000 | <maerwald[m]> | ishaan: who's that? |
| 2022-04-09 13:58:52 +0000 | <ishaan> | for this particular project, it's Michael Peyton Jones |
| 2022-04-09 13:59:14 +0000 | <maerwald[m]> | Oh, he's on the hls channel |
| 2022-04-09 13:59:27 +0000 | <maerwald[m]> | And on matrix |
| 2022-04-09 14:00:48 +0000 | <ishaan> | d |
| 2022-04-09 14:01:55 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-04-09 14:03:16 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-09 14:03:39 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-04-09 14:05:50 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-09 14:07:39 +0000 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-09 14:07:43 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-09 14:09:47 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 256 seconds) |
| 2022-04-09 14:10:20 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-09 14:10:25 +0000 | <maerwald[m]> | dminuoso_: https://www.openssh.com/releasenotes.html |
| 2022-04-09 14:10:30 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-09 14:10:49 +0000 | <maerwald[m]> | "use the hybrid Streamlined NTRU Prime + x25519 key |
| 2022-04-09 14:10:49 +0000 | <maerwald[m]> | exchange method by default" |
| 2022-04-09 14:11:40 +0000 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-09 14:11:50 +0000 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) |
| 2022-04-09 14:12:39 +0000 | foul_owl | (~kerry@23.82.193.88) |
| 2022-04-09 14:14:30 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-04-09 14:15:06 +0000 | <abastro> | Why ppl dislike lazy IO when I quite like it :< |
| 2022-04-09 14:15:35 +0000 | <abastro> | Like, how many times should you care about when certain effects happen |
| 2022-04-09 14:16:45 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-09 14:18:13 +0000 | acidjnk | (~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-09 14:19:57 +0000 | <maerwald[m]> | abastro: because resource management is borked and it's literally using unsafeInterleaveIO |
| 2022-04-09 14:20:11 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-04-09 14:21:25 +0000 | <maerwald[m]> | http://newartisans.com/2013/05/three-examples-of-problems-with-lazy-io/ |
| 2022-04-09 14:22:53 +0000 | <abastro> | Eh IIRC source of exception is always unclear in haskell |
| 2022-04-09 14:23:19 +0000 | <maerwald[m]> | Excellent example of how "correctness" isn't as popular in Haskell as people think :p |
| 2022-04-09 14:23:23 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-09 14:23:51 +0000 | <abastro> | Well yea they perhaps prefer masochism of being restrained by types |
| 2022-04-09 14:24:31 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-09 14:24:35 +0000 | <abastro> | Also in the end, lazy IO's problem also exists for laziness itself |
| 2022-04-09 14:24:46 +0000 | <maerwald[m]> | Yeah, correctness is mostly considered to be a property of the type system |
| 2022-04-09 14:24:47 +0000 | <abastro> | But if you don't like laziness, there is next to no reason to use haskell |
| 2022-04-09 14:24:54 +0000 | <maerwald[m]> | Which I largely disagree with |
| 2022-04-09 14:24:58 +0000 | <abastro> | Why |
| 2022-04-09 14:25:03 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-09 14:25:08 +0000 | <abastro> | Oh |
| 2022-04-09 14:25:16 +0000 | <abastro> | You mean correctness is not a property of type system |
| 2022-04-09 14:25:30 +0000 | <abastro> | Yeah, low-level correctness is often more important I heard |
| 2022-04-09 14:25:38 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-09 14:25:41 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-04-09 14:25:49 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-04-09 14:26:13 +0000 | <abastro> | I guess finally I see that type system could be quite useless |
| 2022-04-09 14:26:45 +0000 | <abastro> | Well, for practical programming, that is |
| 2022-04-09 14:28:26 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-04-09 14:28:43 +0000 | <abastro> | (..then I always forget that laziness is not only non-strict evaluation scheme. Duh) |
| 2022-04-09 14:29:53 +0000 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 260 seconds) |
| 2022-04-09 14:30:37 +0000 | werdnA | (~andrew@114.88.181.56) |
| 2022-04-09 14:30:51 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 14:31:21 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-09 14:32:09 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 14:35:11 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-09 14:35:11 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) (Read error: Connection reset by peer) |
| 2022-04-09 14:38:07 +0000 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) (Ping timeout: 256 seconds) |
| 2022-04-09 14:38:54 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 14:42:52 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-09 14:43:03 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-09 14:43:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-09 14:45:32 +0000 | <maerwald[m]> | You're jumping to a lot of conclusions here |
| 2022-04-09 14:45:47 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 14:47:21 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-04-09 14:49:01 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 14:50:01 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds) |
| 2022-04-09 14:50:01 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-09 14:56:01 +0000 | <abastro> | Wdym jumping conclusions? |
| 2022-04-09 14:57:56 +0000 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-09 14:58:55 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 14:59:31 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-09 14:59:39 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-09 15:00:21 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-09 15:02:43 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 15:03:46 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-09 15:04:31 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 15:06:03 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 2022-04-09 15:06:06 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-09 15:07:53 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2022-04-09 15:07:53 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2022-04-09 15:07:53 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-04-09 15:09:04 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-09 15:09:36 +0000 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-04-09 15:09:51 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-09 15:10:59 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-09 15:11:05 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-09 15:11:22 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-04-09 15:13:31 +0000 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-04-09 15:14:37 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-09 15:15:47 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-09 15:16:53 +0000 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-09 15:18:50 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 15:19:44 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-09 15:23:27 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 15:25:28 +0000 | <haskellberry> | In recursive data structures such as Tree, how to refer to the parent node? |
| 2022-04-09 15:25:37 +0000 | <haskellberry> | do we have to use things like a Zipper? |
| 2022-04-09 15:26:13 +0000 | <geekosaur> | or "tying the knot" |
| 2022-04-09 15:26:42 +0000 | <haskellberry> | geekosaur: meaning? |
| 2022-04-09 15:27:14 +0000 | <geekosaur> | it's a technique for lazily making self-referential data structures |
| 2022-04-09 15:27:38 +0000 | <geekosaur> | https://wiki.haskell.org/Tying_the_Knot |
| 2022-04-09 15:27:49 +0000 | <haskellberry> | thx let me check |
| 2022-04-09 15:29:00 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 15:29:02 +0000 | <geekosaur> | you can also do a web search for "tying the knot laziness" for more details |
| 2022-04-09 15:29:24 +0000 | cheater | (~Username@user/cheater) |
| 2022-04-09 15:30:19 +0000 | <haskellberry> | nice usage of laziness...i can never think of it by myself |
| 2022-04-09 15:31:09 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-09 15:31:37 +0000 | <haskellberry> | not too readable though |
| 2022-04-09 15:31:49 +0000 | <haskellberry> | without proper training first |
| 2022-04-09 15:33:31 +0000 | <c_wraith> | in general you don't want circular references in data structures anyway |
| 2022-04-09 15:33:39 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 15:34:01 +0000 | <c_wraith> | they prevent doing efficient updates |
| 2022-04-09 15:35:21 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-09 15:37:09 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 15:39:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 15:44:06 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-09 15:44:59 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 15:45:42 +0000 | hololeap | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2022-04-09 15:46:35 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-04-09 15:46:44 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 15:46:46 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-09 15:47:08 +0000 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2022-04-09 15:48:31 +0000 | oats | (~thomas@user/oats) |
| 2022-04-09 15:48:36 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 15:49:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 15:51:14 +0000 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-09 15:52:46 +0000 | oats | (~thomas@user/oats) (Client Quit) |
| 2022-04-09 15:53:32 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds) |
| 2022-04-09 15:54:00 +0000 | oats | (~thomas@user/oats) |
| 2022-04-09 15:54:15 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 16:02:15 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-04-09 16:03:07 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-04-09 16:05:48 +0000 | <monochrom> | You can just go ahead and write like "mytree = Node mytree mytree". |
| 2022-04-09 16:07:36 +0000 | <monochrom> | But "can do it without training" is in conflict with "but programming is a profession, should even be called engineering". Make up your mind, pick one already. |
| 2022-04-09 16:07:53 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-09 16:08:34 +0000 | <monochrom> | Even Greg Wilson's "no no, programming is a craft", well craft implies training too. |
| 2022-04-09 16:09:48 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 240 seconds) |
| 2022-04-09 16:10:48 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds) |
| 2022-04-09 16:12:39 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 268 seconds) |
| 2022-04-09 16:13:16 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2022-04-09 16:13:25 +0000 | <abastro[m]> | (I wish programming were a proper profession, but nowadays it seems more like an opportunity for those not faring well) |
| 2022-04-09 16:14:02 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-09 16:14:03 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-04-09 16:15:35 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-04-09 16:16:26 +0000 | <maerwald> | what? :D |
| 2022-04-09 16:16:51 +0000 | Alleria | (~textual@user/alleria) (Read error: Connection reset by peer) |
| 2022-04-09 16:17:03 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-09 16:17:07 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-09 16:19:31 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-09 16:22:13 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-09 16:22:57 +0000 | razetime | (~quassel@117.254.35.170) (Ping timeout: 256 seconds) |
| 2022-04-09 16:23:56 +0000 | cheater | (~Username@user/cheater) |
| 2022-04-09 16:27:11 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-09 16:27:37 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds) |
| 2022-04-09 16:29:14 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-09 16:29:27 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-04-09 16:38:51 +0000 | <maerwald> | I don't know any university teaching programming. It's usually CS and you're expected to learn programming yourself. |
| 2022-04-09 16:39:51 +0000 | <maerwald> | That may be, because most teachers either don't have extensive practical experience or aren't even that interested in doing *thorough* code reviews beyond the assignment scope. |
| 2022-04-09 16:40:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 16:40:52 +0000 | <maerwald> | People usually learned that through open source commitments or get a really cold shower in their first month of their first job. |
| 2022-04-09 16:41:08 +0000 | <maerwald> | when the first real review hits them like a truck |
| 2022-04-09 16:44:31 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-09 16:44:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-04-09 16:45:35 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-09 16:53:00 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 16:54:24 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 16:56:46 +0000 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) |
| 2022-04-09 16:57:29 +0000 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 248 seconds) |
| 2022-04-09 16:58:29 +0000 | werdnA | (~andrew@114.88.181.56) |
| 2022-04-09 16:58:56 +0000 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Client Quit) |
| 2022-04-09 16:59:13 +0000 | MajorBiscuit | (~MajorBisc@62.233.220.137) |
| 2022-04-09 16:59:56 +0000 | <sshine> | I learned of good feedback and high version control standards ~3 years into my full-time work life when I decided to contribute to the right open-source project. |
| 2022-04-09 17:00:24 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-09 17:04:55 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-09 17:07:51 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-09 17:08:16 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-09 17:11:57 +0000 | <dsal> | I've learned that most work places have really bad version control usage. Especially the ones who use github and follow github's defaults. |
| 2022-04-09 17:13:59 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-09 17:15:39 +0000 | MajorBiscuit | (~MajorBisc@62.233.220.137) (Ping timeout: 256 seconds) |
| 2022-04-09 17:18:09 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-04-09 17:19:38 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-09 17:19:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-09 17:19:59 +0000 | derelict | (~derelict@user/derelict) (Quit: bye) |
| 2022-04-09 17:20:15 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-04-09 17:21:25 +0000 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 3.3) |
| 2022-04-09 17:23:23 +0000 | derelict | (~derelict@user/derelict) |
| 2022-04-09 17:25:25 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2022-04-09 17:25:43 +0000 | prolic | (~prolic@170.51.49.166) |
| 2022-04-09 17:26:19 +0000 | <prolic> | hello, I ran into a problem parsing a json array with haskell |
| 2022-04-09 17:26:40 +0000 | <prolic> | maybe someone could help me out a bit |
| 2022-04-09 17:26:59 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-09 17:27:15 +0000 | <dolio> | You'll need to be more specific for someone to help you. |
| 2022-04-09 17:27:21 +0000 | econo | (uid147250@user/econo) |
| 2022-04-09 17:28:00 +0000 | <prolic> | the json string looks like this: |
| 2022-04-09 17:28:00 +0000 | <prolic> | "[\"EVENT\",\"1dd639b12433183604485d7a550e4ee2751d62202073cbf1c0bb139c6d49af7b\",{\"id\":\"594bb1034c7e737b9014c86d5ccea40497c68e09520b9f4db407f481c90f4fbe\",\"pubkey\":\"1901ca365606eb68050fd4231d4b0b8ddb157f89d43db1b8c622b6b700b5ff17\",\"created_at\":1649520865,\"kind\":1,\"tags\":[],\"content\":\"\",\"sig\":\"98b0f1ec6a73d69bf0b7355ef64f33001544 |
| 2022-04-09 17:28:01 +0000 | <prolic> | fb44e123406e194408546fe36be414e2075d5db3fe67c7a3b8a1239b91d6e40b85d22424f9e8b709032ea7cb15d6\"}]" |
| 2022-04-09 17:28:01 +0000 | <prolic> | first is the string "EVENT", follow by some other string as identifier, followed by a json object representing a event |
| 2022-04-09 17:28:02 +0000 | <prolic> | the event itself I can decode, but I'm stuck parsing the whole thing |
| 2022-04-09 17:28:45 +0000 | <prolic> | instance FromJSON ServerResponse where |
| 2022-04-09 17:28:46 +0000 | <prolic> | parseJSON = withArray "ServerResponse Event" $ \arr -> do |
| 2022-04-09 17:28:46 +0000 | <prolic> | t <- parseJSON $ arr V.! 0 |
| 2022-04-09 17:28:47 +0000 | <prolic> | f <- parseJSON $ arr V.! 1 |
| 2022-04-09 17:28:47 +0000 | <prolic> | e <- parseJSON $ arr V.! 2 |
| 2022-04-09 17:28:48 +0000 | <prolic> | return $ ServerResponse <$> parseJSON (arr V.! 1) <*> parseJSON (arr V.! 2) |
| 2022-04-09 17:28:48 +0000 | <prolic> | is my current try, which doesn't work |
| 2022-04-09 17:28:51 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 17:29:16 +0000 | <prolic> | i also tried this: |
| 2022-04-09 17:29:16 +0000 | <prolic> | parseJSON (Array v) |
| 2022-04-09 17:29:17 +0000 | <prolic> | | V.length v == 3 = do |
| 2022-04-09 17:29:17 +0000 | <prolic> | case v V.! 0 of |
| 2022-04-09 17:29:18 +0000 | <prolic> | String "EVENT" -> |
| 2022-04-09 17:29:18 +0000 | <prolic> | withArray "ServerResponse Event" $ \arr -> do |
| 2022-04-09 17:29:19 +0000 | <prolic> | f <- parseJSON $ arr V.! 1 |
| 2022-04-09 17:29:19 +0000 | <prolic> | e <- parseJSON $ arr V.! 2 |
| 2022-04-09 17:29:20 +0000 | <prolic> | return $ ServerResponse f e |
| 2022-04-09 17:29:20 +0000 | <prolic> | _ -> mzero |
| 2022-04-09 17:29:21 +0000 | <prolic> | | otherwise = mzero |
| 2022-04-09 17:29:21 +0000 | <prolic> | parseJSON _ = mzero |
| 2022-04-09 17:29:28 +0000 | <dolio> | You should use a pastebin for code. |
| 2022-04-09 17:29:38 +0000 | <prolic> | sorry |
| 2022-04-09 17:29:43 +0000 | <dolio> | @paste |
| 2022-04-09 17:29:43 +0000 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2022-04-09 17:30:15 +0000 | <dolio> | @where paste |
| 2022-04-09 17:30:15 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-04-09 17:30:21 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-04-09 17:30:44 +0000 | <prolic> | https://paste.debian.net/1237398/ |
| 2022-04-09 17:31:04 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 17:31:59 +0000 | <prolic> | again here with the input data: https://paste.debian.net/1237399/ |
| 2022-04-09 17:33:48 +0000 | <dolio> | I think your problem might be that `withArray` takes another argument that you aren't giving. |
| 2022-04-09 17:34:17 +0000 | <prolic> | the code compiles, the result is just always "Nothing" instead of "Just" |
| 2022-04-09 17:34:19 +0000 | <dolio> | Oh, perhaps not. |
| 2022-04-09 17:35:16 +0000 | <prolic> | data ServerResponse = ServerResponse Text Event |
| 2022-04-09 17:35:17 +0000 | <prolic> | this is what my haskell type looks like |
| 2022-04-09 17:37:38 +0000 | <dolio> | There are multiple strange things here, although I'm not a JSON expert. |
| 2022-04-09 17:38:06 +0000 | <prolic> | I'm open for any suggestions, don't worry if it's not working |
| 2022-04-09 17:39:08 +0000 | <dolio> | Your line 25 in the paste seems wrong, because it has `return` around `f <$> x <*> y`, which seems like double wrapping. It also doesn't use any of the things you parsed on previous lines. |
| 2022-04-09 17:39:53 +0000 | <monochrom> | dolio, there was an eta from "parseJSON v = withArray msg func v" to "parseJSON = withArray msg func" and then insert a $ so func can be a lambda. That one is OK. |
| 2022-04-09 17:39:59 +0000 | <dsal> | `return` confuses people and basically shouldn't be used. |
| 2022-04-09 17:40:18 +0000 | <dolio> | Yeah, I realized that after my comment. |
| 2022-04-09 17:41:17 +0000 | <monochrom> | Though, I'm surpised that "return $ ServerResponse <$> ..." is not a type error. |
| 2022-04-09 17:41:49 +0000 | <prolic> | https://paste.debian.net/1237400/ |
| 2022-04-09 17:41:50 +0000 | <prolic> | this one compiles, but returns "Nothing" |
| 2022-04-09 17:42:12 +0000 | <dolio> | Considering the output is just `Nothing` though, the problem might be in the `Event` parser, too. |
| 2022-04-09 17:42:30 +0000 | <prolic> | as I said, I verified the event parser and it's working perfectly |
| 2022-04-09 17:42:31 +0000 | <monochrom> | Yeah. |
| 2022-04-09 17:43:33 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-04-09 17:43:58 +0000 | <prolic> | also the event parser is pretty complex, with lots of custom types, so I didn't want to throw tons of code at you |
| 2022-04-09 17:45:13 +0000 | <dolio> | Oh, maybe the case statement is wrong? `t` is parsed output, but you're matching on a JSON value. What does parsing a JSON value do? |
| 2022-04-09 17:46:14 +0000 | <dolio> | Is that expecting `arr ! 0` to be a string that represents a JSON value, maybe? |
| 2022-04-09 17:46:26 +0000 | <dolio> | Like, double encoded. |
| 2022-04-09 17:46:41 +0000 | <monochrom> | Ah. |
| 2022-04-09 17:46:52 +0000 | <prolic> | I have a kind of similar parser that works, I can share that with you if that helps |
| 2022-04-09 17:47:36 +0000 | <dolio> | No, that guess is wrong, too. `parseJSON :: Value -> Parser Value` is just `pure`. |
| 2022-04-09 17:48:35 +0000 | <prolic> | https://paste.debian.net/1237401/ |
| 2022-04-09 17:48:59 +0000 | <prolic> | this one works, but it's a slightly different use case |
| 2022-04-09 17:51:38 +0000 | <dolio> | I'm out of ideas, at least. |
| 2022-04-09 17:51:39 +0000 | <janus> | hey prolic! you are the author of that aeson library on hackage no? |
| 2022-04-09 17:51:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 17:52:00 +0000 | <prolic> | if I would be the author of aeson, i wouldn't ask I guess :) |
| 2022-04-09 17:52:13 +0000 | <janus> | no, i mean the library built on top of aeson, i forgot the name |
| 2022-04-09 17:52:29 +0000 | <janus> | kinda like autodocodec but a bit older |
| 2022-04-09 17:52:36 +0000 | <prolic> | no, what I build is not yet on hackage |
| 2022-04-09 17:52:51 +0000 | <janus> | hmm i must be confusing you with someone then.. hmm sorry |
| 2022-04-09 17:53:26 +0000 | <prolic> | I built a schnorr lib for haskell, https://github.com/prolic/secp256k1-schnorr/ - I guess that's where you know my name from |
| 2022-04-09 17:53:47 +0000 | <janus> | aaah right, sorry :P |
| 2022-04-09 17:54:02 +0000 | <janus> | are you making progress? |
| 2022-04-09 17:54:25 +0000 | neurocyte8614492 | (~neurocyte@IP-094046070107.dynamic.medianet-world.de) |
| 2022-04-09 17:54:25 +0000 | neurocyte8614492 | (~neurocyte@IP-094046070107.dynamic.medianet-world.de) (Changing host) |
| 2022-04-09 17:54:25 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-09 17:54:27 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 17:54:27 +0000 | <prolic> | this is more or less done, I didn't publish it on hackage yet, because it's maybe not stable enough |
| 2022-04-09 17:54:41 +0000 | <janus> | one frustration i always had with secp256k1-haskell is that it is linked to the system library |
| 2022-04-09 17:54:42 +0000 | <prolic> | working on a nostr client that uses schnorr signatures |
| 2022-04-09 17:55:00 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 17:55:10 +0000 | <janus> | did you consider vendoring libsecp256k1? |
| 2022-04-09 17:55:40 +0000 | <prolic> | not sure what you mean |
| 2022-04-09 17:55:55 +0000 | <janus> | i mean including the c sources in the source distribution of the haskell package |
| 2022-04-09 17:56:15 +0000 | <janus> | that way, you won't need to require that users install a compatible version of secp256k1 independently |
| 2022-04-09 17:56:39 +0000 | <prolic> | ah, I don't know how that works exactly, so I put in the readme how to compile secp256k1 manually with schnorr sig enabled |
| 2022-04-09 17:56:41 +0000 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2022-04-09 17:56:53 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-09 17:57:05 +0000 | <janus> | you can include 'cbits', many libraries have this. for example cryptonite that everybody loves to hate on |
| 2022-04-09 17:57:10 +0000 | <prolic> | but the final haskell binary doesn't require you to have the C lib installed on your machine |
| 2022-04-09 17:57:33 +0000 | <prolic> | thanks, I'll make a note and try to get back to it |
| 2022-04-09 17:57:35 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2022-04-09 17:57:41 +0000 | oats | (~thomas@user/oats) |
| 2022-04-09 17:57:50 +0000 | <janus> | well if the library is required to be installed separately on compilation, it doesn't help much that it is statically linked... |
| 2022-04-09 17:58:36 +0000 | <prolic> | yes, but I am the only user of that lib at the moment :) |
| 2022-04-09 17:59:01 +0000 | <janus> | nostr looks interesting.. i remember you told me that this wasn't for a cryptocurrency but i didn't really believe you lol |
| 2022-04-09 18:00:10 +0000 | <prolic> | lol |
| 2022-04-09 18:00:17 +0000 | <prolic> | no worries |
| 2022-04-09 18:00:33 +0000 | sloorush | (~sloorush@136.233.9.99) |
| 2022-04-09 18:00:50 +0000 | <prolic> | there's just ONE cryptocurrency, it's called bitcoin, the rest will be worth 0 |
| 2022-04-09 18:00:59 +0000 | <prolic> | but that's offtopic |
| 2022-04-09 18:01:12 +0000 | <prolic> | still need to figure out how to parse that damn json string |
| 2022-04-09 18:02:19 +0000 | <janus> | you can devide down the problem by making smaller types and test their parsing independently. divide and conquer... |
| 2022-04-09 18:03:01 +0000 | <janus> | we have massive haskell codebases at work and we never have two 'with...' calls in one instance definition |
| 2022-04-09 18:03:31 +0000 | <janus> | instead we have stuff like 'data MegaType = OptionA AContents | OptionB BContents' |
| 2022-04-09 18:04:04 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-09 18:04:15 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-09 18:04:23 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-09 18:04:29 +0000 | <prolic> | you confuse me with someone you knows haskell, lol |
| 2022-04-09 18:04:29 +0000 | <prolic> | I'm an absolute beginner, trying to work through the stuff, banging my head against the wall until I succeed |
| 2022-04-09 18:04:41 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds) |
| 2022-04-09 18:05:08 +0000 | <janus> | typically the 'with...' call is at the very beginning of the instance definition |
| 2022-04-09 18:05:18 +0000 | fr33domlover | (~fr33@2.53.60.247) (Quit: fr33domlover) |
| 2022-04-09 18:05:32 +0000 | <janus> | so when i see how you're calling 'with...' inside a case block, that seems off to me |
| 2022-04-09 18:05:44 +0000 | <prolic> | that's what I have here, https://paste.debian.net/1237400/, still doesn't work for me |
| 2022-04-09 18:07:14 +0000 | <janus> | what is the problem with it? |
| 2022-04-09 18:07:25 +0000 | <prolic> | it compiles, but returns "Nothing" |
| 2022-04-09 18:08:09 +0000 | <janus> | well you still have the parseJSON calls in there, dolio told you how Parsing a Value to a Value is 'pure' |
| 2022-04-09 18:09:03 +0000 | <janus> | why are you using 'mzero'? why not 'fail "Invalid ServerResponse did not have EVENT"' |
| 2022-04-09 18:10:22 +0000 | <janus> | there shouldn't be Maybes involved at all, since that is not the result of an Aeson parse |
| 2022-04-09 18:10:23 +0000 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
| 2022-04-09 18:11:50 +0000 | <prolic> | so what do I need to do? |
| 2022-04-09 18:12:13 +0000 | oats | (~thomas@user/oats) |
| 2022-04-09 18:13:27 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-09 18:13:41 +0000 | <janus> | oh, are you using `decode`? try `eitherDecode` instead, that lets you see the error |
| 2022-04-09 18:15:17 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-09 18:16:13 +0000 | <prolic> | ok, one sec |
| 2022-04-09 18:16:53 +0000 | <prolic> | `Left "Error in $: key \"pubKey\" not found"` |
| 2022-04-09 18:17:18 +0000 | <prolic> | which points me to something is wrong with my event parser |
| 2022-04-09 18:17:26 +0000 | <prolic> | which I tested that it works, very strange |
| 2022-04-09 18:17:29 +0000 | raym | (~raym@user/raym) (Ping timeout: 248 seconds) |
| 2022-04-09 18:17:35 +0000 | <prolic> | I eat something first, will be back soon |
| 2022-04-09 18:17:40 +0000 | <janus> | bye |
| 2022-04-09 18:18:57 +0000 | nuh^ | (~nuh@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-09 18:19:10 +0000 | raym | (~raym@user/raym) |
| 2022-04-09 18:22:02 +0000 | prolic | (~prolic@170.51.49.166) (Ping timeout: 250 seconds) |
| 2022-04-09 18:25:35 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-09 18:27:15 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-09 18:30:20 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-09 18:31:15 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-09 18:33:11 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-09 18:33:37 +0000 | chddr | (~Thunderbi@91.226.34.187) (Read error: Connection reset by peer) |
| 2022-04-09 18:34:03 +0000 | chddr | (~Thunderbi@91.226.34.187) |
| 2022-04-09 18:34:43 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-04-09 18:34:56 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 18:35:07 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
| 2022-04-09 18:35:56 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds) |
| 2022-04-09 18:37:12 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 2022-04-09 18:38:39 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-09 18:39:21 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 18:39:27 +0000 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 246 seconds) |
| 2022-04-09 18:40:00 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 18:41:59 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-09 18:43:28 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-09 18:44:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 18:45:45 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-09 18:50:33 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-09 18:50:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-09 18:50:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-09 18:50:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-09 18:50:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 18:51:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-09 18:52:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-04-09 18:52:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-09 18:52:59 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-04-09 18:54:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-09 18:56:55 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-04-09 19:00:46 +0000 | prolic | (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) |
| 2022-04-09 19:02:50 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-04-09 19:02:58 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-09 19:05:22 +0000 | prolic | (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) (Ping timeout: 250 seconds) |
| 2022-04-09 19:06:52 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-09 19:10:52 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-09 19:11:11 +0000 | prolic | (~prolic@170.51.49.166) |
| 2022-04-09 19:11:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-09 19:11:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 19:12:10 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 19:15:06 +0000 | [exa] | (exa@user/exa/x-3587197) (Remote host closed the connection) |
| 2022-04-09 19:17:13 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-09 19:18:20 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-09 19:19:15 +0000 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal) |
| 2022-04-09 19:21:27 +0000 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
| 2022-04-09 19:21:33 +0000 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-04-09 19:22:01 +0000 | nuh^ | (~nuh@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-09 19:23:31 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-04-09 19:24:00 +0000 | sloorush | (~sloorush@136.233.9.99) (Ping timeout: 250 seconds) |
| 2022-04-09 19:27:07 +0000 | alphabeta | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
| 2022-04-09 19:28:37 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-09 19:30:58 +0000 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-04-09 19:31:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 19:34:01 +0000 | prolic | (~prolic@170.51.49.166) (Quit: Client closed) |
| 2022-04-09 19:42:06 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-09 19:45:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 19:51:10 +0000 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-09 19:55:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-09 19:56:02 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-09 20:00:52 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:01:01 +0000 | sloorush | (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) |
| 2022-04-09 20:01:26 +0000 | zyklotomic | (~ethan@r4-128-61-95-166.res.gatech.edu) (Ping timeout: 268 seconds) |
| 2022-04-09 20:02:42 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-09 20:03:08 +0000 | zyklotomic | (~ethan@res388d-128-61-94-217.res.gatech.edu) |
| 2022-04-09 20:03:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-04-09 20:05:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 20:05:52 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-09 20:10:44 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 20:10:46 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:10:50 +0000 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-09 20:12:05 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-09 20:12:25 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-09 20:14:30 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-09 20:15:20 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-09 20:15:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 20:15:21 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit) |
| 2022-04-09 20:16:26 +0000 | sloorush | (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) (Ping timeout: 250 seconds) |
| 2022-04-09 20:16:37 +0000 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-09 20:17:48 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds) |
| 2022-04-09 20:19:01 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-09 20:19:41 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-09 20:20:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:21:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-04-09 20:22:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-09 20:24:48 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds) |
| 2022-04-09 20:25:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 20:25:20 +0000 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
| 2022-04-09 20:25:57 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-04-09 20:26:42 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-09 20:26:55 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-09 20:29:34 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-09 20:30:35 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:31:51 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-09 20:35:07 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 20:37:22 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-09 20:38:23 +0000 | hololeap_ | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2022-04-09 20:40:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:43:33 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) |
| 2022-04-09 20:45:11 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-09 20:45:19 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 20:46:16 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-09 20:47:27 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-09 20:49:34 +0000 | acidjnk | (~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de) |
| 2022-04-09 20:50:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 20:51:47 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-04-09 20:52:44 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-09 20:55:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 20:58:33 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-09 20:58:43 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-09 21:08:37 +0000 | son0p | (~ff@181.136.122.143) (Read error: Connection reset by peer) |
| 2022-04-09 21:10:05 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 21:13:08 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-04-09 21:13:49 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-09 21:13:49 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-09 21:13:49 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-09 21:18:04 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-04-09 21:18:49 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-09 21:19:05 +0000 | y04nn | (~y04nn@2001:ac8:28:93::a15e) |
| 2022-04-09 21:19:41 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 21:20:42 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-04-09 21:23:10 +0000 | ishaan | (~ishaan@122.161.51.93) (Ping timeout: 250 seconds) |
| 2022-04-09 21:26:53 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-04-09 21:30:40 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-09 21:32:13 +0000 | chddr | (~Thunderbi@91.226.34.187) (Ping timeout: 260 seconds) |
| 2022-04-09 21:35:45 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-09 21:37:25 +0000 | akegalj | (~akegalj@141-136-234-56.dsl.iskon.hr) |
| 2022-04-09 21:39:37 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-09 21:43:15 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-09 21:47:24 +0000 | Dorkside6 | (~dorkside@208.190.197.222) (Ping timeout: 246 seconds) |
| 2022-04-09 21:47:46 +0000 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-09 21:48:49 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-09 21:49:59 +0000 | y04nn | (~y04nn@2001:ac8:28:93::a15e) (Ping timeout: 260 seconds) |
| 2022-04-09 21:53:29 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-09 21:53:48 +0000 | inversed | (~inversed@94.13.111.159) (Quit: Connection error?!) |
| 2022-04-09 21:54:06 +0000 | akegalj | (~akegalj@141-136-234-56.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-09 21:55:16 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-09 21:58:36 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-09 22:01:08 +0000 | <avpx> | Hi all, I'm trying to load a module (Game.Chess.Internal from chessIO) in ghci for debugging. But every time I try to load it, ghci tries to compile it first, so I can't set breakpoints/debug: https://paste.tomsmeding.com/Sj3vvBjl |
| 2022-04-09 22:02:47 +0000 | <avpx> | I'm wondering if there is something about this module (e.g. its use of {-# INLINE #-} or some other compiler hint) is preventing the module from being interpreted |
| 2022-04-09 22:06:24 +0000 | <sm> | does it use QuasiQuote or TemplateHaskell ? |
| 2022-04-09 22:06:54 +0000 | <sm> | does recompilation clear your breakpoints ? |
| 2022-04-09 22:07:29 +0000 | <avpx> | Do you mean directly? I know TH is used in the project but I don't see it in this particular module: https://hackage.haskell.org/package/chessIO-0.9.3.0/docs/src/Game.Chess.Internal.html |
| 2022-04-09 22:08:01 +0000 | <avpx> | I'm not able to set breakpoints since the code is compiled: "cannot set breakpoint on unsafeDoPly': module Game.Chess.Internal is not interpreted" |
| 2022-04-09 22:08:14 +0000 | <sm> | interesting |
| 2022-04-09 22:09:03 +0000 | <sm> | what if you do :m +*Game.Chess.Internal manually |
| 2022-04-09 22:09:25 +0000 | <geekosaur> | looks to me like it's simply not an externally visible module |
| 2022-04-09 22:09:44 +0000 | <sm> | yes it seems like cabal repl is choosing not to interpret it because of some reason like that |
| 2022-04-09 22:10:08 +0000 | <avpx> | geekosaur: What's weird is that I tried rearranging the cabal file so it was the only externally visible module, and that didn't help either |
| 2022-04-09 22:10:34 +0000 | <avpx> | sm: it complains that the module is compiled and not interpreted, suggesting I try the :add *... command again |
| 2022-04-09 22:11:32 +0000 | <geekosaur> | hm. actually the cabal file should not directly affect ghci (ghci doesn't know about cabaland cabal repl has to play tricks on it to work at all) |
| 2022-04-09 22:11:44 +0000 | <sclv> | I bet repl is picking the executable not the library |
| 2022-04-09 22:11:50 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-09 22:11:59 +0000 | <sclv> | You need to give the library as the argument to repl |
| 2022-04-09 22:12:35 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-09 22:12:38 +0000 | <sm> | I was wondering that.. the output doesn't suggest it |
| 2022-04-09 22:13:04 +0000 | <geekosaur> | you can't really tell from the paste |
| 2022-04-09 22:13:33 +0000 | <avpx> | sclv: That makes sense. How do you tell the library name from this cabal file? I just see a section called "library" but the executable sections have names |
| 2022-04-09 22:13:37 +0000 | <avpx> | https://github.com/mlang/chessIO/blob/master/chessIO.cabal |
| 2022-04-09 22:14:05 +0000 | <sclv> | the lib name is the same as the package name |
| 2022-04-09 22:14:19 +0000 | <sclv> | you say lib:chessIO |
| 2022-04-09 22:14:25 +0000 | <sclv> | or whatever |
| 2022-04-09 22:15:44 +0000 | <avpx> | https://paste.tomsmeding.com/J2JomgU7 |
| 2022-04-09 22:15:45 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-09 22:16:02 +0000 | <avpx> | Doesn't seem to have changed anything. The weird thing is that the Game.Chess module does appear to be loaded as interpreted |
| 2022-04-09 22:16:22 +0000 | <sm> | is it exposed also ? |
| 2022-04-09 22:16:33 +0000 | <avpx> | By default it is exposed but .Internal is not |
| 2022-04-09 22:16:40 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-04-09 22:16:53 +0000 | <sm> | that's what I mean, try exposing Internal ? |
| 2022-04-09 22:16:54 +0000 | <avpx> | But even if I change the .cabal file so that the .Internal is exposed, and delete all the actual externally facing stuff, it still doesn't show up with a * |
| 2022-04-09 22:17:08 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-09 22:17:17 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-09 22:17:49 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-09 22:18:08 +0000 | <avpx> | when it boots up ghci just shows me this, with no asterisk: |
| 2022-04-09 22:18:09 +0000 | <avpx> | Ok, 8 modules loaded. |
| 2022-04-09 22:18:10 +0000 | <avpx> | Prelude Game.Chess.Internal> |
| 2022-04-09 22:18:21 +0000 | <avpx> | That's what makes me think it's something about the contents of this module |
| 2022-04-09 22:18:32 +0000 | <sm> | so just to make sure, you have tried both `cabal repl lib:chessIO` and exposed .Internal at the same time |
| 2022-04-09 22:18:35 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-09 22:19:13 +0000 | <avpx> | Yup |
| 2022-04-09 22:19:13 +0000 | <sclv> | you can also just like :load a .hs file and then it should definitely interpret everything |
| 2022-04-09 22:19:36 +0000 | <avpx> | Yeah I was trying that but there were some external dependencies it was breaking on, e.g. Data.Vector |
| 2022-04-09 22:19:44 +0000 | <sclv> | or maybe you need a “cabal clean” after the changes to the file |
| 2022-04-09 22:19:46 +0000 | <sm> | and.. those two followed by :m +*Game.Chess.Internal ? no different ? |
| 2022-04-09 22:20:03 +0000 | <sclv> | i mean run cabal repl, then :load within that |
| 2022-04-09 22:20:34 +0000 | <avpx> | sm: same thing: |
| 2022-04-09 22:20:35 +0000 | <avpx> | Prelude Game.Chess.Internal> :m + *Game.Chess.Internal |
| 2022-04-09 22:20:35 +0000 | <avpx> | module 'Game.Chess.Internal' is not interpreted; try ':add *Game.Chess.Internal' first |
| 2022-04-09 22:20:45 +0000 | <sm> | pesky thing |
| 2022-04-09 22:21:05 +0000 | <geekosaur> | right, and that not working is what makes me think this is related to ghc(i), not cabal |
| 2022-04-09 22:21:37 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-09 22:21:38 +0000 | <geekosaur> | :add should work regardless, cabal can't affect it (nor stack for that matter), it's all ghc |
| 2022-04-09 22:21:48 +0000 | <avpx> | Yeah |
| 2022-04-09 22:22:13 +0000 | <avpx> | This is code for a bitboard implementation so there's a fair amount of stuff in here about how the structures get laid out in memory, strictness etc |
| 2022-04-09 22:22:23 +0000 | <avpx> | I wonder if there's something where the interpreter just bails out and says, nope can't handle that pragma |
| 2022-04-09 22:22:48 +0000 | <geekosaur> | the pragmas are what are supposed to bail out |
| 2022-04-09 22:22:49 +0000 | raym | (~raym@user/raym) (Ping timeout: 248 seconds) |
| 2022-04-09 22:23:00 +0000 | <geekosaur> | and that's how it's documented to work |
| 2022-04-09 22:23:02 +0000 | <avpx> | I didn't see anything in the output of ghci -v that suggested it was giving up on interpreting the file tho |
| 2022-04-09 22:23:16 +0000 | <avpx> | geekosaur: I'm not following, can you explain/ |
| 2022-04-09 22:23:42 +0000 | <geekosaur> | pragmas like INLINE and UNPACK don't fire in interpreted mode |
| 2022-04-09 22:23:54 +0000 | raym | (~raym@user/raym) |
| 2022-04-09 22:24:05 +0000 | <geekosaur> | although… you did run ghci with -O1,I wonder if that's forcing -fobject-code? |
| 2022-04-09 22:24:20 +0000 | <geekosaur> | (optimization doesn't work in interpreted mode) |
| 2022-04-09 22:25:44 +0000 | y04nn | (~y04nn@2001:ac8:28:93::a15e) |
| 2022-04-09 22:26:26 +0000 | <avpx> | Do you know off hand how to change that? I don't see a way to tell cabal which option to pass here |
| 2022-04-09 22:27:19 +0000 | <sm> | it's working here with the unmodified source and ghc 9.2: https://termbin.com/f5qh |
| 2022-04-09 22:27:52 +0000 | <avpx> | sm: Thanks for validating. This is with plain "cabal repl"? |
| 2022-04-09 22:28:12 +0000 | <sm> | yes: |
| 2022-04-09 22:28:12 +0000 | <sm> | ~/chessIO-0.9.3.0$ cabal repl lib:chessIO |
| 2022-04-09 22:28:12 +0000 | <sm> | Build profile: -w ghc-9.2.2 -O1 |
| 2022-04-09 22:28:46 +0000 | <geekosaur> | mm, 9.2.2 might actually supportoptimization,the longstanding unboxed tuple bug has supposedly been fixed |
| 2022-04-09 22:30:02 +0000 | <avpx> | Fascinating. I will try to figure out how to remove this -O1 and see if that fixes it |
| 2022-04-09 22:30:19 +0000 | <sm> | I did notice a bunch of -O2's in the cabal file |
| 2022-04-09 22:30:49 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-09 22:31:48 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-09 22:32:48 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 2022-04-09 22:36:45 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-09 22:38:37 +0000 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) |
| 2022-04-09 22:38:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-09 22:39:47 +0000 | <avpx> | Couple more data points: on another machine, also running ghc 8.10.7 (but different arch), same issue occurs. Also, changing to -O0 in chessIO.cabal apparently has no effect |
| 2022-04-09 22:40:08 +0000 | <geekosaur> | ok, so it'snot that. any interesting -f flags? |
| 2022-04-09 22:40:29 +0000 | <geekosaur> | (-funbox-strict-fields comes to mind but there may be others) |
| 2022-04-09 22:40:32 +0000 | <sm> | I confirm the same procedure with ghc 9.0 loads all three Internal modules non-interpreted |
| 2022-04-09 22:40:36 +0000 | <d34df00d> | What does it mean if a type family associated with a class doesn't mention all type variables? |
| 2022-04-09 22:40:55 +0000 | <avpx> | geekosaur: Nothing in the .cabal file |
| 2022-04-09 22:41:12 +0000 | gustik | (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) (Quit: Leaving) |
| 2022-04-09 22:41:15 +0000 | <d34df00d> | How much sense is in `class Ctr px => Context px a where type Ouptut a :: px -> Type`? |
| 2022-04-09 22:41:17 +0000 | <avpx> | Sounds like I should try to build a more recent ghc and try that |
| 2022-04-09 22:41:24 +0000 | <d34df00d> | Hm, I think none. |
| 2022-04-09 22:42:06 +0000 | <monochrom> | Wait, is that also a multi-param type class? |
| 2022-04-09 22:42:47 +0000 | <geekosaur> | d34df00d, looks to me like it doesmention them, via the associated type? |
| 2022-04-09 22:43:27 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-09 22:43:53 +0000 | <avpx> | I ran cabal v2-repl -v and it didn't show any weird arguments to ghc. sm's results on GHC 9.0 make me think this is some kind of bug or limitation with GHC 8.10.7 |
| 2022-04-09 22:44:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 22:45:08 +0000 | sm | asks #ghc |
| 2022-04-09 22:45:08 +0000 | <sm> | no, it's a limitation of GHC < 9.2 I think |
| 2022-04-09 22:45:09 +0000 | <geekosaur> | at least I think that's enough for ghc to do typeinference |
| 2022-04-09 22:46:38 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-09 22:47:47 +0000 | <avpx> | sm: Hmm I'm scanning the changelog for GHC 9.2.1 to try to understand why |
| 2022-04-09 22:48:07 +0000 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-09 22:49:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-09 22:50:24 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-09 22:51:05 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-09 22:51:40 +0000 | <geekosaur> | I'mkinda confused because objects with those names to /tmp (well, OS X equivalent) are usually foreign import/export stubs, not regular object code |
| 2022-04-09 22:53:10 +0000 | jpds2 | jpds |
| 2022-04-09 22:54:23 +0000 | acidjnk | (~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-09 22:54:27 +0000 | <d34df00d> | geekosaur: ah, you mean on the rhs after the ::? |
| 2022-04-09 22:54:34 +0000 | <d34df00d> | Hmm, that makes sense. |
| 2022-04-09 22:56:49 +0000 | <geekosaur> | an associated type family acts somewhat like a functional dependency, so it here associates the `a` with the `px` |
| 2022-04-09 22:57:17 +0000 | <geekosaur> | and has to be unique on `a` like a fundep would be, because otherwise it would be an incoherent type family |
| 2022-04-09 22:58:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-09 23:00:10 +0000 | <geekosaur> | there's a better discussion of associated type families in the ghc user guide |
| 2022-04-09 23:10:49 +0000 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-09 23:14:36 +0000 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-04-09 23:17:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 23:19:40 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-09 23:21:05 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-09 23:23:25 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-09 23:24:33 +0000 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-09 23:27:49 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-09 23:28:33 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 23:33:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 23:35:46 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds) |
| 2022-04-09 23:37:55 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-09 23:38:02 +0000 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-09 23:38:43 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 23:39:03 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-09 23:42:41 +0000 | catch22 | (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) |
| 2022-04-09 23:43:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-09 23:47:11 +0000 | abhixec_ | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-09 23:48:36 +0000 | catch22 | (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) (Remote host closed the connection) |
| 2022-04-09 23:49:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-09 23:49:35 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-09 23:51:30 +0000 | <abastro[m]> | Is quasiquotes part of template haskell |
| 2022-04-09 23:54:32 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-09 23:54:32 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-09 23:56:46 +0000 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-04-09 23:57:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-09 23:58:21 +0000 | <geekosaur> | yes |
| 2022-04-09 23:58:44 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-04-09 23:59:26 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |