Logs: liberachat/#haskell
| 2021-08-16 15:44:42 | → | ubert1 joins (~Thunderbi@178.165.186.132.wireless.dyn.drei.com) |
| 2021-08-16 15:45:34 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2021-08-16 15:45:54 | → | Codaraxis_ joins (~Codaraxis@user/codaraxis) |
| 2021-08-16 15:46:09 | × | ubert quits (~Thunderbi@77.119.161.84.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2021-08-16 15:46:09 | ubert1 | is now known as ubert |
| 2021-08-16 15:48:44 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-16 15:50:28 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-16 15:50:52 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2021-08-16 15:52:48 | × | ubert quits (~Thunderbi@178.165.186.132.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-08-16 15:53:26 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 2021-08-16 15:54:41 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-16 15:54:46 | × | slack1256 quits (~slack1256@191.126.188.171) (Remote host closed the connection) |
| 2021-08-16 15:55:18 | → | slack1256 joins (~slack1256@191.126.188.171) |
| 2021-08-16 15:55:47 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) |
| 2021-08-16 15:55:59 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-16 15:59:03 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-16 15:59:10 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-16 15:59:15 | × | keutoi quits (~keutoi@157.47.84.95) (Quit: leaving) |
| 2021-08-16 16:00:32 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-16 16:01:36 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-16 16:01:42 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) |
| 2021-08-16 16:02:00 | <bwe> | how can I retrieve all files specified and otherwise found by settings made in my cabal file? I want to apply `hlint myFile --refactor --refactor-options="--inplace"` over all myFiles. I thought, cabal already knows the files, so there should be a way to retrieve them. |
| 2021-08-16 16:02:45 | <sclv> | they’re all just in the src dirs listed in the file |
| 2021-08-16 16:03:07 | <sclv> | there’s no specific trick. and cabal doesn’t know all the files, just the dirs and module names |
| 2021-08-16 16:05:20 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-16 16:07:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-16 16:08:56 | → | pbrisbin joins (~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) |
| 2021-08-16 16:12:59 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-16 16:13:34 | × | Guest84 quits (~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) (Quit: Client closed) |
| 2021-08-16 16:15:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-16 16:15:30 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-16 16:19:12 | × | adam1 quits (~adam@220-136-92-161.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2021-08-16 16:19:31 | × | Skyfire quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-08-16 16:21:02 | <bwe> | sclv: ok. I wonder the most pragmatic way to run hlint over my project's files with --refactor switch? |
| 2021-08-16 16:21:37 | <sclv> | wildcards? |
| 2021-08-16 16:21:57 | <sclv> | `hlint --someopt --someotheropt src/*.hs src/*/*.hs ...` |
| 2021-08-16 16:22:09 | <sclv> | and if you want more control, use `find` and `xargs` :-) |
| 2021-08-16 16:22:18 | <Hecate> | **/**.hs on zsh |
| 2021-08-16 16:22:38 | <Hecate> | but yes, xargs is life, xargs is love |
| 2021-08-16 16:22:39 | <sclv> | Hecate: oooh! mac switched me to zsh but i never learned that magic invocation |
| 2021-08-16 16:22:51 | <sclv> | why the two stars for both path components? |
| 2021-08-16 16:22:53 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-16 16:23:32 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-16 16:23:48 | <sclv> | actually, wait! hlint auto-recursively-traverses directories |
| 2021-08-16 16:24:02 | <sclv> | `hlint src` will operate on every file in the src directory already |
| 2021-08-16 16:25:18 | <bwe> | sclv: yes, but if you try --refactor, it will only work on individual files and fail with an error message otherwise. so the wildcards option is off the table. |
| 2021-08-16 16:25:41 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2021-08-16 16:26:18 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2021-08-16 16:26:50 | <sclv> | in that case `find [args] -exec` will exec a command over every individual file it finds |
| 2021-08-16 16:27:17 | <sclv> | arguably hlint should let you pass a "yes i really mean recursively refactor" flag lol |
| 2021-08-16 16:27:54 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-16 16:28:12 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-16 16:29:07 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) |
| 2021-08-16 16:29:13 | <bwe> | sclv: just realising in my shell history that I've already done it earlier with find :) |
| 2021-08-16 16:29:34 | <sclv> | lmao |
| 2021-08-16 16:30:05 | <bwe> | sclv: Further, I wonder whether there could be a cabal integration like `cabal refactor` for convenience. |
| 2021-08-16 16:30:10 | <Hecate> | < sclv> why the two stars for both path components? // no idea, this is an old feature |
| 2021-08-16 16:30:37 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 268 seconds) |
| 2021-08-16 16:30:59 | <sclv> | I don’t think cabal is a place for a refactor command. its ide like and also as i said cabal has no special insight here |
| 2021-08-16 16:31:30 | <sclv> | hlint should just let you run it recursive |
| 2021-08-16 16:31:31 | × | benin036932 quits (~benin@183.82.25.247) (Ping timeout: 258 seconds) |
| 2021-08-16 16:31:57 | → | ystael joins (~ystael@user/ystael) |
| 2021-08-16 16:32:10 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-16 16:33:47 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-08-16 16:35:05 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) |
| 2021-08-16 16:36:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-16 16:37:47 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-16 16:42:10 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) |
| 2021-08-16 16:45:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-16 16:50:40 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-16 16:52:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-16 16:55:36 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-16 16:55:43 | → | obs joins (~obscur1ty@156.194.133.134) |
| 2021-08-16 16:55:43 | × | obs quits (~obscur1ty@156.194.133.134) (Changing host) |
| 2021-08-16 16:55:43 | → | obs joins (~obscur1ty@user/obs/x-5924898) |
| 2021-08-16 16:56:50 | → | haowenl joins (~Thunderbi@066-215-230-039.res.spectrum.com) |
| 2021-08-16 16:58:09 | × | obs\ quits (~obscur1ty@user/obs/x-5924898) (Ping timeout: 248 seconds) |
| 2021-08-16 16:58:36 | simon1 | is now known as sim590 |
| 2021-08-16 16:59:05 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-16 16:59:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-16 17:02:04 | × | jeslie0 quits (~user@108.162.150.9) (Ping timeout: 268 seconds) |
| 2021-08-16 17:05:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-16 17:06:47 | × | polyphem quits (~polyphem@2a02:810d:640:776c:c8d6:203f:c7c7:b242) (Ping timeout: 245 seconds) |
| 2021-08-16 17:07:21 | → | polyphem joins (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) |
| 2021-08-16 17:07:32 | → | aegon joins (~mike@174.127.249.180) |
| 2021-08-16 17:07:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-08-16 17:10:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-16 17:11:36 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-16 17:11:40 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2021-08-16 17:15:19 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-16 17:19:24 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-08-16 17:19:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-16 17:19:51 | niko | is now known as o |
| 2021-08-16 17:22:25 | × | jeslie0 quits (~user@108.162.150.9) (Remote host closed the connection) |
| 2021-08-16 17:26:09 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2021-08-16 17:26:42 | × | haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl) |
| 2021-08-16 17:27:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-16 17:27:33 | × | dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Quit: WeeChat 3.2) |
| 2021-08-16 17:27:49 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) |
| 2021-08-16 17:28:14 | → | haowenl joins (~Thunderbi@066-215-230-039.res.spectrum.com) |
All times are in UTC.