Newest at the top
| 2025-07-21 22:36:24 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-21 22:36:06 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Client Quit) |
| 2025-07-21 22:35:54 +0200 | <haskellbridge> | <magic_rb> i came up with https://paste.tomsmeding.com/mukbO2zZ |
| 2025-07-21 22:35:54 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-21 22:35:54 +0200 | be8bcca2f3 | (~be8bcca2f@pool-71-169-14-231.pghkny.fios.verizon.net) (Changing host) |
| 2025-07-21 22:35:51 +0200 | <haskellbridge> | <magic_rb> glguy yeah im working on that |
| 2025-07-21 22:35:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-21 22:35:20 +0200 | be8bcca2f3 | (~be8bcca2f@pool-71-169-14-231.pghkny.fios.verizon.net) |
| 2025-07-21 22:33:27 +0200 | <glguy> | It's easier to read if you name a few things and use the monad helpers ^ |
| 2025-07-21 22:32:19 +0200 | <glguy> | https://paste.tomsmeding.com/Amxhzbyc |
| 2025-07-21 22:31:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-21 22:30:42 +0200 | b7r6 | (~b7r6@139.60.180.49) (Client Quit) |
| 2025-07-21 22:30:21 +0200 | b7r6 | (~b7r6@139.60.180.49) |
| 2025-07-21 22:30:04 +0200 | <haskellbridge> | <magic_rb> tomsmeding yeah that works too, thanks :) |
| 2025-07-21 22:29:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-21 22:28:08 +0200 | jespada_ | (~jespada@2800:a4:2242:c500:50f:4d6c:d22f:958c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-21 22:27:28 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 2025-07-21 22:24:41 +0200 | ndudaev | (~ndudaev@user/ndudaev) (Client Quit) |
| 2025-07-21 22:21:18 +0200 | <tomsmeding> | so apparently this is allowed :p |
| 2025-07-21 22:21:11 +0200 | <tomsmeding> | I used caseE before because I thought that $() splices could only appear in expression position, not in pattern position, but you're using them in pattern position in the arguments to explExists and explGet |
| 2025-07-21 22:20:47 +0200 | <tomsmeding> | only difference is in the generated ExplGet instance methods, I'm using a normal case expression instead of caseE |
| 2025-07-21 22:20:32 +0200 | <tomsmeding> | magic_rb: I think this should work too (but untested) https://paste.tomsmeding.com/N9x3Eopo |
| 2025-07-21 22:20:00 +0200 | ndudaev | (~ndudaev@user/ndudaev) ndudaev |
| 2025-07-21 22:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-21 22:19:09 +0200 | <haskellbridge> | <magic_rb> i just want to state, you guys have completely lost me :) but no worries, ill bother you some other when im not falling asleep |
| 2025-07-21 22:19:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-21 22:17:30 +0200 | <glguy> | It's often much more pleasant to use th-abstraction instead of using `reify` directly https://hackage.haskell.org/package/th-abstraction-0.7.1.0/docs/Language-Haskell-TH-Datatype.html |
| 2025-07-21 22:17:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-21 22:17:04 +0200 | <dminuoso> | Nevermind, we've got our wires crossed. |
| 2025-07-21 22:17:03 +0200 | <tomsmeding> | which is unwieldy, so caseE exists |
| 2025-07-21 22:16:51 +0200 | <tomsmeding> | so with CaseE, that would need to be [| val |] >>= \exp -> pure (CaseE exp ....) |
| 2025-07-21 22:16:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-21 22:16:33 +0200 | <tomsmeding> | well [| |] returns a Q Exp |
| 2025-07-21 22:16:28 +0200 | <tomsmeding> | ah |
| 2025-07-21 22:16:23 +0200 | <dminuoso> | tomsmeding: No I meant regarding quotation, I was looking at the [| val |] parts |
| 2025-07-21 22:16:07 +0200 | <tomsmeding> | dminuoso: you were asking about 'caseE'; there are only two occurrences of 'caseE', and they are in a splice |
| 2025-07-21 22:15:46 +0200 | <dminuoso> | tomsmeding: Maybe we're looking at different parts then. What are you staring at? |
| 2025-07-21 22:15:38 +0200 | <tomsmeding> | quotes produce monadic values too, by the way |
| 2025-07-21 22:15:33 +0200 | <tomsmeding> | dminuoso: quotes are [| |], splices are $( ) |
| 2025-07-21 22:15:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-21 22:15:24 +0200 | <tomsmeding> | then you can simplify the caseE code |
| 2025-07-21 22:15:23 +0200 | <dminuoso> | tomsmeding: You mean quotation, no? |
| 2025-07-21 22:15:18 +0200 | <haskellbridge> | <magic_rb> it works, so i guess so lmao |
| 2025-07-21 22:15:11 +0200 | <haskellbridge> | <magic_rb> tomsmeding idk youre the expert |
| 2025-07-21 22:14:59 +0200 | <haskellbridge> | <magic_rb> its hard to write these instances normally, TH makes it harder |
| 2025-07-21 22:14:54 +0200 | <tomsmeding> | magic_rb: wait you can use a splice in a pattern position? |
| 2025-07-21 22:14:33 +0200 | <dminuoso> | Im just not happy with TH at all. :( |
| 2025-07-21 22:14:31 +0200 | <haskellbridge> | <magic_rb> ! D: |
| 2025-07-21 22:14:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-21 22:14:08 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |