Skip to content

Commit 557432e

Browse files
committed
Use loose parsing for config
1 parent 9c20a3a commit 557432e

File tree

1 file changed

+5
-2
lines changed
  • plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic

1 file changed

+5
-2
lines changed

plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/TestTypes.hs

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
module Ide.Plugin.Tactic.TestTypes where
55

66
import Data.Aeson
7+
import Data.Maybe (fromMaybe)
78
import qualified Data.Text as T
89
import Ide.Plugin.Tactic.FeatureSet
910

@@ -50,7 +51,9 @@ instance ToJSON Config where
5051

5152
instance FromJSON Config where
5253
parseJSON = withObject "Config" $ \obj -> do
53-
cfg_feature_set <- parseFeatureSet <$> obj .: "features"
54-
cfg_max_use_ctor_actions <- obj .: "max_use_ctor_actions"
54+
cfg_feature_set <-
55+
parseFeatureSet . fromMaybe "" <$> obj .:? "features"
56+
cfg_max_use_ctor_actions <-
57+
fromMaybe 5 <$> obj .:? "max_use_ctor_actions"
5558
pure $ Config{..}
5659

0 commit comments

Comments
 (0)