From 9ae2092258c20f8b45064408f7535d55197b11ed Mon Sep 17 00:00:00 2001 From: Sandy Maguire Date: Fri, 16 Apr 2021 01:54:42 -0700 Subject: [PATCH] Wingman feature release (#1735) Co-authored-by: Javier Neira Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> --- plugins/hls-tactics-plugin/README.md | 2 -- plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs | 4 +++- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/plugins/hls-tactics-plugin/README.md b/plugins/hls-tactics-plugin/README.md index c5bff73768..b8102a952a 100644 --- a/plugins/hls-tactics-plugin/README.md +++ b/plugins/hls-tactics-plugin/README.md @@ -56,8 +56,6 @@ nnoremap ]h :call JumpToNextHole() " d to perform a pattern match, n to fill a hole nnoremap d :set operatorfunc=WingmanDestructg@l nnoremap n :set operatorfunc=WingmanFillHoleg@l - -" beta only nnoremap r :set operatorfunc=WingmanRefineg@l nnoremap c :set operatorfunc=WingmanUseCtorg@l nnoremap a :set operatorfunc=WingmanDestructAllg@l diff --git a/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs b/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs index 7b226abb6f..190a654a31 100644 --- 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 ]