| 2022-06-05 00:01:58 +0200 | Alleria_ | (~AllahuAkb@68.65.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-05 00:06:09 +0200 | Alleria_ | (~AllahuAkb@68.65.161.35) |
| 2022-06-05 00:06:24 +0200 | acidjnk | (~acidjnk@p200300d0c7068b53096e2035e81feaf4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-05 00:14:43 +0200 | <cjay> | Has someone made a tool to merge cabal targets? I found that making merged targets manually and adding the merged target as the only entry to hie.yaml manages to un-confuse HIE on a project where I can't get HIE to behave fine otherwise. |
| 2022-06-05 00:17:50 +0200 | dcoutts__ | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-06-05 00:28:57 +0200 | <maerwald> | cjay: what's a merged target? |
| 2022-06-05 00:32:35 +0200 | <cjay> | maerwald: for example in case of merging a lib and a test: a new test target with every property from the original test, but the hs-source-dirs, other-modules, and build-depends of the lib added to it, and the exposed-modules of the lib added to other-modules. |
| 2022-06-05 00:35:54 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.254) (Quit: Leaving) |
| 2022-06-05 00:39:20 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 258 seconds) |
| 2022-06-05 00:40:17 +0200 | <maerwald> | cjay: do you have a reproducer for HLS? |
| 2022-06-05 00:40:32 +0200 | <maerwald> | this should start with a bug report |
| 2022-06-05 00:41:32 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-05 00:41:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-05 00:43:02 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Read error: Connection reset by peer) |
| 2022-06-05 00:43:41 +0200 | <cjay> | maerwald: Sadly it's a company private repo, I'd have to create a separate reproduction. Though that should be a good idea anyway to narrow down the issue. |
| 2022-06-05 00:44:53 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-05 00:45:00 +0200 | <cjay> | I'm not sure if it's a case of "fix this bug and be done with it", since HIE seems to have suffered from multi-cradle-problems for a long time. So making a target-merge-tool for workarounds might still be a good idea. |
| 2022-06-05 00:47:08 +0200 | <maerwald> | Please ask your employer if you can spend time on this then. It's not unlikely this is a more generic issue. I also have issues when switching between components (e.g. exe and lib), but could never pin-point it |
| 2022-06-05 00:51:53 +0200 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-06-05 00:52:14 +0200 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-06-05 00:58:57 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 01:05:56 +0200 | slack1256 | (~slack1256@186.11.9.42) |
| 2022-06-05 01:11:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-1.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-05 01:15:34 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 01:16:17 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-05 01:17:18 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 276 seconds) |
| 2022-06-05 01:20:37 +0200 | slac27275 | (~slack1256@191.126.99.196) |
| 2022-06-05 01:21:53 +0200 | calleum_ | (~calleum@user/calleum) |
| 2022-06-05 01:23:02 +0200 | slack1256 | (~slack1256@186.11.9.42) (Ping timeout: 258 seconds) |
| 2022-06-05 01:23:26 +0200 | slac27275 | slack1256 |
| 2022-06-05 01:25:07 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:5006:194c:376f:fb2e) (Ping timeout: 260 seconds) |
| 2022-06-05 01:25:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Remote host closed the connection) |
| 2022-06-05 01:28:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 01:43:57 +0200 | calleum_ | (~calleum@user/calleum) (Ping timeout: 276 seconds) |
| 2022-06-05 01:45:29 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 01:48:10 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 01:49:50 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 240 seconds) |
| 2022-06-05 01:50:48 +0200 | slack1256 | (~slack1256@191.126.99.196) (Read error: Connection reset by peer) |
| 2022-06-05 01:50:53 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 01:51:25 +0200 | slack1256 | (~slack1256@186.11.9.42) |
| 2022-06-05 01:51:34 +0200 | slack1256 | (~slack1256@186.11.9.42) (Remote host closed the connection) |
| 2022-06-05 01:53:10 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-05 01:55:08 +0200 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-06-05 01:55:39 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 256 seconds) |
| 2022-06-05 01:58:01 +0200 | _xor | (~xor@72.49.198.103) (Quit: brb) |
| 2022-06-05 02:01:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-05 02:03:42 +0200 | vysn | (~vysn@user/vysn) |
| 2022-06-05 02:05:46 +0200 | slack1256 | (~slack1256@191.126.99.196) |
| 2022-06-05 02:12:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-05 02:13:39 +0200 | dcleonarski | (~user@2804:d51:4704:e400:680:84d0:9355:7c5b) |
| 2022-06-05 02:16:36 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-06-05 02:19:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-05 02:20:27 +0200 | calleum_ | (~calleum@user/calleum) |
| 2022-06-05 02:21:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 02:22:00 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-06-05 02:28:53 +0200 | aeka | (~aeka@2606:6080:1001:16:3492:5f11:f1fb:66ae) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-05 02:29:46 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-06-05 02:35:06 +0200 | dcleonarski | (~user@2804:d51:4704:e400:680:84d0:9355:7c5b) (Ping timeout: 258 seconds) |
| 2022-06-05 02:36:07 +0200 | bluesman | (~bluesman@92.223.85.241) |
| 2022-06-05 02:39:09 +0200 | sebastiandb | (~sebastian@pool-108-18-101-17.washdc.fios.verizon.net) |
| 2022-06-05 02:45:16 +0200 | <Bulby[m]> | why is pattern synonyms saying non exhastive for this |
| 2022-06-05 02:45:35 +0200 | <Bulby[m]> | wait |
| 2022-06-05 02:46:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2022-06-05 02:46:34 +0200 | <Bulby[m]> | https://paste.tomsmeding.com/XHXTf6is |
| 2022-06-05 02:46:46 +0200 | koolazer | (~koo@user/koolazer) (Read error: Connection reset by peer) |
| 2022-06-05 02:47:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-06-05 02:47:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-05 02:48:04 +0200 | <Bulby[m]> | `FunDecl' name args stmt` is equivilant to `FunDecl name (FunInfo args stmts)` imo |
| 2022-06-05 02:48:21 +0200 | <Bulby[m]> | so idk why it's saying `FunDecl _ _` isn't accounted for |
| 2022-06-05 02:53:09 +0200 | machinedgod | (~machinedg@173.255.16.193) |
| 2022-06-05 02:54:50 +0200 | <Bulby[m]> | ah, that's what the complete pragma is for |
| 2022-06-05 02:59:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-05 03:05:28 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-2d91-707e-31c1-4661.res6.spectrum.com) |
| 2022-06-05 03:06:04 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-06-05 03:15:12 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-2d91-707e-31c1-4661.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-06-05 03:16:01 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-2d91-707e-31c1-4661.res6.spectrum.com) |
| 2022-06-05 03:18:12 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 2022-06-05 03:20:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-06-05 03:21:42 +0200 | sebastiandb | (~sebastian@pool-108-18-101-17.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-06-05 03:22:30 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-06-05 03:24:56 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-2d91-707e-31c1-4661.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2022-06-05 03:24:57 +0200 | slack1256 | (~slack1256@191.126.99.196) (Read error: Connection reset by peer) |
| 2022-06-05 03:25:29 +0200 | slack1256 | (~slack1256@186.11.9.42) |
| 2022-06-05 03:25:39 +0200 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2022-06-05 03:25:40 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-2d91-707e-31c1-4661.res6.spectrum.com) |
| 2022-06-05 03:27:17 +0200 | bluesman | (~bluesman@92.223.85.241) (Remote host closed the connection) |
| 2022-06-05 03:32:50 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-05 03:37:35 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 258 seconds) |
| 2022-06-05 03:51:03 +0200 | andrey_ | (~andrey@p200300dbcf441800b9e8ee91347c2731.dip0.t-ipconnect.de) |
| 2022-06-05 03:53:35 +0200 | andrey__ | (~andrey@p508d5c0f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-06-05 03:54:52 +0200 | slack1256 | (~slack1256@186.11.9.42) (Remote host closed the connection) |
| 2022-06-05 04:01:27 +0200 | machinedgod | (~machinedg@173.255.16.193) (Ping timeout: 260 seconds) |
| 2022-06-05 04:22:30 +0200 | td_ | (~td@94.134.91.175) (Ping timeout: 240 seconds) |
| 2022-06-05 04:24:39 +0200 | td_ | (~td@muedsl-82-207-238-061.citykom.de) |
| 2022-06-05 04:24:47 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-06-05 04:24:50 +0200 | prolic | (~prolic@2803:2a00:2c0f:b96d:4824:1a8a:743e:8926) |
| 2022-06-05 04:26:11 +0200 | <prolic> | good evening, I'm back with yet another noob question |
| 2022-06-05 04:26:17 +0200 | <prolic> | I hope somebody can help out |
| 2022-06-05 04:26:19 +0200 | <prolic> | https://pastebin.com/UAV70431 |
| 2022-06-05 04:27:30 +0200 | <dsal> | I'm not sure I'd call that noob if you're using ExistentialQuantification and RankNTypes to try to do impredicative polymorphism |
| 2022-06-05 04:27:59 +0200 | <prolic> | that's only by accident :) |
| 2022-06-05 04:28:37 +0200 | <prolic> | What I really want is, pass a callback along and store it in a data type |
| 2022-06-05 04:28:53 +0200 | Tubo[m] | (~tuboshion@2001:470:69fc:105::2:2385) |
| 2022-06-05 04:30:21 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 276 seconds) |
| 2022-06-05 04:32:04 +0200 | <glguy> | prolic: You'll need to switch RelayHandler to be a newtype |
| 2022-06-05 04:34:42 +0200 | <prolic> | can you give me an example? because this throws a parse error |
| 2022-06-05 04:35:03 +0200 | <glguy> | I can't see your screen; what did you try? |
| 2022-06-05 04:36:20 +0200 | <prolic> | this here works: `data RelayHandler = forall i . Typeable i => RelayHandler (i -> SubscriptionId -> Event -> i)` |
| 2022-06-05 04:36:29 +0200 | <prolic> | but I don't know how to pattern match this then |
| 2022-06-05 04:36:52 +0200 | <glguy> | newtype RelayHandler = RelayHandler (forall i . Typeable i => i -> SubscriptionId -> Event -> i) |
| 2022-06-05 04:37:46 +0200 | <glguy> | and you'll need RankNTypes enabled for that |
| 2022-06-05 04:38:19 +0200 | <prolic> | ok, let me try, I need to update some functions then |
| 2022-06-05 04:39:05 +0200 | sebastiandb | (~sebastian@pool-108-18-101-17.washdc.fios.verizon.net) |
| 2022-06-05 04:42:58 +0200 | <prolic> | WTF, this stuff compiles |
| 2022-06-05 04:43:00 +0200 | <prolic> | thanks man! |
| 2022-06-05 04:43:35 +0200 | <prolic> | also I don't need this nasty `ExistentialQuantification` anymore |
| 2022-06-05 04:44:10 +0200 | <prolic> | I still fear at the end the overall thing makes no sense, lol - still learning a lot |
| 2022-06-05 04:46:32 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-05 04:46:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-05 04:46:32 +0200 | finn_elija | FinnElija |
| 2022-06-05 04:48:30 +0200 | <glguy> | prolic: It's not much more nasty than rankntypes but no, you don't need it for this |
| 2022-06-05 04:49:51 +0200 | <glguy> | what you wrote means "There's a type i but all I will tell you about it is that it implements Typeable and here's a function that works on that type. Since it's a typeable a way to make one would be to try and use Data.Typeable.cast |
| 2022-06-05 04:49:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-06-05 04:49:59 +0200 | <glguy> | maybe that's what you meant? |
| 2022-06-05 04:50:22 +0200 | <glguy> | What I wrote means that you have a function that works for all types 'i' that implement Typeable |
| 2022-06-05 04:51:08 +0200 | <prolic> | exactly |
| 2022-06-05 04:51:21 +0200 | <prolic> | I don't know the concrete implementation in this module |
| 2022-06-05 04:51:53 +0200 | <prolic> | but I want to reuse it in several places |
| 2022-06-05 04:55:41 +0200 | prolic49 | (~prolic@2803:2a00:2c0f:b96d:4824:1a8a:743e:8926) |
| 2022-06-05 04:55:55 +0200 | <prolic49> | ups, disconnected |
| 2022-06-05 04:56:48 +0200 | bilegeek | (~bilegeek@2600:1008:b029:39c1:dac7:1cba:79d3:5e29) |
| 2022-06-05 04:59:18 +0200 | prolic | (~prolic@2803:2a00:2c0f:b96d:4824:1a8a:743e:8926) (Ping timeout: 252 seconds) |
| 2022-06-05 05:00:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-05 05:01:00 +0200 | yaroot_ | (~yaroot@11.70.30.125.dy.iij4u.or.jp) |
| 2022-06-05 05:03:04 +0200 | prolic49 | prolic |
| 2022-06-05 05:04:10 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-06-05 05:04:24 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 248 seconds) |
| 2022-06-05 05:04:24 +0200 | yaroot_ | yaroot |
| 2022-06-05 05:06:24 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 05:21:51 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 05:25:20 +0200 | prolic | (~prolic@2803:2a00:2c0f:b96d:4824:1a8a:743e:8926) (Ping timeout: 252 seconds) |
| 2022-06-05 05:26:54 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 276 seconds) |
| 2022-06-05 05:27:45 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2022-06-05 05:32:29 +0200 | Tubo[m] | (~tuboshion@2001:470:69fc:105::2:2385) (Quit: Reconnecting) |
| 2022-06-05 05:32:44 +0200 | Tubo[m] | (~tubogram@user/tubogram) |
| 2022-06-05 05:33:51 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-05 05:36:39 +0200 | Topsi | (~Topsi@dyndsl-095-033-091-150.ewe-ip-backbone.de) (Ping timeout: 276 seconds) |
| 2022-06-05 05:50:30 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 05:56:34 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-06-05 05:56:44 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-05 05:58:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-05 06:04:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-05 06:12:30 +0200 | img | (~img@user/img) |
| 2022-06-05 06:13:40 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-05 06:15:54 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-05 06:20:52 +0200 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 248 seconds) |
| 2022-06-05 06:21:43 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-05 06:21:44 +0200 | hsw_ | (~hsw@112-104-144-236.adsl.dynamic.seed.net.tw) |
| 2022-06-05 06:22:01 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-06-05 06:22:28 +0200 | stoned | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Ping timeout: 248 seconds) |
| 2022-06-05 06:22:39 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 240 seconds) |
| 2022-06-05 06:22:58 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-06-05 06:22:59 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 252 seconds) |
| 2022-06-05 06:26:21 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-06-05 06:29:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-05 06:32:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-05 06:33:31 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-05 06:34:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-06-05 06:36:03 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-05 06:43:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 06:44:43 +0200 | takuan | (~takuan@178.116.218.225) |
| 2022-06-05 06:46:32 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2022-06-05 06:49:08 +0200 | mbuf | (~Shakthi@171.61.227.202) |
| 2022-06-05 06:54:50 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds) |
| 2022-06-05 06:55:26 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-05 07:01:09 +0200 | ente | (~daemon@inferno.barfooze.de) (Ping timeout: 276 seconds) |
| 2022-06-05 07:01:48 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-06-05 07:06:29 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-05 07:07:52 +0200 | <EvanR> | I have Finding Success and Failure (The Joy of Haskell) in the mail |
| 2022-06-05 07:07:58 +0200 | <EvanR> | er, just came in |
| 2022-06-05 07:09:02 +0200 | andrey__ | (~andrey@p508d5b66.dip0.t-ipconnect.de) |
| 2022-06-05 07:11:27 +0200 | andrey_ | (~andrey@p200300dbcf441800b9e8ee91347c2731.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-06-05 07:15:17 +0200 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-06-05 07:24:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-05 07:31:30 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 07:41:29 +0200 | vglfr | (~vglfr@46.96.165.160) |
| 2022-06-05 07:43:33 +0200 | raym | (~raym@user/raym) (Ping timeout: 246 seconds) |
| 2022-06-05 07:43:40 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-05 07:44:22 +0200 | raym | (~raym@user/raym) |
| 2022-06-05 07:45:53 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-05 07:53:37 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-06-05 07:56:20 +0200 | calleum_ | (~calleum@user/calleum) (Ping timeout: 258 seconds) |
| 2022-06-05 08:00:21 +0200 | vglfr | (~vglfr@46.96.165.160) (Ping timeout: 246 seconds) |
| 2022-06-05 08:03:24 +0200 | <sm> | 🎉 |
| 2022-06-05 08:04:26 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 08:06:42 +0200 | odnes | (~odnes@5-203-225-191.pat.nym.cosmote.net) |
| 2022-06-05 08:08:57 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 08:10:30 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-05 08:10:43 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 08:11:27 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-05 08:18:11 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2022-06-05 08:18:46 +0200 | CoolerX_ | (~user@user/coolerx) |
| 2022-06-05 08:20:01 +0200 | <CoolerX_> | i |
| 2022-06-05 08:20:03 +0200 | <CoolerX_> | Hi |
| 2022-06-05 08:20:19 +0200 | <CoolerX_> | how does aeson tojson encode stuff? |
| 2022-06-05 08:20:33 +0200 | <CoolerX_> | example https://bpa.st/WV6Q |
| 2022-06-05 08:20:50 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 240 seconds) |
| 2022-06-05 08:21:30 +0200 | <CoolerX_> | looking at the types that it is encoding I am not sure where it got that particular json structure from https://github.com/koalaman/shellcheck/blob/master/src/ShellCheck/AST.hs#L42-L145 |
| 2022-06-05 08:21:55 +0200 | <CoolerX_> | especially all the "contents" keys |
| 2022-06-05 08:34:39 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-05 08:39:58 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-06-05 08:41:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-05 08:43:20 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-06-05 08:46:03 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-05 08:59:12 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2022-06-05 09:11:33 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-05 09:11:34 +0200 | acidjnk | (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) |
| 2022-06-05 09:25:16 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 09:26:35 +0200 | CoolerX_ | (~user@user/coolerx) (Ping timeout: 255 seconds) |
| 2022-06-05 09:29:09 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-05 09:30:52 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-05 09:31:01 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 258 seconds) |
| 2022-06-05 09:32:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-05 09:32:41 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Remote host closed the connection) |
| 2022-06-05 09:33:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 09:34:05 +0200 | fetsorn | (~fetsorn@46.71.112.209) |
| 2022-06-05 09:34:29 +0200 | fetsorn | (~fetsorn@46.71.112.209) (Remote host closed the connection) |
| 2022-06-05 09:36:10 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-05 09:37:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Ping timeout: 255 seconds) |
| 2022-06-05 09:39:15 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-05 09:41:07 +0200 | ente | (~daemon@inferno.barfooze.de) |
| 2022-06-05 09:41:20 +0200 | alp | (~alp@user/alp) |
| 2022-06-05 09:42:27 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-05 09:43:00 +0200 | alp | (~alp@user/alp) |
| 2022-06-05 09:44:07 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-05 09:45:27 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 240 seconds) |
| 2022-06-05 09:45:41 +0200 | fendor | (~fendor@77.119.163.245.wireless.dyn.drei.com) |
| 2022-06-05 09:52:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-06-05 09:52:53 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-05 09:57:10 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 09:57:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-05 09:58:10 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds) |
| 2022-06-05 10:03:41 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-05 10:08:01 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 10:09:51 +0200 | bilegeek | (~bilegeek@2600:1008:b029:39c1:dac7:1cba:79d3:5e29) (Quit: Leaving) |
| 2022-06-05 10:16:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-1.elisa-laajakaista.fi) |
| 2022-06-05 10:20:42 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2022-06-05 10:29:30 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 2022-06-05 10:32:11 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 10:35:07 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-05 10:36:57 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-05 10:37:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-05 10:41:14 +0200 | calleum_ | (~calleum@user/calleum) |
| 2022-06-05 10:42:39 +0200 | acidjnk | (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-06-05 10:45:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-06-05 10:47:20 +0200 | fendor | (~fendor@77.119.163.245.wireless.dyn.drei.com) (Quit: Leaving) |
| 2022-06-05 10:58:54 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-05 10:59:02 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-06-05 10:59:48 +0200 | kwshi | (~kwshi@096-040-102-060.biz.spectrum.com) (Quit: Connection closed) |
| 2022-06-05 11:00:09 +0200 | AdityaAlok[m] | (~mradityaa@2001:470:69fc:105::1:ee36) (Quit: You have been kicked for being idle) |
| 2022-06-05 11:00:09 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: You have been kicked for being idle) |
| 2022-06-05 11:00:10 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-06-05 11:02:30 +0200 | dcoutts__ | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) |
| 2022-06-05 11:02:32 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:a086:3f3d:4abf:7826) |
| 2022-06-05 11:05:56 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-05 11:09:20 +0200 | mbuf | (~Shakthi@171.61.227.202) (Quit: Leaving) |
| 2022-06-05 11:16:34 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-06-05 11:17:22 +0200 | dcoutts__ | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-06-05 11:18:05 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-06-05 11:20:58 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:a086:3f3d:4abf:7826) (Ping timeout: 272 seconds) |
| 2022-06-05 11:25:28 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-05 11:29:17 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-05 11:38:18 +0200 | <gentauro> | hey, what is the name of the rule in LC that remove `x` on both sides. Sample: `foo x = bar x` => `foo = bar`? |
| 2022-06-05 11:38:21 +0200 | <gentauro> | I kind of forgot xD |
| 2022-06-05 11:39:21 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 276 seconds) |
| 2022-06-05 11:40:26 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 11:43:01 +0200 | odnes | (~odnes@5-203-225-191.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-05 11:43:03 +0200 | odnes_ | (~odnes@5-203-225-191.pat.nym.cosmote.net) |
| 2022-06-05 11:43:50 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2022-06-05 11:45:23 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-05 11:45:39 +0200 | <c_wraith> | eta conversion |
| 2022-06-05 11:45:47 +0200 | janus78 | (~janus@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 2022-06-05 11:46:22 +0200 | <gentauro> | c_wraith: you are right -> https://wiki.haskell.org/Eta_conversion |
| 2022-06-05 11:46:23 +0200 | <gentauro> | thx |
| 2022-06-05 11:50:28 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-05 11:51:43 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-05 11:54:37 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-06-05 11:56:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-06-05 11:58:38 +0200 | <CoolerX> | Hi |
| 2022-06-05 11:58:44 +0200 | <CoolerX> | I get this error in VSCode Project requires HLS but it isn't installed |
| 2022-06-05 11:59:04 +0200 | <CoolerX> | It has a button "Install HLS" that takes you to https://www.haskell.org/ghcup/ |
| 2022-06-05 11:59:26 +0200 | <CoolerX> | I already have stack installed |
| 2022-06-05 11:59:30 +0200 | <CoolerX> | stack ghc |
| 2022-06-05 11:59:34 +0200 | <CoolerX> | stack ghci |
| 2022-06-05 12:00:21 +0200 | <CoolerX> | How do you get VSCode to use Stack instead of GHCup? |
| 2022-06-05 12:01:07 +0200 | <CoolerX> | I am using this extension https://marketplace.visualstudio.com/items?itemName=haskell.haskell |
| 2022-06-05 12:01:44 +0200 | <maerwald[m]> | CoolerX: What do you mean with "instead"? |
| 2022-06-05 12:03:09 +0200 | <maerwald[m]> | The extension support stack via ghcup just fine |
| 2022-06-05 12:03:18 +0200 | <CoolerX> | hm |
| 2022-06-05 12:03:27 +0200 | <CoolerX> | isn't ghcup an alternative to staack? |
| 2022-06-05 12:03:35 +0200 | <arahael> | CoolerX: No? |
| 2022-06-05 12:03:45 +0200 | <CoolerX> | stack has its own installer |
| 2022-06-05 12:03:56 +0200 | <arahael> | CoolerX: Many things have their own installer. |
| 2022-06-05 12:04:02 +0200 | <CoolerX> | https://docs.haskellstack.org/en/stable/README/#how-to-install |
| 2022-06-05 12:04:14 +0200 | <CoolerX> | yeah so what is ghcup doing? |
| 2022-06-05 12:04:15 +0200 | calleum_ | (~calleum@user/calleum) (Ping timeout: 256 seconds) |
| 2022-06-05 12:04:25 +0200 | <CoolerX> | it's an alternative way to install |
| 2022-06-05 12:06:07 +0200 | <[exa]> | ghcup is for installing the "haskell platform", basically ghc + cabal to get you running on any system. Stack does a bazillion of extra things (it does its own package management, installs a few own versions of ghc likely along with their own HLS and ide integrations) so a bit of mess is I'd say expectable |
| 2022-06-05 12:06:10 +0200 | <maerwald[m]> | Ghcup can install stack too |
| 2022-06-05 12:06:28 +0200 | <maerwald[m]> | Read https://github.com/haskell/vscode-haskell#setting-a-specific-toolchain |
| 2022-06-05 12:06:36 +0200 | <CoolerX> | $ haskell-language-server-wrapper |
| 2022-06-05 12:06:36 +0200 | <CoolerX> | -bash: haskell-language-server-wrapper: command not found |
| 2022-06-05 12:06:56 +0200 | <CoolerX> | $ stack haskell-language-server-wrapper |
| 2022-06-05 12:06:57 +0200 | <CoolerX> | Invalid argument `haskell-language-server-wrapper' |
| 2022-06-05 12:07:01 +0200 | <CoolerX> | hmmm |
| 2022-06-05 12:07:10 +0200 | <maerwald[m]> | You probably want this https://paste.tomsmeding.com/LH4oGpB2 |
| 2022-06-05 12:07:31 +0200 | <maerwald[m]> | This causes the extension to only manage HLS and nothing else |
| 2022-06-05 12:07:45 +0200 | <CoolerX> | stack install haskell-language-server |
| 2022-06-05 12:07:57 +0200 | <CoolerX> | https://www.reddit.com/r/haskell/comments/qm9lra/stack_dependency_hell/ |
| 2022-06-05 12:08:08 +0200 | <maerwald[m]> | Read https://github.com/haskell/vscode-haskell#stackcabalghc-can-not-be-found |
| 2022-06-05 12:09:12 +0200 | <CoolerX> | maerwald[m]: that talks about GHCup |
| 2022-06-05 12:09:15 +0200 | <CoolerX> | "Also make sure GHCup is installed and in $PATH. If you're not starting VSCode from the terminal, you might need to add ${HOME}/.ghcup/bin to PATH like so: |
| 2022-06-05 12:09:18 +0200 | <CoolerX> | " |
| 2022-06-05 12:09:30 +0200 | <maerwald[m]> | CoolerX: yes |
| 2022-06-05 12:09:35 +0200 | <CoolerX> | I don't need GHCup I have ghc, cabal, etc |
| 2022-06-05 12:09:38 +0200 | dcoutts__ | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) |
| 2022-06-05 12:09:45 +0200 | <maerwald[m]> | The extension uses ghcup to install HLS |
| 2022-06-05 12:09:57 +0200 | <maerwald[m]> | rtfm |
| 2022-06-05 12:10:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 12:10:50 +0200 | <maerwald[m]> | I sent you links that emplain how to make the extension only install HLS, reas them |
| 2022-06-05 12:10:58 +0200 | <maerwald[m]> | *read |
| 2022-06-05 12:11:07 +0200 | <CoolerX> | I don't want it to install anything |
| 2022-06-05 12:11:27 +0200 | <CoolerX> | I just want the extension to pick up and use the existing installed versions of ghc, cabal, hls, etc. |
| 2022-06-05 12:11:38 +0200 | <CoolerX> | it's already installed, don't need double install |
| 2022-06-05 12:12:00 +0200 | <[exa]> | CoolerX: extensions are usually super-picky about the versions :( |
| 2022-06-05 12:12:18 +0200 | <CoolerX> | it's the latest version |
| 2022-06-05 12:12:26 +0200 | <maerwald[m]> | CoolerX: read my links |
| 2022-06-05 12:12:34 +0200 | <CoolerX> | maerwald[m]: I did |
| 2022-06-05 12:12:41 +0200 | <maerwald[m]> | It's literally explained there |
| 2022-06-05 12:12:43 +0200 | <maerwald[m]> | No you didn't |
| 2022-06-05 12:13:03 +0200 | <CoolerX> | "15:37 < maerwald[m]> You probably want this https://paste.tomsmeding.com/LH4oGpB2" I don't want the extension to manage HLS |
| 2022-06-05 12:13:06 +0200 | <CoolerX> | 15:37 < maerwald[m]> This causes the extension to only manage HLS and nothing else |
| 2022-06-05 12:13:21 +0200 | <CoolerX> | why is it managing anything? |
| 2022-06-05 12:13:26 +0200 | <CoolerX> | that's not i's job |
| 2022-06-05 12:13:33 +0200 | <CoolerX> | just use the existing things |
| 2022-06-05 12:13:36 +0200 | <[exa]> | CoolerX: "latest version" may change everyday, they usually go for some kind of LTS |
| 2022-06-05 12:13:41 +0200 | <maerwald[m]> | https://github.com/haskell/vscode-haskell#downloaded-binaries |
| 2022-06-05 12:14:03 +0200 | <maerwald[m]> | CoolerX: set haskell.manageHLS to PATT |
| 2022-06-05 12:14:05 +0200 | <maerwald[m]> | PATH |
| 2022-06-05 12:14:13 +0200 | <maerwald[m]> | It's explained in the readme |
| 2022-06-05 12:14:16 +0200 | <CoolerX> | yeah I set that already |
| 2022-06-05 12:14:27 +0200 | <CoolerX> | it still complains |
| 2022-06-05 12:14:43 +0200 | <CoolerX> | I think because only stack is on the PATH technically speaking |
| 2022-06-05 12:14:49 +0200 | <maerwald[m]> | Then thathas nothing to do with the extension but your setup |
| 2022-06-05 12:15:55 +0200 | <maerwald[m]> | Again: read the readme. It explains how you can point it to a specific hls binary |
| 2022-06-05 12:16:05 +0200 | <CoolerX> | I thought you said it can pick up and use stack just fine |
| 2022-06-05 12:16:35 +0200 | <CoolerX> | it has to be through ghcup?? |
| 2022-06-05 12:16:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-05 12:16:47 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-06-05 12:17:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-06-05 12:17:22 +0200 | <maerwald[m]> | No |
| 2022-06-05 12:19:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-05 12:21:31 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-05 12:22:51 +0200 | <CoolerX> | I guess I have to install ghcup |
| 2022-06-05 12:23:01 +0200 | <CoolerX> | nothing else works |
| 2022-06-05 12:24:18 +0200 | <maerwald[m]> | Your hls binaries need to be in PATH |
| 2022-06-05 12:26:41 +0200 | <CoolerX> | how does hls find packages? |
| 2022-06-05 12:27:13 +0200 | <CoolerX> | does it look for stack.yaml package.cabal? |
| 2022-06-05 12:27:17 +0200 | <CoolerX> | package.yaml |
| 2022-06-05 12:28:16 +0200 | <arahael> | CoolerX: In general, if you want to have a custom setup, you usually need to be sure to read everything as you effectively have a bespoke implementation now. |
| 2022-06-05 12:29:11 +0200 | <CoolerX> | arahael: I didn't start out with that as a goal |
| 2022-06-05 12:29:36 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 12:29:52 +0200 | <arahael> | CoolerX: I would probably just follow the instructions - I don't use HLS myself (It's on my todo... eventually...) but I would probably just run with it's default and have it install it's own entirely separate version of everything. |
| 2022-06-05 12:30:01 +0200 | <CoolerX> | https://www.haskell.org/downloads/ |
| 2022-06-05 12:30:05 +0200 | <CoolerX> | Stack: a cross-platform program for developing Haskell projects |
| 2022-06-05 12:30:19 +0200 | <CoolerX> | https://docs.haskellstack.org/en/stable/README/ |
| 2022-06-05 12:30:28 +0200 | <CoolerX> | https://docs.haskellstack.org/en/stable/README/#how-to-install |
| 2022-06-05 12:30:47 +0200 | <CoolerX> | that's what I did |
| 2022-06-05 12:31:51 +0200 | <CoolerX> | if you really want people to follow a particular way of installing and using then keep that as the only option |
| 2022-06-05 12:33:33 +0200 | <maerwald[m]> | CoolerX: that's what I suggested, but it wasn't accepted |
| 2022-06-05 12:33:44 +0200 | <maerwald[m]> | Ask the haskell.org committee |
| 2022-06-05 12:33:49 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 12:33:53 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-06-05 12:33:53 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-05 12:35:13 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 12:35:18 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-05 12:35:48 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-05 12:37:04 +0200 | <maerwald[m]> | You can rant here https://github.com/haskell-infra/www.haskell.org/issues |
| 2022-06-05 12:38:17 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-06-05 12:40:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Ping timeout: 272 seconds) |
| 2022-06-05 12:41:33 +0200 | <CoolerX> | ghcup is doing something weird |
| 2022-06-05 12:41:43 +0200 | <maerwald[m]> | CoolerX: like? |
| 2022-06-05 12:41:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-06-05 12:42:14 +0200 | <CoolerX> | op nvm |
| 2022-06-05 12:42:20 +0200 | <CoolerX> | it just froze for a few minutes |
| 2022-06-05 12:42:22 +0200 | <CoolerX> | now it finished |
| 2022-06-05 12:42:48 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-06-05 12:43:42 +0200 | <CoolerX> | Project requires GHCup but it isn't installed |
| 2022-06-05 12:43:46 +0200 | <CoolerX> | oh ffs |
| 2022-06-05 12:44:18 +0200 | <maerwald[m]> | CoolerX: https://github.com/haskell/vscode-haskell#stackcabalghc-can-not-be-found |
| 2022-06-05 12:44:20 +0200 | <CoolerX> | $ ghcup |
| 2022-06-05 12:44:20 +0200 | <CoolerX> | Missing: COMMAND |
| 2022-06-05 12:44:20 +0200 | <CoolerX> | Usage: ghcup [(-v|--verbose) | --no-verbose] [(-c|--cache) | --no-cache] |
| 2022-06-05 12:44:27 +0200 | <CoolerX> | I have it installed and in PATH |
| 2022-06-05 12:44:49 +0200 | <maerwald[m]> | Yes, but you probably don't stsrt vscode from Terminal |
| 2022-06-05 12:45:00 +0200 | <maerwald[m]> | GUI programs on linux don't inherit shell path |
| 2022-06-05 12:45:12 +0200 | <maerwald[m]> | At least not if you use gdm etc |
| 2022-06-05 12:45:29 +0200 | <CoolerX> | works after restarting twice |
| 2022-06-05 12:45:30 +0200 | <maerwald[m]> | The link explains how to fix it |
| 2022-06-05 12:45:31 +0200 | <CoolerX> | vscode |
| 2022-06-05 12:45:41 +0200 | janus78 | (~janus@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Quit: Client closed) |
| 2022-06-05 12:45:53 +0200 | <CoolerX> | Multi Cradle: No prefixes matched |
| 2022-06-05 12:46:21 +0200 | <CoolerX> | it's showing a red line here v |
| 2022-06-05 12:46:22 +0200 | <CoolerX> | https://github.com/jjhenkel/binnacle-icse2020/blob/master/datasets/2-phase-2-dockerfile-asts/gener… |
| 2022-06-05 12:46:42 +0200 | <maerwald[m]> | CoolerX: https://paste.tomsmeding.com/Ft8HxOzo |
| 2022-06-05 12:46:53 +0200 | <maerwald[m]> | Add this file as hie.yaml to your project root |
| 2022-06-05 12:47:34 +0200 | <CoolerX> | hmm https://hackage.haskell.org/package/implicit-hie |
| 2022-06-05 12:47:37 +0200 | <CoolerX> | what is that? |
| 2022-06-05 12:47:44 +0200 | <CoolerX> | haskell internal extensions? |
| 2022-06-05 12:47:56 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-05 12:48:16 +0200 | <arahael> | Haskell IDE Engine, I think. |
| 2022-06-05 12:48:37 +0200 | <CoolerX> | ok? |
| 2022-06-05 12:48:48 +0200 | <maerwald[m]> | CoolerX: did you do what I said? |
| 2022-06-05 12:49:16 +0200 | <CoolerX> | yes |
| 2022-06-05 12:49:26 +0200 | <maerwald[m]> | Now restart vscode |
| 2022-06-05 12:49:49 +0200 | <CoolerX> | yeah that works thanks |
| 2022-06-05 12:50:22 +0200 | <CoolerX> | ok now it complains about not being able to load modules |
| 2022-06-05 12:50:36 +0200 | <CoolerX> | Could not load module ‘Data.Text’ |
| 2022-06-05 12:50:36 +0200 | <CoolerX> | It is a member of the hidden package ‘text-1.2.5.0’. |
| 2022-06-05 12:50:36 +0200 | <CoolerX> | You can run ‘:set -package text’ to expose it. |
| 2022-06-05 12:50:38 +0200 | <CoolerX> | (Note: this unloads all the modules in the current scope.) |
| 2022-06-05 12:50:58 +0200 | <CoolerX> | red line on https://github.com/jjhenkel/binnacle-icse2020/blob/master/datasets/2-phase-2-dockerfile-asts/gener… |
| 2022-06-05 12:51:47 +0200 | dcoutts__ | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-06-05 12:51:56 +0200 | <maerwald[m]> | CoolerX: https://www.haskell.org/ghcup/steps/#adding-dependencies |
| 2022-06-05 12:53:37 +0200 | yosef` | (~user@user/yosef/x-2947716) |
| 2022-06-05 12:57:52 +0200 | <CoolerX> | maerwald[m]: that's like magic copy paste stuff |
| 2022-06-05 12:57:56 +0200 | <CoolerX> | doesn't explain much |
| 2022-06-05 12:58:31 +0200 | <CoolerX> | https://docs.haskellstack.org/en/stable/stack_yaml_vs_cabal_package_file/ |
| 2022-06-05 12:59:53 +0200 | <maerwald[m]> | CoolerX: copy paste? |
| 2022-06-05 13:01:54 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-05 13:02:02 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-05 13:02:10 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-06-05 13:03:37 +0200 | sander | (~sander@user/sander) |
| 2022-06-05 13:04:00 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-05 13:04:22 +0200 | <CoolerX> | maerwald[m]: what does this mean? build-depends: base ^>=4.14.3.0 |
| 2022-06-05 13:04:22 +0200 | <CoolerX> | , directory |
| 2022-06-05 13:04:31 +0200 | <CoolerX> | what is base and directory? |
| 2022-06-05 13:04:48 +0200 | <CoolerX> | what does ^>= mean? |
| 2022-06-05 13:05:24 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-05 13:05:38 +0200 | <maerwald[m]> | https://cabal.readthedocs.io/en/stable/cabal-package.html |
| 2022-06-05 13:06:14 +0200 | <maerwald[m]> | That's the caret operator explained here https://cabal.readthedocs.io/en/stable/cabal-package.html#pkg-field-build-depends |
| 2022-06-05 13:06:50 +0200 | <maerwald[m]> | ^>= x.y.z.u == >= x.y.z && < x.(y+1) |
| 2022-06-05 13:07:10 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-06-05 13:10:37 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 13:13:28 +0200 | raym | (~raym@user/raym) |
| 2022-06-05 13:16:24 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-05 13:28:24 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-05 13:30:38 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-05 13:32:31 +0200 | titibandit | (~thibaut@xdsl-87-78-253-243.nc.de) |
| 2022-06-05 13:38:54 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 13:46:19 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2022-06-05 13:48:16 +0200 | yosef` | (~user@user/yosef/x-2947716) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2022-06-05 13:50:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-05 13:58:14 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 244 seconds) |
| 2022-06-05 13:59:29 +0200 | acidjnk | (~acidjnk@p200300d0c7068b769182d16d5e27fb19.dip0.t-ipconnect.de) |
| 2022-06-05 14:06:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-05 14:07:42 +0200 | CoolerX | (~user@user/coolerx) |
| 2022-06-05 14:15:57 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-06-05 14:19:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-05 14:20:53 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-05 14:23:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-05 14:30:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-06-05 14:32:24 +0200 | kuribas | (~user@ptr-17d51en0oz3ua6p75jh.18120a2.ip6.access.telenet.be) |
| 2022-06-05 14:32:50 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 14:34:01 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-05 14:35:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-05 14:37:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 14:41:13 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-06-05 14:41:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Ping timeout: 260 seconds) |
| 2022-06-05 14:43:02 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 14:43:45 +0200 | user1 | (~user@188.253.237.216) |
| 2022-06-05 14:45:54 +0200 | CoolerX | (~user@user/coolerx) (Ping timeout: 276 seconds) |
| 2022-06-05 14:46:15 +0200 | user1 | (~user@188.253.237.216) () |
| 2022-06-05 14:51:15 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-05 15:03:02 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 15:11:54 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-06-05 15:12:46 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 15:21:30 +0200 | acidjnk_new | (~acidjnk@p200300d0c7068b766488324a9f98d1f8.dip0.t-ipconnect.de) |
| 2022-06-05 15:25:02 +0200 | acidjnk | (~acidjnk@p200300d0c7068b769182d16d5e27fb19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-05 15:25:21 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-05 15:27:20 +0200 | acidjnk_new | (~acidjnk@p200300d0c7068b766488324a9f98d1f8.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-06-05 15:27:24 +0200 | siers | (~ij@user/ij) |
| 2022-06-05 15:30:27 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-05 15:33:13 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:fb69:f691:39d4:dfaa) |
| 2022-06-05 15:35:52 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-06-05 15:36:49 +0200 | odnes_ | (~odnes@5-203-225-191.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-06-05 15:37:29 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-05 15:41:31 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-05 15:42:05 +0200 | AlexZenon | (~alzenon@178.34.151.152) (Ping timeout: 258 seconds) |
| 2022-06-05 15:42:42 +0200 | Alex_test | (~al_test@178.34.151.152) (Ping timeout: 246 seconds) |
| 2022-06-05 15:43:31 +0200 | Alex_test | (~al_test@178.34.151.152) |
| 2022-06-05 15:43:44 +0200 | AlexZenon | (~alzenon@178.34.151.152) |
| 2022-06-05 15:46:13 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 15:50:16 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 15:50:47 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-05 15:58:23 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-06-05 16:02:50 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-05 16:11:26 +0200 | acidjnk_new | (~acidjnk@p200300d0c7068b76557c5ebe21773c19.dip0.t-ipconnect.de) |
| 2022-06-05 16:13:04 +0200 | siers | (~ij@user/ij) |
| 2022-06-05 16:13:08 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2022-06-05 16:23:10 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-06-05 16:25:37 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 16:30:22 +0200 | dcleonarski | (~user@2804:d51:4704:e400:680:84d0:9355:7c5b) |
| 2022-06-05 16:30:40 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-06-05 16:34:32 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-05 16:35:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-05 16:35:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-05 16:38:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 16:41:51 +0200 | sebastiandb | (~sebastian@pool-108-18-101-17.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-05 16:42:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Ping timeout: 244 seconds) |
| 2022-06-05 16:51:19 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 244 seconds) |
| 2022-06-05 16:52:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-06-05 16:53:57 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 276 seconds) |
| 2022-06-05 16:54:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-05 17:01:15 +0200 | titibandit | (~thibaut@xdsl-87-78-253-243.nc.de) (Quit: Leaving.) |
| 2022-06-05 17:10:06 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-06-05 17:24:42 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:fb69:f691:39d4:dfaa) (Ping timeout: 260 seconds) |
| 2022-06-05 17:24:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 17:29:36 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-05 17:34:56 +0200 | acidsys | (~crameleon@2a03:4000:6:b666:6666::) (Changing host) |
| 2022-06-05 17:34:56 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2022-06-05 17:35:30 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-05 17:37:45 +0200 | dcleonarski | (~user@2804:d51:4704:e400:680:84d0:9355:7c5b) (Ping timeout: 260 seconds) |
| 2022-06-05 17:41:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Remote host closed the connection) |
| 2022-06-05 17:48:23 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 17:52:50 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-05 17:53:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 17:57:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-06-05 18:01:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-05 18:05:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 18:07:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-05 18:08:02 +0200 | titibandit | (~thibaut@xdsl-87-78-253-243.nc.de) |
| 2022-06-05 18:23:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2022-06-05 18:24:10 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:4803:3ca5:63c4:4e9f) |
| 2022-06-05 18:26:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Remote host closed the connection) |
| 2022-06-05 18:27:04 +0200 | eggplantade | (~Eggplanta@108.201.191.115) |
| 2022-06-05 18:28:58 +0200 | <Bulby[m]> | How would I represent native functions in my interpreter in a Showable way? |
| 2022-06-05 18:29:01 +0200 | <Bulby[m]> | because using a haskell function doesn't wokr |
| 2022-06-05 18:29:36 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2022-06-05 18:33:08 +0200 | Guest12 | (~Guest12@2605:a601:a615:f600:eda9:6b28:bfe6:17d8) |
| 2022-06-05 18:33:51 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-05 18:34:20 +0200 | <Guest12> | I'm about to submit a proposal to make `$` fully levity polymorphic, but I'm still not 100% on the proposals process. Should the `0000` in the name of the proposal be change to something else? |
| 2022-06-05 18:35:08 +0200 | <Guest12> | (This is for ghc-proposals on Github.) |
| 2022-06-05 18:35:38 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-06-05 18:36:19 +0200 | <Guest12> | (The change is just `($) :: forall ra rb. (a :: TYPE ra) (b :: TYPE rb). (a -> b) -> a -> b ; ($) f = f`.) |
| 2022-06-05 18:37:27 +0200 | eggplantade | (~Eggplanta@108.201.191.115) (Remote host closed the connection) |
| 2022-06-05 18:37:41 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-05 18:38:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 18:40:41 +0200 | <Guest12> | Guess I'll just submit it and see what happens. |
| 2022-06-05 18:40:48 +0200 | Guest12 | (~Guest12@2605:a601:a615:f600:eda9:6b28:bfe6:17d8) (Quit: Client closed) |
| 2022-06-05 18:42:33 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-06-05 18:42:57 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-05 18:43:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-06-05 18:45:28 +0200 | <Bulby[m]> | how does polysemy reinterpret work? does it mean I can use the things of the reinterpreted? |
| 2022-06-05 19:04:06 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-05 19:07:43 +0200 | Alleria | (~textual@user/alleria) (Read error: Connection reset by peer) |
| 2022-06-05 19:08:47 +0200 | Alleria | (~textual@user/alleria) |
| 2022-06-05 19:09:26 +0200 | Alleria | (~textual@user/alleria) (Client Quit) |
| 2022-06-05 19:11:15 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-06-05 19:16:55 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 19:20:30 +0200 | econo | (uid147250@user/econo) |
| 2022-06-05 19:24:02 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-05 19:25:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-06-05 19:25:42 +0200 | fr-isotope | (uid556229@id-556229.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-05 19:26:34 +0200 | wayfaster | (~wayfaster@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-06-05 19:27:52 +0200 | foul_owl | (~kerry@23.82.194.93) (Ping timeout: 244 seconds) |
| 2022-06-05 19:33:27 +0200 | Topsi | (~Topsi@dyndsl-095-033-023-170.ewe-ip-backbone.de) |
| 2022-06-05 19:37:36 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-06-05 19:40:37 +0200 | <maerwald> | is useAsCString/peekCString safe under unsafeDupablePerformIO? |
| 2022-06-05 19:42:34 +0200 | <c_wraith> | if you're not mutating it, I'd expect it to be completely safe. If you are mutating it, things might get weird depending on some factors. |
| 2022-06-05 19:42:41 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-06-05 19:43:08 +0200 | foul_owl | (~kerry@71.212.150.111) |
| 2022-06-05 19:43:13 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-05 19:43:41 +0200 | <maerwald> | It's literally: useAsCString bs $ \cstr -> peekCString utf8 cstr |
| 2022-06-05 19:43:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) (Remote host closed the connection) |
| 2022-06-05 19:44:07 +0200 | <maerwald> | I don't think those mutate |
| 2022-06-05 19:45:52 +0200 | <maerwald> | unsafeDupablePerformIO says that bracket inside is unsafe |
| 2022-06-05 19:46:10 +0200 | <maerwald> | useAsCString also frees up the cstr after termination of the inner function or when an exception is raised |
| 2022-06-05 19:46:16 +0200 | <maerwald> | so it seems unsafe to me |
| 2022-06-05 19:46:25 +0200 | <maerwald> | could lead to the cstr not being freed up |
| 2022-06-05 19:46:49 +0200 | <maerwald> | "It may even happen that one of the duplicated IO actions is only run partially, and then interrupted in the middle without an exception being raised." |
| 2022-06-05 19:51:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:cd32:9943:3e3c:c96c) |
| 2022-06-05 19:52:22 +0200 | <c_wraith> | ah, yes. that's a problem |
| 2022-06-05 19:52:30 +0200 | <c_wraith> | in the memory leak side |
| 2022-06-05 19:54:57 +0200 | <geekosaur> | I don't think I see why: it's just giving you a Ptr CChar pointing at the innards of a ByteString, right? not sure this can even leak in a way that can escape gc |
| 2022-06-05 19:55:02 +0200 | <justsomeguy> | I'll be traveling through Ireland and the UK soon, and am thinking of looking for in-person Haskell meetups along the way. Are there any big ones around there? |
| 2022-06-05 19:55:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-06-05 19:56:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-05 19:57:53 +0200 | justsomeguy | is tempted to check out University of Glasgow on his way |
| 2022-06-05 19:58:08 +0200 | <maerwald> | geekosaur: I'm working with ShortByteString |
| 2022-06-05 19:58:13 +0200 | <maerwald> | so there's an allocation |
| 2022-06-05 19:58:57 +0200 | <geekosaur> | is useAsCString safe in that case at all? the original version assumed ByteString which is pinned |
| 2022-06-05 19:59:18 +0200 | <geekosaur> | would nbeed to be redesigned to prevent a ShortByteString from being gced/moved |
| 2022-06-05 20:00:56 +0200 | <maerwald> | https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/Data-ByteString-Short-Internal.html#v… |
| 2022-06-05 20:01:46 +0200 | <geekosaur> | yeh, that sounds unsafe |
| 2022-06-05 20:02:16 +0200 | <maerwald> | geekosaur: shortbytestring is unpinned memory |
| 2022-06-05 20:03:08 +0200 | <geekosaur[m]> | Yes, I know |
| 2022-06-05 20:03:13 +0200 | <maerwald> | so what is unsafe here |
| 2022-06-05 20:04:43 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:05:22 +0200 | raym | (~raym@user/raym) (Ping timeout: 272 seconds) |
| 2022-06-05 20:05:42 +0200 | <geekosaur[m]> | The copy it makes can fail to be collected in the case where unsafeDupablePerformIO is aborted as you said earlier, without an exception |
| 2022-06-05 20:05:49 +0200 | raym | (~raym@user/raym) |
| 2022-06-05 20:06:01 +0200 | <maerwald> | yeah, I thought you're saying it's unsafe outside of unsafeDupablePerformIO |
| 2022-06-05 20:07:29 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:07:51 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:08:34 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:08:55 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:09:26 +0200 | Guest88 | (~Guest88@77-170-226-23.fixed.kpn.net) |
| 2022-06-05 20:09:40 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:09:58 +0200 | <maerwald> | that would mean I introduced a bug to bytestring, so my heart stopped for a second :D |
| 2022-06-05 20:10:00 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:10:34 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:10:54 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:11:20 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-05 20:11:41 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:12:21 +0200 | Guest88 | (~Guest88@77-170-226-23.fixed.kpn.net) (Client Quit) |
| 2022-06-05 20:12:57 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:13:15 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:13:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-05 20:22:00 +0200 | <geekosaur> | no, I was answering your original question which was about using it in unsafeDupablePerformIO |
| 2022-06-05 20:22:24 +0200 | <geekosaur> | if it were unsafe in general one would have to ask why it existed and didn;t have a bunch of warnings on it |
| 2022-06-05 20:25:16 +0200 | <c_wraith> | the fact that bracket doesn't work inside unsafeDupablePerformIO is a big footgun. I understand why, but I wouldn't have predicted it. |
| 2022-06-05 20:26:56 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-06-05 20:27:25 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-05 20:27:59 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-05 20:28:40 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-05 20:31:34 +0200 | <maerwald> | can `newCString` fail? (the encoding part from String to ShortByteString) |
| 2022-06-05 20:31:40 +0200 | <maerwald> | should be total, right? |
| 2022-06-05 20:32:13 +0200 | <maerwald> | on the other hand, custom TextEncoding's could do whatever |
| 2022-06-05 20:33:02 +0200 | Alleria | (~textual@user/alleria) |
| 2022-06-05 20:33:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-05 20:33:29 +0200 | <maerwald> | I guess the ones provided by GHC.IO.Encoding should be total |
| 2022-06-05 20:36:31 +0200 | <hpc> | that's just the encoding being total or partial then |
| 2022-06-05 20:36:36 +0200 | <hpc> | like how ($) is total |
| 2022-06-05 20:36:55 +0200 | <maerwald> | yeah |
| 2022-06-05 20:39:32 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.2.1) |
| 2022-06-05 20:39:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-05 20:40:25 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-05 20:41:19 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-06-05 20:42:55 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-05 20:44:33 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-05 20:44:48 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 20:45:37 +0200 | alp | (~alp@user/alp) |
| 2022-06-05 20:54:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-06-05 20:54:46 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-05 20:58:18 +0200 | <Bulby[m]> | `coerce @(HM.HashMap T.Text LoxValue) @LxEnv (HM.insert k v)` why is coerce being mean ☹️ |
| 2022-06-05 20:58:26 +0200 | <Bulby[m]> | i am not in the mood to write out a full type signature |
| 2022-06-05 20:58:43 +0200 | <Bulby[m]> | LxEnv is a newtype around a hashmap |
| 2022-06-05 20:59:30 +0200 | <geekosaur> | coerce is magical, I'm not sure you get to TypeApplications it |
| 2022-06-05 20:59:43 +0200 | <Bulby[m]> | ☹️ |
| 2022-06-05 21:00:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-05 21:00:16 +0200 | <Bulby[m]> | oh, the context is enough for coerce to understand LOL |
| 2022-06-05 21:00:19 +0200 | <geekosaur> | if the typechecker can't determine that it's a newtype itself, it'll reject it as unsound |
| 2022-06-05 21:01:41 +0200 | dcleonarski | (~user@2804:d51:4704:e400:680:84d0:9355:7c5b) |
| 2022-06-05 21:05:00 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 21:10:18 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-05 21:11:00 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2022-06-05 21:12:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-05 21:21:43 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 21:22:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-05 21:24:24 +0200 | Topsi | (~Topsi@dyndsl-095-033-023-170.ewe-ip-backbone.de) (Ping timeout: 258 seconds) |
| 2022-06-05 21:25:29 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:ff2b:b7c:b12a:ef6f) |
| 2022-06-05 21:25:46 +0200 | Topsi | (~Topsi@dyndsl-095-033-023-170.ewe-ip-backbone.de) |
| 2022-06-05 21:28:05 +0200 | hololeap | (~quassel@user/hololeap) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-05 21:28:23 +0200 | Oiyqlk | (~IceChat95@2804:d45:88b7:6700:bccb:9701:17fa:48f) |
| 2022-06-05 21:31:30 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-06-05 21:33:31 +0200 | hololeap | (~quassel@user/hololeap) |
| 2022-06-05 21:35:10 +0200 | Oiyqlk | (~IceChat95@2804:d45:88b7:6700:bccb:9701:17fa:48f) () |
| 2022-06-05 21:44:34 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-05 21:46:19 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) |
| 2022-06-05 21:47:02 +0200 | slack1256 | (~slack1256@186.11.17.226) |
| 2022-06-05 21:58:14 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-05 21:58:44 +0200 | slack1256 | (~slack1256@186.11.17.226) (Ping timeout: 244 seconds) |
| 2022-06-05 21:59:48 +0200 | dsrt^ | (~dsrt@128-092-183-014.biz.spectrum.com) |
| 2022-06-05 22:09:57 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.5) |
| 2022-06-05 22:11:30 +0200 | Topsi | (~Topsi@dyndsl-095-033-023-170.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-06-05 22:11:48 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-06-05 22:19:26 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-06-05 22:28:33 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-05 22:34:04 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-05 22:37:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 22:38:44 +0200 | fr-isotope | (uid556229@id-556229.ilkley.irccloud.com) |
| 2022-06-05 22:41:43 +0200 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2022-06-05 22:43:13 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-06-05 22:58:54 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-05 23:01:58 +0200 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-06-05 23:06:43 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-05 23:07:56 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-06-05 23:11:04 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-05 23:12:11 +0200 | fetsorn | (~fetsorn@46.71.112.209) |
| 2022-06-05 23:12:58 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-05 23:14:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-05 23:14:26 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-05 23:14:38 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-05 23:15:36 +0200 | fetsorn | (~fetsorn@46.71.112.209) (Client Quit) |
| 2022-06-05 23:16:51 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-05 23:17:08 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-05 23:17:59 +0200 | Topsi | (~Topsi@dyndsl-095-033-023-170.ewe-ip-backbone.de) |
| 2022-06-05 23:18:47 +0200 | fetsorn | (~fetsorn@46.71.112.209) |
| 2022-06-05 23:20:44 +0200 | adium | (adium@user/adium) |
| 2022-06-05 23:22:38 +0200 | fetsorn | (~fetsorn@46.71.112.209) (Remote host closed the connection) |
| 2022-06-05 23:23:31 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-05 23:24:23 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 258 seconds) |
| 2022-06-05 23:26:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.5) |
| 2022-06-05 23:26:56 +0200 | takuan | (~takuan@178.116.218.225) (Remote host closed the connection) |
| 2022-06-05 23:27:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-05 23:29:47 +0200 | <Bulby[m]> | in unordered containers, is the representation of lazy vs strict the same? |
| 2022-06-05 23:30:08 +0200 | <Bulby[m]> | because when switching from strict to lazy it didn't throw a temper tantrum when they mismatched |
| 2022-06-05 23:30:46 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-06-05 23:31:06 +0200 | <geekosaur> | looks like yes |
| 2022-06-05 23:31:51 +0200 | <geekosaur> | both use Data.Hash*.Internal. Data.Map is similar, the operations differ but the representation is the same |
| 2022-06-05 23:31:53 +0200 | <Bulby[m]> | hm, switching to lazy didn't fix my issue |
| 2022-06-05 23:32:08 +0200 | <geekosaur> | what's your issue? |
| 2022-06-05 23:32:33 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-06-05 23:32:43 +0200 | odnes | (~odnes@5-203-234-138.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-06-05 23:33:20 +0200 | <Bulby[m]> | so the closure in my interpreter is being weird... |
| 2022-06-05 23:33:20 +0200 | <Bulby[m]> | `fun foo(a) { if (a == 0) then return; else foo(a - 1); }` works |
| 2022-06-05 23:33:21 +0200 | <Bulby[m]> | but |
| 2022-06-05 23:33:30 +0200 | <Bulby[m]> | ``` |
| 2022-06-05 23:33:30 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 2022-06-05 23:33:41 +0200 | <geekosaur> | also remember that the keys will always be strict because they have to be hashed and compared for anything to happen |
| 2022-06-05 23:33:46 +0200 | <Bulby[m]> | `fun bar() { var i = 1; fun foo() { print i;} return foo; } bar()();` does not |
| 2022-06-05 23:33:50 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-05 23:34:03 +0200 | <Bulby[m]> | oh I don't care about keys |
| 2022-06-05 23:34:03 +0200 | <Bulby[m]> | this is the silly recursive stuff again |
| 2022-06-05 23:34:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-05 23:34:13 +0200 | <Bulby[m]> | https://github.com/TheDrawingCoder-Gamer/lox-hs/blob/master/src/Lox/Evaluate.hs#L40-L43 |
| 2022-06-05 23:34:43 +0200 | <Bulby[m]> | the closure captures the function itself but not surronding variables |
| 2022-06-05 23:34:43 +0200 | <Bulby[m]> | which is odd |
| 2022-06-05 23:35:12 +0200 | <Bulby[m]> | (btw, it's now represented as [LxEnv] and not LxEnv) |
| 2022-06-05 23:36:15 +0200 | <Bulby[m]> | it tells me it fails to fetch it |
| 2022-06-05 23:36:28 +0200 | <Bulby[m]> | wait, idea for printing |
| 2022-06-05 23:36:34 +0200 | <Bulby[m]> | i could print out just the keys |
| 2022-06-05 23:37:43 +0200 | <geekosaur> | the closure should include the entire `[LxEnv]` from when it was created, not rely on the state (where the `LxEnv`s from both `foo` and `bar` will have been discarded) |
| 2022-06-05 23:38:26 +0200 | <geekosaur> | discarded by the time you call the `foo` returned by `bar`, that is |
| 2022-06-05 23:38:47 +0200 | <Bulby[m]> | it does now, right? `get` returns `[LxEnv]` |
| 2022-06-05 23:39:13 +0200 | <Bulby[m]> | i made a new polysemy effect |
| 2022-06-05 23:39:31 +0200 | <Bulby[m]> | that is basically a stack state |
| 2022-06-05 23:41:27 +0200 | <Bulby[m]> | https://github.com/TheDrawingCoder-Gamer/lox-hs/blob/master/src/Polysemy/StackState.hs this is that effect |
| 2022-06-05 23:44:40 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-06-05 23:45:28 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:ff2b:b7c:b12a:ef6f) (Ping timeout: 258 seconds) |
| 2022-06-05 23:45:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-05 23:47:48 +0200 | <geekosaur> | not seeing anything that jumps out at me as wrong , but I'm among other things not very familiar with polysemy |
| 2022-06-05 23:48:29 +0200 | <Bulby[m]> | how would I go about debugging it? |
| 2022-06-05 23:51:09 +0200 | <geekosaur> | on function entry print out the full state stack; on defining a function print out the state that's being captured with it. note that if you actually went with static instead of dynamic scope, you may not have the full state at definition time (this is why static is harder than dynamic, although it's saner once you get it to work) |
| 2022-06-05 23:51:55 +0200 | <geekosaur> | also make sure "running" the `var` declaration adds it to the right state/scope |
| 2022-06-05 23:52:38 +0200 | <Bulby[m]> | I did go static I think, which is what `getAt` and `assignAt` is |
| 2022-06-05 23:54:33 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-05 23:56:11 +0200 | _73 | (~user@pool-173-76-102-248.bstnma.fios.verizon.net) |
| 2022-06-05 23:57:20 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |