Logs: freenode/#haskell
| 2020-11-02 21:26:08 | <tomsmeding> | (line 13615) |
| 2020-11-02 21:26:28 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-02 21:26:37 | <bqv> | I actually estimate i might be able to still hook into the signal, because it looks like it's fed into the wayland event loop |
| 2020-11-02 21:27:02 | <bqv> | it'll just look bizarre that i set the signal to ignore on one line and then hook into it using a completely different mechanism a few lines below |
| 2020-11-02 21:27:10 | × | refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-11-02 21:27:13 | <bqv> | thanks, wayland |
| 2020-11-02 21:27:20 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Remote host closed the connection) |
| 2020-11-02 21:27:35 | <tomsmeding> | that's what a code comment is for :) |
| 2020-11-02 21:27:39 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-02 21:28:02 | <tomsmeding> | nice search, thanks for the evening entertainment bqv |
| 2020-11-02 21:28:10 | <bqv> | bah, nah, didn't work |
| 2020-11-02 21:28:15 | <bqv> | hehe, no problem |
| 2020-11-02 21:28:27 | → | tms_ joins (thomaav@cassarossa.samfundet.no) |
| 2020-11-02 21:28:38 | → | z0 joins (~z0@188.250.0.59) |
| 2020-11-02 21:28:43 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-02 21:29:13 | → | refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) |
| 2020-11-02 21:29:50 | <tomsmeding> | so in hindsight, strace/ltrace/gdb probably "fixed" the problem by handling signals or something? |
| 2020-11-02 21:32:47 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f623ecaa4caf6803be45.dip0.t-ipconnect.de) |
| 2020-11-02 21:32:55 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-02 21:32:58 | <bqv> | yeah, exactly |
| 2020-11-02 21:34:24 | × | acidjnk_new quits (~acidjnk@p200300d0c72260501db9c4f6165b2eaf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-11-02 21:36:02 | × | solonarv quits (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2020-11-02 21:36:06 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-02 21:37:41 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2020-11-02 21:37:44 | × | geekosaur67 quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-02 21:38:35 | × | refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-11-02 21:39:15 | → | refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) |
| 2020-11-02 21:39:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-02 21:41:18 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-02 21:41:36 | → | xwvvvvwx- joins (~xwvvvvwx@45.129.56.198) |
| 2020-11-02 21:44:28 | × | xwvvvvwx quits (~xwvvvvwx@185.213.155.160) (Ping timeout: 272 seconds) |
| 2020-11-02 21:44:28 | xwvvvvwx- | is now known as xwvvvvwx |
| 2020-11-02 21:47:53 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-104-94.w86-212.abo.wanadoo.fr) |
| 2020-11-02 21:48:15 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-02 21:49:12 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-1-110.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-11-02 21:49:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-02 21:52:58 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-02 21:54:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-11-02 21:57:25 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds) |
| 2020-11-02 21:59:22 | → | obihann joins (~jhann@156.34.160.69) |
| 2020-11-02 21:59:54 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-11-02 22:00:22 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 2020-11-02 22:00:28 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-02 22:00:30 | × | knupfer quits (~Thunderbi@200116b82c45b3000805a93423d8669d.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2020-11-02 22:01:23 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-02 22:02:46 | × | mmohammadi9812 quits (~mmohammad@188.210.118.100) (Quit: Quit) |
| 2020-11-02 22:03:11 | → | mmohammadi9812 joins (~mmohammad@188.210.118.100) |
| 2020-11-02 22:04:24 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 240 seconds) |
| 2020-11-02 22:05:26 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-02 22:07:05 | → | prozion joins (b29b04cd@gateway/web/cgi-irc/kiwiirc.com/ip.178.155.4.205) |
| 2020-11-02 22:07:15 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-02 22:09:10 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-02 22:10:03 | → | vacm joins (~vacwm@70.23.92.191) |
| 2020-11-02 22:11:33 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-izotevyprbcyotcz) |
| 2020-11-02 22:12:07 | <Cheery> | Is there any libraries written for text layouting/typesetting in haskell? |
| 2020-11-02 22:12:10 | × | refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-11-02 22:13:11 | <Uniaika> | hmm, not that I know of |
| 2020-11-02 22:13:41 | <dsal> | HaTeX |
| 2020-11-02 22:13:51 | <Cheery> | I am curious because I wnoder what structure of something like XML/HTML is necessary. |
| 2020-11-02 22:14:02 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f) |
| 2020-11-02 22:14:06 | <dsal> | If it doesn't exist... that's probably fine. |
| 2020-11-02 22:14:23 | <Cheery> | HaX |
| 2020-11-02 22:14:34 | → | refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) |
| 2020-11-02 22:14:48 | <Cheery> | there's luispedro's hex |
| 2020-11-02 22:15:03 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds) |
| 2020-11-02 22:15:13 | <Cheery> | it says not complete |
| 2020-11-02 22:15:50 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2020-11-02 22:18:05 | → | flatmap joins (~flatmap@p200300dd370a4700ac5fe25fa28a3bcb.dip0.t-ipconnect.de) |
| 2020-11-02 22:18:21 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-11-02 22:18:24 | × | flatmap quits (~flatmap@p200300dd370a4700ac5fe25fa28a3bcb.dip0.t-ipconnect.de) (Client Quit) |
| 2020-11-02 22:19:42 | → | coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-02 22:20:06 | <Cheery> | Hm. I could port my reimplementation |
| 2020-11-02 22:21:02 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-02 22:21:27 | × | coot quits (~coot@37.30.52.148.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 2020-11-02 22:21:28 | coot_ | is now known as coot |
| 2020-11-02 22:22:23 | <Cheery> | hatred, haskell typesetting |
| 2020-11-02 22:22:56 | <jackdk> | is there a canonical two-type-arg version of `Proxy`? |
| 2020-11-02 22:23:32 | × | prozion quits (b29b04cd@gateway/web/cgi-irc/kiwiirc.com/ip.178.155.4.205) (Quit: Connection closed) |
| 2020-11-02 22:23:33 | × | obihann quits (~jhann@156.34.160.69) (Quit: Lost terminal) |
| 2020-11-02 22:23:34 | <gobbleguy> | Proxy (x,y)? :) |
| 2020-11-02 22:23:56 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-faekvzqkhmohaswr) |
| 2020-11-02 22:25:10 | <kupi> | hi |
| 2020-11-02 22:25:23 | → | obihann joins (~jhann@156.34.160.69) |
| 2020-11-02 22:25:24 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-02 22:25:29 | <jackdk> | gobbleguy: ha. I'm considering a type like `data P p q f g a b = P (p a (f b)) (q b (g a))`, with the idea that generally you have `p ~ q ~ (->)` but if you need to give up roundtripping, you can kill one side or the other by putting a `data Proxy2 a b = Proxy2` in for `p` or `q` |
| 2020-11-02 22:25:33 | <kupi> | here https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Foldable.html#foldlM how foldr is called with 4 parameters? when I click the definition it only shows 3 |
| 2020-11-02 22:26:21 | <jackdk> | kupi: note the function `return` is passed in, so the result of the fold is itself a function |
| 2020-11-02 22:26:30 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 2020-11-02 22:26:41 | <jackdk> | Cheery: consider looking at pretty-printer libraries and/or pandoc? |
| 2020-11-02 22:26:54 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-11-02 22:27:37 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-02 22:27:50 | → | ffej joins (~ffej@195.206.169.184) |
| 2020-11-02 22:28:02 | <kupi> | so f a b is the same as (f a) b? |
| 2020-11-02 22:28:10 | × | obihann quits (~jhann@156.34.160.69) (Client Quit) |
| 2020-11-02 22:28:29 | → | PerseusPlease joins (~{mikey}@212.86.35.157) |
| 2020-11-02 22:28:35 | <PerseusPlease> | hi. |
| 2020-11-02 22:29:15 | <jackdk> | kupi: if you're talking about function application, yes. It associates to the left |
| 2020-11-02 22:29:58 | <PerseusPlease> | Super basic question. For a given module (in this case Data.Binary.Get) how do I know what name needs to go in build-depends? I haven't been able to assign rhyme or reason to it so far |
| 2020-11-02 22:30:07 | <PerseusPlease> | ? |
| 2020-11-02 22:30:19 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
All times are in UTC.