hls-tactics-plugin 1.6.0.0 → 1.6.1.0

raw patch · 5 files changed

+18/−3 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• hls-tactics-plugin.cabal +1/−1
• src/Wingman/KnownStrategies/QuickCheck.hs +3/−2
• test/CodeAction/AutoSpec.hs +1/−0
• test/golden/GoldenArbitrarySingleConstructor.expected.hs +7/−0
• test/golden/GoldenArbitrarySingleConstructor.hs +6/−0

@@ -1,7 +1,7 @@ cabal-version:      2.4 category:           Development name:               hls-tactics-plugin-version:            1.6.0.0+version:            1.6.1.0 synopsis:           Wingman plugin for Haskell Language Server description:   Please see the README on GitHub at <https://github.com/haskell/haskell-language-server#readme>

@@ -43,8 +43,9 @@               mempty               mempty               mempty-          $ noLoc $-              let' [valBind (fromString "terminal") $ list $ fmap genExpr terminal] $+          $ noLoc $ case terminal of+            [onlyCon] -> genExpr onlyCon -- See #1879+            _ -> let' [valBind (fromString "terminal") $ list $ fmap genExpr terminal] $                 appDollar (mkFunc "sized") $ lambda [bvar' (mkVarOcc "n")] $                   case' (infixCall "<=" (mkVal "n") (int 1))                     [ match [conP (fromString "True") []] $

@@ -72,6 +72,7 @@    describe "known" $ do     autoTest 25 13 "GoldenArbitrary"+    autoTest  6 13 "GoldenArbitrarySingleConstructor"     autoTestNoWhitespace               6 10 "KnownBigSemigroup"     autoTest  4 10 "KnownThetaSemigroup"

@@ -0,0 +1,7 @@+data Gen a++data Obj = Obj Int Bool Char String++arbitrary :: Gen Obj+arbitrary+  = (((Obj <$> arbitrary) <*> arbitrary) <*> arbitrary) <*> arbitrary

@@ -0,0 +1,6 @@+data Gen a++data Obj = Obj Int Bool Char String++arbitrary :: Gen Obj+arbitrary = _