Newest at the top
| 2025-12-16 11:32:14 +0100 | <dutchie> | ah i think that's about the only quotation mode i've not tried lol |
| 2025-12-16 11:31:57 +0100 | <tomsmeding> | "-with-rtsopts=-N -I0" |
| 2025-12-16 11:31:51 +0100 | <tomsmeding> | dutchie: you have to put the quotes around the entire thing |
| 2025-12-16 11:31:48 +0100 | <[exa]> | dminuoso: Is that precisely the Monad jump though? I somehow felt that having the integers always finite would degrade the capabilities of the stuff a little (as in, you can't encode actual turing machine into that computation, right?) |
| 2025-12-16 11:31:34 +0100 | <dutchie> | how can i pass multiple flags to -with-rtsopts? |
| 2025-12-16 11:31:20 +0100 | <dutchie> | I'm having trouble with quoting ghc-options in cabal files. In my .cabal I have: `ghc-options: -Wall -with-rtsopts="-N -I0"` but when I build, I get a warning `Warning: [misplaced-c-opt] Instead of 'ghc-options: -I0"' use 'include-dirs: 0"'` and then my program errors out complaining that the rts option `"-N` is unexpected |
| 2025-12-16 11:28:59 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-16 11:28:59 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-16 11:28:59 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-16 11:25:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-16 11:25:27 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 11:25:14 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 11:24:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 11:21:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-12-16 11:21:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 11:09:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-16 11:09:18 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-16 11:06:28 +0100 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2025-12-16 11:04:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 11:04:41 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-16 11:00:10 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-16 10:58:07 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) (Ping timeout: 240 seconds) |
| 2025-12-16 10:58:05 +0100 | fp | (~Thunderbi@130.233.70.102) (Ping timeout: 250 seconds) |
| 2025-12-16 10:57:49 +0100 | <dminuoso> | This. |
| 2025-12-16 10:57:47 +0100 | <dminuoso> | `bindEither :: (Enum a, Selective f) => f (Either a b) -> (a -> f b) -> f b` |
| 2025-12-16 10:57:08 +0100 | <dminuoso> | Ah no, not quite. |
| 2025-12-16 10:57:03 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-16 10:56:30 +0100 | chromoblob | ✌️ ski |
| 2025-12-16 10:56:30 +0100 | <dminuoso> | I think you should be able to write `>>= :: (Enum a, Selective f) => f a -> (a -> f b) -> f b` |
| 2025-12-16 10:55:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-16 10:55:07 +0100 | <dminuoso> | This should be a fun excercise, let me try this. |
| 2025-12-16 10:54:07 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-165.open.aalto.fi) fp |
| 2025-12-16 10:53:41 +0100 | <gentauro> | makes sense |
| 2025-12-16 10:53:38 +0100 | fp | (~Thunderbi@130.233.70.102) fp |
| 2025-12-16 10:53:20 +0100 | <dminuoso> | But it would result in downright silly performance. |
| 2025-12-16 10:53:09 +0100 | <dminuoso> | gentauro: I think you could do a kind of recursion trick parsing it with `select` perhaps. |
| 2025-12-16 10:52:59 +0100 | <gentauro> | ex: list of strings |
| 2025-12-16 10:52:30 +0100 | <gentauro> | if you parse, lets say encoded bytes over the wire, where the length is encoded in varInt/zigZag/…, you MUST use `>>=` to parse length to ensure correct boundries with upcoming bytes? |
| 2025-12-16 10:51:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-16 10:50:45 +0100 | <dminuoso> | I'll leave the decision up to you whether you should do that. :-) |
| 2025-12-16 10:50:26 +0100 | <dminuoso> | [exa]: *If* your Int is bounded, in theory you could also describe it with Selective of course if you enumerate every possible number in your program. |
| 2025-12-16 10:48:51 +0100 | <dminuoso> | This describes precisely an effect that depends on the result of a previous effect. |
| 2025-12-16 10:48:17 +0100 | <yahb2> | (>>=) :: Monad m => m a -> (a -> m b) -> m b |
| 2025-12-16 10:48:17 +0100 | <dminuoso> | % :t (>>=) |
| 2025-12-16 10:48:12 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: >>=> ; Suggested fix: Perhaps use ‘>>=’ (imported from Prelude) |
| 2025-12-16 10:48:12 +0100 | <dminuoso> | % :t (>>=>) |
| 2025-12-16 10:47:49 +0100 | <dminuoso> | [exa]: No, that's precisely the upgrade you get from Monad over Applicative or Selective. |
| 2025-12-16 10:46:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 10:45:56 +0100 | trickard_ | trickard |
| 2025-12-16 10:45:05 +0100 | <gentauro> | but truth to be told, I'm building from GIT (scratch), so I'm not really impacted by that issue. (they have made a simplex-chat-desktop heavy on the UI, but not the simplex-chat-cli, which is what I'm trying to do, but, if I can't build locally, pretty diff to make a pkg) |