Logs: freenode/#haskell
| 2021-05-18 03:56:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 03:57:51 | × | domini quits (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) (Quit: domini) |
| 2021-05-18 03:58:44 | → | argento joins (~argent0@168.227.96.26) |
| 2021-05-18 04:00:00 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-05-18 04:00:37 | × | nineonin_ quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Remote host closed the connection) |
| 2021-05-18 04:00:50 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-18 04:02:31 | × | Guest18934 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 04:05:53 | <steven1> | ski: thanks, that looks interesting. Trying it out now |
| 2021-05-18 04:06:03 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-18 04:06:13 | → | haritz joins (~hrtz@62.3.70.206) |
| 2021-05-18 04:06:14 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 2021-05-18 04:06:14 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-05-18 04:07:51 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-18 04:07:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 04:08:54 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-18 04:09:13 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-18 04:12:06 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-18 04:12:52 | × | alx741 quits (~alx741@186.178.108.105) (Quit: alx741) |
| 2021-05-18 04:14:26 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-lpmljnscttdlzszw) (Quit: Connection closed for inactivity) |
| 2021-05-18 04:15:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-18 04:16:01 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-18 04:19:30 | → | ddellacosta joins (~ddellacos@86.106.143.126) |
| 2021-05-18 04:21:19 | × | benjamin-l quits (~benjamin@2601:1c0:8800:67e0:6444:b342:47b9:c531) (Quit: WeeChat 3.1) |
| 2021-05-18 04:24:36 | × | ddellacosta quits (~ddellacos@86.106.143.126) (Ping timeout: 260 seconds) |
| 2021-05-18 04:24:59 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-18 04:24:59 | <steven1> | ski: ok I think this is close to what I want (it moves the last argument to the beginning). Super interesting exercise. Thanks a lot for the help! I'll try to study this more and understand better |
| 2021-05-18 04:28:10 | × | steven1 quits (~steven@172.92.136.203) (Quit: WeeChat 2.8) |
| 2021-05-18 04:31:28 | → | mpiechotka joins (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 04:32:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 04:34:23 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::7a37) (Ping timeout: 250 seconds) |
| 2021-05-18 04:37:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-18 04:38:34 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-18 04:38:44 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 04:38:46 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 04:38:50 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-18 04:39:11 | tim | is now known as Guest69169 |
| 2021-05-18 04:40:03 | → | ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-18 04:40:03 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-18 04:41:55 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-05-18 04:42:54 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds) |
| 2021-05-18 04:44:03 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 04:44:08 | → | nineonine joins (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
| 2021-05-18 04:45:40 | × | argento quits (~argent0@168.227.96.26) (Remote host closed the connection) |
| 2021-05-18 04:53:02 | × | Guest69169 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 04:53:23 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 04:55:07 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-18 04:55:26 | × | f33f046c-a02e quits (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 04:55:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 04:57:16 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
| 2021-05-18 04:58:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-18 05:00:53 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 246 seconds) |
| 2021-05-18 05:01:15 | × | badobb quits (abaolute@unaffiliated/badobb) (Ping timeout: 260 seconds) |
| 2021-05-18 05:01:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 05:02:10 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 252 seconds) |
| 2021-05-18 05:03:53 | → | ystael joins (~ystael@130.44.151.113) |
| 2021-05-18 05:03:59 | → | badobb joins (abaolute@unaffiliated/badobb) |
| 2021-05-18 05:05:29 | → | yahb joins (xsbot@178.219.36.155) |
| 2021-05-18 05:05:29 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 2021-05-18 05:05:29 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 2021-05-18 05:06:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-18 05:06:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-18 05:08:08 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-18 05:10:57 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 05:17:27 | × | paultag1 quits (~paultag@185.204.1.185) (Remote host closed the connection) |
| 2021-05-18 05:18:29 | → | lucky joins (~joel@unaffiliated/lucky) |
| 2021-05-18 05:19:56 | <lucky> | Hi, using Parsec, when I have two different types to parse to, can I re-use the parser for generating the first type's results, like if I just want to use it to accept-and-drop valid inputs that aren't used to generating the second type's result? |
| 2021-05-18 05:24:37 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-18 05:25:28 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-18 05:25:56 | → | manjaro-user-- joins (~manjaro-u@138.59.122.124) |
| 2021-05-18 05:26:28 | manjaro-user-- | is now known as Ophir |
| 2021-05-18 05:26:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-18 05:28:48 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-18 05:30:56 | → | ddellacosta joins (~ddellacos@86.106.143.217) |
| 2021-05-18 05:33:50 | → | alexander joins (~alexander@2a02:587:dc03:1500:b16c:5166:feb8:97d5) |
| 2021-05-18 05:34:18 | alexander | is now known as Guest33594 |
| 2021-05-18 05:35:30 | × | ddellacosta quits (~ddellacos@86.106.143.217) (Ping timeout: 252 seconds) |
| 2021-05-18 05:36:44 | <edwardk> | lucky: you may need to do so with a 'try' block if you want to have the parse error take place at the start of the 'too large' parsed thing you are going to trim down. haskell (er.. ghc) does this sort of thing itself. its not always clear in the grammar if something is a pattern or an expression until later, so we parse patterns first as expressions, then later on disambiguate (not using parsec, but the ideas is the same) |
| 2021-05-18 05:40:35 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-18 05:41:05 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 05:41:36 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds) |
| 2021-05-18 05:42:59 | → | MalekAlrwily joins (~MalekAlrw@37.120.211.190) |
| 2021-05-18 05:43:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 05:45:06 | <jackdk> | Is anyone here familiar with cabal's pkgconfig support? I am trying to get my program that depends on `hw-kafka-client` to statically link (using musl toolchain), and got it working with `extra-libraries: rdkafka ssl crypto`. This should not be necessary, and I'm trying to fix it. I have a local copy of hw-kafka-client where I've changed `extra-libraries: rdkafka` to `pkgconfig-depends: rdkafka`. |
| 2021-05-18 05:45:13 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-18 05:46:07 | <jackdk> | Even though the `rdkafka.pc` file declares the extra libs it needs in `Libs.private:`, I do not see them on the linker command line when I compile my program with `build-depends: hw-kafka-client` and `ghc-options: -v3`. Does anyone here know what I'm missing? |
| 2021-05-18 05:47:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-18 05:48:20 | <jackdk> | Reading between the lines in the pkg-config manual, it looks like things declared in `{Libs,Requires}.private` fields are only pulled in when statically linking. So how do I tell cabal that I'm doing that? |
| 2021-05-18 05:49:06 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-05-18 05:49:37 | × | parabolize quits (~paraboliz@98.43.173.221) (Quit: leaving) |
| 2021-05-18 05:52:09 | <jackdk> | https://github.com/haskell/cabal/blob/4f8aeb2c8a0a3638e1af887dc869a17e291c8329/Cabal/src/Distribution/Simple/Configure.hs#L1640 appears to be the only place where I can find the string `--libs`, so perhaps the cabal<->pkg-config integration is not as smart as it could be? |
| 2021-05-18 05:52:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 05:56:53 | × | MalekAlrwily quits (~MalekAlrw@37.120.211.190) () |
| 2021-05-18 05:58:56 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-18 06:05:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-18 06:05:42 | <dminuoso> | edwardk: Regarding the complexity of \\, couldn't one use `discrimination` to get the asymptotics down? |
| 2021-05-18 06:07:24 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 06:07:36 | × | mpiechotka quits (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Quit: mpiechotka) |
| 2021-05-18 06:07:48 | tim | is now known as Guest62528 |
| 2021-05-18 06:07:57 | → | ddellacosta joins (~ddellacos@86.106.143.139) |
| 2021-05-18 06:08:07 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
All times are in UTC.