Newest at the top
| 2025-05-07 12:23:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-05-07 12:19:02 +0200 | rvalue- | rvalue |
| 2025-05-07 12:13:24 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2025-05-07 12:12:20 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-07 12:08:02 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-07 12:07:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-07 12:07:24 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-07 11:55:26 +0200 | lortabac | (~lortabac@2a0d:e487:53f:1bb4:a731:33f3:afa0:8130) (Ping timeout: 268 seconds) |
| 2025-05-07 11:49:20 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-05-07 11:44:27 +0200 | ubert1 | ubert |
| 2025-05-07 11:43:07 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-07 11:42:09 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:3fca:6e1e:2b37:f18d) ubert |
| 2025-05-07 11:31:17 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-05-07 11:28:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-07 11:24:09 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-07 11:22:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-07 11:14:42 +0200 | lortabac | (~lortabac@2a0d:e487:53f:1bb4:a731:33f3:afa0:8130) |
| 2025-05-07 11:12:07 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-07 11:11:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) |
| 2025-05-07 11:11:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-07 11:10:11 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-07 11:02:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-07 11:02:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-07 10:59:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-07 10:59:28 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-07 10:58:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-07 10:47:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-07 10:44:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-07 10:43:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-07 10:43:36 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2025-05-07 10:40:19 +0200 | <tomsmeding> | simple is good |
| 2025-05-07 10:40:07 +0200 | <haskellbridge> | <magic_rb> yeah its very simple currently |
| 2025-05-07 10:39:51 +0200 | <tomsmeding> | which is largely what parser combinators are anyway |
| 2025-05-07 10:39:43 +0200 | <tomsmeding> | just "useful helper functions" |
| 2025-05-07 10:39:37 +0200 | <tomsmeding> | though it's just peek/skip I'm not sure one can really call this "parser combinators" :p |
| 2025-05-07 10:39:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2025-05-07 10:39:16 +0200 | <tomsmeding> | because the assumption is that you proceed forward during parsing, not backward |
| 2025-05-07 10:39:07 +0200 | <tomsmeding> | this parser combinator approach may fail if you need to read a value towards the end of a structure and based on that decide how to parse the start of that structure |
| 2025-05-07 10:38:20 +0200 | <haskellbridge> | <magic_rb> yeah i have it as Ptr () |
| 2025-05-07 10:37:48 +0200 | <tomsmeding> | (I suspect you'll want to hard-code that p to Ptr ()) |
| 2025-05-07 10:37:27 +0200 | <tomsmeding> | right |
| 2025-05-07 10:37:15 +0200 | <tomsmeding> | peek :: (Storable a, Monad m) => PeekT (Ptr ()) m a; skip :: Monad m => Int -> PeekT (Ptr ()) m () |
| 2025-05-07 10:37:09 +0200 | <haskellbridge> | <magic_rb> ill have to if it instead of a Alternative instance |
| 2025-05-07 10:36:55 +0200 | <haskellbridge> | <magic_rb> think it sholud be fine? |
| 2025-05-07 10:36:07 +0200 | <tomsmeding> | but it might be okay for your purposes! |
| 2025-05-07 10:35:52 +0200 | <tomsmeding> | by using just StateT you're skipping the 2nd and 3rd options |
| 2025-05-07 10:35:38 +0200 | <tomsmeding> | which is "success, here is the new state (Addr#)", or "failure, backtrack", or "fatal failure, error" |
| 2025-05-07 10:35:22 +0200 | <tomsmeding> | e.g. in flatparse, the basic result of the function inside the monad is https://hackage.haskell.org/package/flatparse-0.5.2.1/docs/FlatParse-Basic.html#t:ResI-35- |
| 2025-05-07 10:34:56 +0200 | <haskellbridge> | <magic_rb> dont think so |
| 2025-05-07 10:34:40 +0200 | <tomsmeding> | I'm not sure if you need those here |