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