Wingman feature release (#1735)

Co-authored-by: Javier Neira <[email protected]> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
haskell · Apr 16, 2021 · 9ae2092 · 9ae2092
1 parent ef90289
commit 9ae2092
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/plugins/hls-tactics-plugin/README.md b/plugins/hls-tactics-plugin/README.md
@@ -56,8 +56,6 @@ nnoremap <silent> ]h :<C-U>call <SID>JumpToNextHole()<CR>
 " <leader>d to perform a pattern match, <leader>n to fill a hole
 nnoremap <silent> <leader>d  :<C-u>set operatorfunc=<SID>WingmanDestruct<CR>g@l
 nnoremap <silent> <leader>n  :<C-u>set operatorfunc=<SID>WingmanFillHole<CR>g@l
-
-" beta only
 nnoremap <silent> <leader>r  :<C-u>set operatorfunc=<SID>WingmanRefine<CR>g@l
 nnoremap <silent> <leader>c  :<C-u>set operatorfunc=<SID>WingmanUseCtor<CR>g@l
 nnoremap <silent> <leader>a  :<C-u>set operatorfunc=<SID>WingmanDestructAll<CR>g@l

diff --git a/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs b/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs
@@ -49,7 +49,9 @@ parseFeatureSet
 -- | Features that are globally enabled for all users.
 defaultFeatures :: FeatureSet
 defaultFeatures = S.fromList
-  [
+  [ FeatureDestructAll
+  , FeatureUseDataCon
+  , FeatureRefineHole
   ]