2025/05/17

Newest at the top

2025-05-17 23:24:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-17 23:22:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:22:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 23:22:26 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 23:21:25 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 23:20:10 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-17 23:19:27 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 23:15:57 +0200OftenFaded(~OftenFade@user/tisktisk) (Quit: OftenFaded)
2025-05-17 23:12:56 +0200OftenFaded7(~OftenFade@user/tisktisk) (Quit: OftenFaded7)
2025-05-17 23:09:37 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-17 23:08:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 23:07:24 +0200OftenFaded7(~OftenFade@user/tisktisk) OftenFaded
2025-05-17 23:06:38 +0200acidjnk(~acidjnk@p200300d6e71c4f65f1ead88f57001215.dip0.t-ipconnect.de) acidjnk
2025-05-17 23:04:53 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-05-17 23:03:35 +0200acidjnk(~acidjnk@p200300d6e71c4f6519933bac196d5034.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-05-17 23:02:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:02:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:59:06 +0200 <monochrom> I think it's the same thing.
2025-05-17 22:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-17 22:54:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:54:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:52:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 22:50:23 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-05-17 22:49:19 +0200 <EvanR> hoping this desugars to the same thing
2025-05-17 22:46:11 +0200 <EvanR> tomsmeding, ... (x, env) : dump ... where !x = get next ?
2025-05-17 22:41:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-17 22:39:18 +0200 <hololeap> int-e: looks like you may be on to something: https://hackage.haskell.org/package/flatparse-0.5.2.1/docs/FlatParse-Common-Parser.html
2025-05-17 22:38:39 +0200 <EvanR> there's a lot of ...
2025-05-17 22:38:34 +0200 <tomsmeding> not sure about "slick" though
2025-05-17 22:38:31 +0200 <EvanR> oof my code style!
2025-05-17 22:38:17 +0200 <EvanR> ah
2025-05-17 22:38:06 +0200 <tomsmeding> let !x = get next in .... x ....
2025-05-17 22:37:54 +0200 <EvanR> ditch the list of pairs and make a strict pair chain datatype?
2025-05-17 22:37:12 +0200 <EvanR> I have this expression somewhere, within a larger expression, all on one line. (get next, env) : dump. I'd like to evaluate get next "now" ... is there a slick way
2025-05-17 22:32:17 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 22:31:40 +0200drewr(~drew@user/drewr) drewr
2025-05-17 22:26:02 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-17 22:22:57 +0200 <int-e> err, `type IOMode = STMode RealWord` and the final `STRef` was also supposed to be `STMode`
2025-05-17 22:22:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:21:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:21:54 +0200 <int-e> hololeap: Based on the error message I'd image that `type IOMode = STRef RealWorld` so `IOMode` and `STRef s` overlap
2025-05-17 22:19:52 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 22:16:34 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-17 22:14:33 +0200sprotte24(~sprotte24@p200300d16f06fd00c9f6fa4fdf16930b.dip0.t-ipconnect.de)
2025-05-17 22:08:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:08:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-17 22:08:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:06:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 22:02:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:02:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)