From 732b8fff73990fac718e9dd422fdc56b884ac03e Mon Sep 17 00:00:00 2001 From: Sandy Maguire Date: Thu, 15 Apr 2021 15:37:17 -0700 Subject: [PATCH] Wingman feature release --- 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 962e8e5645..ae6a45cafe 100644 --- a/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs +++ b/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs @@ -47,7 +47,9 @@ parseFeatureSet -- | Features that are globally enabled for all users. defaultFeatures :: FeatureSet defaultFeatures = S.fromList - [ + [ FeatureDestructAll + , FeatureUseDataCon + , FeatureRefineHole ]