2016-12-08 05:12:50 +0000ezyangalso finds it disconcerting when autocomplete gives me a pile of semantically unrelated choices
2016-12-08 05:13:15 +0000 <dcoutts_> the target matching code we have gives us the potential to do relatively sensible completions
2016-12-08 05:13:27 +0000 <dcoutts_> it already can give pretty decent errors
2016-12-08 05:13:49 +0000 <ezyang> well, if I type r<TAB>, it's going to give me completions for packages, components and files, right?
2016-12-08 05:13:57 +0000 <dcoutts_> yes
2016-12-08 05:14:22 +0000refoldjust released Cabal 1.24.2.0 and cabal-install 1.24.0.1
2016-12-08 05:14:27 +0000 <dcoutts_> woo!
2016-12-08 05:14:27 +0000 <ezyang> refold: woot
2016-12-08 05:14:58 +0000 <dcoutts_> ezyang: whereas if you type lib:r<TAB> then you'll only get lib components starting with r
2016-12-08 05:15:08 +0000 <dcoutts_> in my imaginary completion system
2016-12-08 05:15:53 +0000 <dcoutts_> ezyang: so I've added 'all' and I'm also going to add "filters" too, ie 'cabal build foo:tests' or 'cabal build all:tests' or simply 'cabal build tests'
2016-12-08 05:16:13 +0000 <dcoutts_> libs/exes/tests/benchmarks being filters on the kinds of components
2016-12-08 05:16:21 +0000 <dcoutts_> rather than specifying the names of components
2016-12-08 05:16:43 +0000 <ezyang> ok good!
2016-12-08 05:16:46 +0000 <dcoutts_> cabal build tests is short for the package in the current dir, if there is one
2016-12-08 05:16:53 +0000 <dcoutts_> ie cabal build ./:tests
2016-12-08 05:16:57 +0000 <ezyang> make sure you doc it all
2016-12-08 05:16:58 +0000 <ezyang> ;)
2016-12-08 05:17:11 +0000 <dcoutts_> you mean in the --help or user guide or both? :-)
2016-12-08 05:17:29 +0000 <ezyang> both
2016-12-08 05:17:29 +0000dcoutts_has only done the --help so far he admits
2016-12-08 05:17:37 +0000 <dcoutts_> I knew you'd say that :-)
2016-12-08 05:17:43 +0000refold(~refold@188.172.156.156) (Quit: leaving)
2016-12-08 05:17:49 +0000sclvseeing dcoutts_ online decides to opportunistically bug him about hackage merge/deploy :-)
2016-12-08 05:18:12 +0000dcoutts_takes the opportunity to run away and go to bed
2016-12-08 05:18:20 +0000 <dcoutts_> sclv: ugg yes, so many things
2016-12-08 05:18:42 +0000 <sclv> hahaha
2016-12-08 05:18:46 +0000 <dcoutts_> otoh, I do have an empty house this weekend, fewer distractions
2016-12-08 07:40:02 +0000ddere(uid110888@gateway/web/irccloud.com/x-sfcufwxeybiieufe) (Quit: Connection closed for inactivity)
2016-12-08 14:30:55 +0000edsko(~quassel@23.27.206.197) (Remote host closed the connection)
2016-12-08 14:34:25 +0000edsko(~quassel@23.27.206.197)
2016-12-08 14:57:31 +0000edsko_(~quassel@23.104.209.182)
2016-12-08 15:00:53 +0000edsko(~quassel@23.27.206.197) (Ping timeout: 248 seconds)
2016-12-08 15:26:58 +0000edsko_(~quassel@23.104.209.182) (Remote host closed the connection)
2016-12-08 15:49:17 +0000edvorg(~edvorg@host-46-50-214-114.bbcustomer.zsttk.net)