2021-05-21 18:20:16 +0200saikiran(~Thunderbi@171.49.232.50) (Quit: saikiran)
2021-05-21 18:20:19 +0200sleym(~textual@185.124.240.146)
2021-05-21 18:21:33 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 248 seconds)
2021-05-21 18:21:36 +0200horex539(~horex539@2a02:a03f:6aa5:a00:79b6:6869:fb6c:f113) (Remote host closed the connection)
2021-05-21 18:22:46 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2021-05-21 18:22:47 +0200 <ski> continuations can be used to do "inversion of control". (one classic example is to do web forms where your program will be automagically resumed at the right place, when the user submits the form on the web page). can be used to implement cooperative concurrency. (in SML/NJ, with timer interrupts, are also used to implement preemptive concurrency.) can be used to implement backtracking (e.g. for parsers)
2021-05-21 18:22:51 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds)
2021-05-21 18:23:18 +0200Valerian(~vclerc@142.157.140.230)
2021-05-21 18:24:16 +0200bbear(~znc@21212.s.t4vps.eu)
2021-05-21 18:24:24 +0200 <bbear> hello
2021-05-21 18:24:40 +0200Valerian(~vclerc@142.157.140.230) (Client Quit)
2021-05-21 18:24:54 +0200alanz(sid110616@highgate.irccloud.com)
2021-05-21 18:25:05 +0200 <boxscape> ski: I think the thing that actually confused me is that StateT and ExceptT are not commutative
2021-05-21 18:25:07 +0200 <boxscape> % let f = (put "errorState" >> throwError ()) <|> get in runExceptT (evalStateT f "origState")
2021-05-21 18:25:07 +0200 <yahb> boxscape: Right "origState"
2021-05-21 18:25:12 +0200Valerian(~vclerc@142.157.140.230)
2021-05-21 18:25:17 +0200 <boxscape> % let f = (put "errorState" >> throwError ()) <|> get in evalStateT (runExceptT f) "origState"
2021-05-21 18:25:17 +0200 <yahb> boxscape: Right "errorState"
2021-05-21 18:25:25 +0200 <boxscape> ski I thought I was using one of these but was using the other
2021-05-21 18:25:50 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-21 18:26:00 +0200 <ski> ah, makes sense
2021-05-21 18:26:41 +0200 <ski> @unmtl StateT s (ExceptT e m) a
2021-05-21 18:26:41 +0200 <lambdabot> s -> m (Either e (a, s))
2021-05-21 18:26:42 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com)
2021-05-21 18:26:43 +0200 <ski> @unmtl ExceptT e (StateT s m) a
2021-05-21 18:26:43 +0200 <lambdabot> s -> m (Either e a, s)
2021-05-21 18:26:52 +0200 <ski> the difference is clearly visible there ^
2021-05-21 18:27:18 +0200biberu(~biberu@user/biberu)
2021-05-21 18:27:19 +0200 <boxscape> yeah, I even thought about that but didn't realize it would make a difference for this
2021-05-21 18:28:00 +0200biberu(~biberu@user/biberu) (Remote host closed the connection)
2021-05-21 18:28:23 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61)
2021-05-21 18:28:35 +0200 <boxscape> hello bbear
2021-05-21 18:28:37 +0200sleym(~textual@185.124.240.146) (Quit: sleym)
2021-05-21 18:29:00 +0200aerona(~aerona@2600:6c54:4600:f300:a4ed:8a8a:58ad:43d0)
2021-05-21 18:29:21 +0200biberu(~biberu@user/biberu)
2021-05-21 18:29:30 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-21 18:30:32 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 18:31:05 +0200 <siers> is hpack still relevant?
2021-05-21 18:31:09 +0200 <maerwald> no
2021-05-21 18:31:20 +0200 <maerwald> don't take my word for it
2021-05-21 18:31:30 +0200 <Hecate> siers: it still exists, is still being used by stack
2021-05-21 18:32:17 +0200ddellaco_(~ddellacos@86.106.121.92)
2021-05-21 18:32:18 +0200 <boxscape> it's optional when using stack right?
2021-05-21 18:32:39 +0200dhazel(~quassel@2601:1c1:8a00:3390:4d68:699c:e57c:f856)
2021-05-21 18:32:47 +0200 <Hecate> boxscape: yes, it's only triggered when a package.yaml is present at the top-level
2021-05-21 18:32:51 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) (Ping timeout: 245 seconds)
2021-05-21 18:32:51 +0200Valerian(~vclerc@142.157.140.230) (Ping timeout: 245 seconds)
2021-05-21 18:32:53 +0200 <boxscape> ok
2021-05-21 18:33:12 +0200jao(~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-21 18:36:03 +0200tose(~tose@ip-85-160-8-43.eurotel.cz)
2021-05-21 18:36:29 +0200ddellacosta(~ddellacos@89.46.62.125) (Ping timeout: 272 seconds)
2021-05-21 18:38:13 +0200 <ski> siers : istr people in here saying that it shouldn't be used, that even Snoyman no longer recommends it
2021-05-21 18:38:29 +0200 <MorrowM> I find that using cabal-fmt has solved the main thing hpack did for me - I find formatting cabal files by hand to be fiddly.
2021-05-21 18:38:53 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-05-21 18:40:38 +0200oxide(~lambda@user/oxide)
2021-05-21 18:41:12 +0200dpeck(~dpeck@141.98.255.144)
2021-05-21 18:41:12 +0200 <dpeck> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:41:21 +0200dpeck(~dpeck@141.98.255.144) (Remote host closed the connection)
2021-05-21 18:42:07 +0200lechner(~lechner@letbox-vps.us-core.com)
2021-05-21 18:42:38 +0200Winterflow3r(~Winterflo@141.98.255.144)
2021-05-21 18:42:38 +0200 <Winterflow3r> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:42:38 +0200Winterflow3r(~Winterflo@141.98.255.144) (Client Quit)
2021-05-21 18:43:07 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com)
2021-05-21 18:43:50 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com) ()
2021-05-21 18:44:02 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com)
2021-05-21 18:44:26 +0200 <juri_> and so it begins.
2021-05-21 18:44:50 +0200mapgrep(~mapgrep@141.98.255.144)
2021-05-21 18:44:50 +0200 <mapgrep> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:44:50 +0200mapgrep(~mapgrep@141.98.255.144) (Remote host closed the connection)
2021-05-21 18:45:33 +0200Square(~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Ping timeout: 245 seconds)
2021-05-21 18:46:43 +0200tristanC(~tristanC@user/tristanc)
2021-05-21 18:47:08 +0200 <WikiLycurgus> fwiw, in the more than 10 channels i'm in that's only happening here
2021-05-21 18:47:19 +0200 <lechner> yes
2021-05-21 18:47:45 +0200 <boxscape> it's happening in #libera as well
2021-05-21 18:48:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-21 18:48:23 +0200 <WikiLycurgus> that was so busy I only was there at first
2021-05-21 18:48:53 +0200 <cheater> why is the list of ops private on the channel, as well as the founder?
2021-05-21 18:49:05 +0200 <lukeseale> :G
2021-05-21 18:49:13 +0200 <WikiLycurgus> Fuchs commented on my presumption of my nick having been squatted before I realized the owner of lycr.gs just got here first
2021-05-21 18:49:31 +0200y04nn(~y04nn@193.27.14.138) (Ping timeout: 245 seconds)
2021-05-21 18:49:39 +0200 <tomjaguarpaw> Anyone got a clue about "lhs2TeX: fd:7: hGetLine: end of file"? https://paste.tomsmeding.com/cSXbVKOi
2021-05-21 18:50:05 +0200 <WikiLycurgus> sounds like an embedded tex error
2021-05-21 18:50:55 +0200 <WikiLycurgus> very common error in tex/latex when its horror of a markup lang barfs
2021-05-21 18:51:35 +0200 <tomjaguarpaw> But this is a "cabal install"!
2021-05-21 18:52:02 +0200 <WikiLycurgus> and that can't run lhs2TeX ?
2021-05-21 18:52:19 +0200 <boxscape> could be a test? Or would it say that it's running tests then?
2021-05-21 18:52:24 +0200 <tomjaguarpaw> It seems like it tries to run it after it has built it, perhaps as part of a test suite?
2021-05-21 18:52:34 +0200 <tomjaguarpaw> Right. Maybe I can tell cabal to ignore tests.
2021-05-21 18:53:00 +0200 <boxscape> it seems like cabal should be saying `Building testsuite` or whatever before that happens though, hm
2021-05-21 18:53:39 +0200 <tomjaguarpaw> Hmm, --disable-tests doesn't help :(
2021-05-21 18:53:41 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds)
2021-05-21 18:53:57 +0200 <WikiLycurgus> so in literatep the documentation would or could or maybe should be produced at compile time
2021-05-21 18:54:35 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049)
2021-05-21 18:55:33 +0200exzeta(~exzeta@client0964.vpn.ox.ac.uk)
2021-05-21 18:55:33 +0200 <tomjaguarpaw> Ah well, reported as https://github.com/kosmikus/lhs2tex/issues/87
2021-05-21 18:55:59 +0200NegativeLatency(~NegativeL@141.98.255.144)
2021-05-21 18:55:59 +0200NegativeLatency(~NegativeL@141.98.255.144) (Killed (ozone (No Spam)))
2021-05-21 18:57:23 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Remote host closed the connection)
2021-05-21 18:58:34 +0200azeem(azeem@107.161.19.109)
2021-05-21 19:00:02 +0200azeem(azeem@107.161.19.109) (Client Quit)