Logs: liberachat/#haskell
| 2021-08-10 20:15:10 | → | phma joins (~phma@2001:0:c38c:c38c:28bb:48fc:bcd3:2f7c) |
| 2021-08-10 20:15:36 | × | burnsidesLlama quits (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-10 20:16:41 | <Cajun> | you can push something to stdin with a pipe like `echo "this will be in stdin" | cabal run` |
| 2021-08-10 20:17:04 | <Athas> | I need this at compile-time. |
| 2021-08-10 20:17:49 | <Cajun> | does this help at all? https://stackoverflow.com/questions/31821952/flags-in-cabal-files |
| 2021-08-10 20:18:10 | <sclv> | Athas: i don't think so, but there may be some almost-as-good solution given a specific use case |
| 2021-08-10 20:18:16 | <sclv> | if you want to provide the use case |
| 2021-08-10 20:18:20 | <Athas> | Boolean flags are not enough. |
| 2021-08-10 20:18:32 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-10 20:18:51 | <sclv> | ok but what is the use case |
| 2021-08-10 20:19:17 | <sclv> | (one hacky workaround would be to pass specific command line args for cpp like so https://gcc.gnu.org/onlinedocs/cpp/Invocation.html and then use the defines in your code) |
| 2021-08-10 20:19:27 | <Athas> | My use case is that I want to embed Git revision information. I use TH to read .git if it's present, but the Nix Haskell infrastructure removes .git. I suppose I can wrangle it into preserving .git somehow, but I wanted to check if I could just pass an arbitrary string to 'cabal configure' from within my Nix file. |
| 2021-08-10 20:20:11 | <sclv> | if you're already in nix, the simplest thing is to have it generate a haskell module for you with the appropriate rev info |
| 2021-08-10 20:21:42 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-10 20:22:18 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-10 20:22:34 | × | Guest717 quits (~Guest71@46.97.169.79) (Ping timeout: 246 seconds) |
| 2021-08-10 20:22:43 | <Athas> | Maybe. I hope just adding .git to the list of source directories might also work, but who knows if some other layer in this babelesque tower of complexity will filter it out again... |
| 2021-08-10 20:25:13 | <Athas> | No! It'll work! Great. |
| 2021-08-10 20:26:47 | × | phma quits (~phma@2001:0:c38c:c38c:28bb:48fc:bcd3:2f7c) (Ping timeout: 245 seconds) |
| 2021-08-10 20:26:52 | → | phma_ joins (phma@2001:5b0:211f:aa18:2160:1c27:b242:2759) |
| 2021-08-10 20:28:26 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-10 20:28:29 | chris | is now known as Guest3205 |
| 2021-08-10 20:29:27 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 20:31:25 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-10 20:31:25 | <janus> | what was the example of malicious Read usage parsing a simple type but never rejecting it even though the input is giant? (a DoS, i think?) |
| 2021-08-10 20:31:47 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-10 20:32:02 | <janus> | i think it was because Read does tokenization for all input? |
| 2021-08-10 20:32:08 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-10 20:34:04 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 2021-08-10 20:34:14 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-10 20:35:19 | × | Guest3205 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 20:36:38 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 20:36:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-10 20:38:44 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-10 20:39:18 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-10 20:39:23 | chris | is now known as Guest9632 |
| 2021-08-10 20:39:23 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2021-08-10 20:43:04 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 272 seconds) |
| 2021-08-10 20:43:43 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9574c56a490b8c03a837.dip0.t-ipconnect.de) |
| 2021-08-10 20:44:10 | × | phma_ quits (phma@2001:5b0:211f:aa18:2160:1c27:b242:2759) (Read error: Connection reset by peer) |
| 2021-08-10 20:49:13 | → | phma_ joins (phma@2001:5b0:211f:5fe8:78b1:ef72:430f:1b2b) |
| 2021-08-10 20:51:41 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-10 20:52:11 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-10 20:52:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-10 20:54:42 | × | MQ-17J quits (~MQ-17J@2607:fb90:88ea:7cc1:9d82:e229:44e6:1bb6) (Read error: Connection reset by peer) |
| 2021-08-10 20:55:09 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-10 20:55:21 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-10 20:56:55 | mnrmnaugh | is now known as KeziahMason |
| 2021-08-10 20:59:07 | KeziahMason | is now known as mnrmnaugh |
| 2021-08-10 20:59:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2021-08-10 20:59:31 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-10 21:02:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 21:06:41 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 21:07:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-10 21:11:06 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-08-10 21:11:41 | <tapas> | https://discourse.haskell.org/t/state-of-the-core-libraries-committee/2868 |
| 2021-08-10 21:12:39 | → | ubert joins (~Thunderbi@91.141.46.44.wireless.dyn.drei.com) |
| 2021-08-10 21:13:20 | × | y04nn quits (~y04nn@91.193.4.154) (Remote host closed the connection) |
| 2021-08-10 21:15:48 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds) |
| 2021-08-10 21:15:57 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 21:17:04 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-08-10 21:17:11 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-10 21:22:24 | → | slac54596 joins (~slack1256@191.125.227.82) |
| 2021-08-10 21:22:54 | × | dmwit_ quits (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-10 21:23:18 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 21:24:39 | × | slack1256 quits (~slack1256@181.203.126.41) (Ping timeout: 268 seconds) |
| 2021-08-10 21:27:49 | × | torei quits (~torei@134.6.182.130) (Quit: Leaving) |
| 2021-08-10 21:31:22 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-08-10 21:32:02 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-10 21:32:02 | → | slack1256 joins (~slack1256@181.203.126.41) |
| 2021-08-10 21:32:42 | → | xcmw joins (~textual@2603-6011-2200-f103-402c-0cc9-e9a3-e4f0.res6.spectrum.com) |
| 2021-08-10 21:33:46 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-10 21:34:31 | × | slac54596 quits (~slack1256@191.125.227.82) (Ping timeout: 268 seconds) |
| 2021-08-10 21:34:49 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2021-08-10 21:35:57 | → | oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-08-10 21:36:04 | × | bin_ quits (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in) |
| 2021-08-10 21:36:23 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-08-10 21:37:02 | → | biberu joins (~biberu@user/biberu) |
| 2021-08-10 21:38:51 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-10 21:39:34 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-10 21:39:36 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Remote host closed the connection) |
| 2021-08-10 21:43:49 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-10 21:47:30 | <janus> | davean: oh, did you see what tapas posted? it's related to the CLC |
| 2021-08-10 21:54:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-10 21:54:27 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 21:54:30 | allbery_b | is now known as geekosaur |
| 2021-08-10 21:55:03 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-10 21:55:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 22:00:38 | <dsal> | > read (cycle "1") :: Integer |
| 2021-08-10 22:00:44 | <lambdabot> | mueval-core: Time limit exceeded |
| 2021-08-10 22:00:54 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 22:01:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 22:04:02 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-10 22:05:24 | × | ubert quits (~Thunderbi@91.141.46.44.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-08-10 22:06:28 | × | chomwitt quits (~chomwitt@ppp-2-85-147-24.home.otenet.gr) (Remote host closed the connection) |
| 2021-08-10 22:08:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 22:08:56 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-08-10 22:13:53 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 248 seconds) |
| 2021-08-10 22:14:51 | → | dextaa joins (~DV@user/dextaa) |
| 2021-08-10 22:15:30 | × | oso quits (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
All times are in UTC.