Skip to content
Snippets Groups Projects
Commit 00d6cad3 authored by Javier Neira's avatar Javier Neira
Browse files

Merge branch 'post-1.6.0.0' of https://github.com/jneira/haskell-language-server into post-1.6.0.0

parents e72d5a51 dc3dc615
No related branches found
No related tags found
No related merge requests found
Pipeline #46712 passed
...@@ -43,8 +43,9 @@ deriveArbitrary = do ...@@ -43,8 +43,9 @@ deriveArbitrary = do
mempty mempty
mempty mempty
mempty mempty
$ noLoc $ $ noLoc $ case terminal of
let' [valBind (fromString "terminal") $ list $ fmap genExpr terminal] $ [onlyCon] -> genExpr onlyCon -- See #1879
_ -> let' [valBind (fromString "terminal") $ list $ fmap genExpr terminal] $
appDollar (mkFunc "sized") $ lambda [bvar' (mkVarOcc "n")] $ appDollar (mkFunc "sized") $ lambda [bvar' (mkVarOcc "n")] $
case' (infixCall "<=" (mkVal "n") (int 1)) case' (infixCall "<=" (mkVal "n") (int 1))
[ match [conP (fromString "True") []] $ [ match [conP (fromString "True") []] $
......
...@@ -72,6 +72,7 @@ spec = do ...@@ -72,6 +72,7 @@ spec = do
describe "known" $ do describe "known" $ do
autoTest 25 13 "GoldenArbitrary" autoTest 25 13 "GoldenArbitrary"
autoTest 6 13 "GoldenArbitrarySingleConstructor"
autoTestNoWhitespace autoTestNoWhitespace
6 10 "KnownBigSemigroup" 6 10 "KnownBigSemigroup"
autoTest 4 10 "KnownThetaSemigroup" autoTest 4 10 "KnownThetaSemigroup"
......
data Gen a
data Obj = Obj Int Bool Char String
arbitrary :: Gen Obj
arbitrary
= (((Obj <$> arbitrary) <*> arbitrary) <*> arbitrary) <*> arbitrary
\ No newline at end of file
data Gen a
data Obj = Obj Int Bool Char String
arbitrary :: Gen Obj
arbitrary = _
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment