Compare commits

...

4 Commits

Author SHA1 Message Date
dependabot[bot]
41b7c0a711
Merge 011b4fdb44 into f45c2aeba4 2024-09-17 16:53:29 +01:00
Jeroen Engels
f45c2aeba4 Split pipelines 2024-09-08 18:44:43 +02:00
Jeroen Engels
9b2b19d2cb Fix invalid syntax in test code 2024-09-08 18:40:23 +02:00
dependabot[bot]
011b4fdb44
Bump braces from 3.0.2 to 3.0.3
Bumps [braces](https://github.com/micromatch/braces) from 3.0.2 to 3.0.3.
- [Changelog](https://github.com/micromatch/braces/blob/master/CHANGELOG.md)
- [Commits](https://github.com/micromatch/braces/compare/3.0.2...3.0.3)

---
updated-dependencies:
- dependency-name: braces
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-06-22 13:44:26 +00:00
7 changed files with 119 additions and 77 deletions

28
package-lock.json generated
View File

@ -199,11 +199,11 @@
}
},
"node_modules/braces": {
"version": "3.0.2",
"resolved": "https://registry.npmjs.org/braces/-/braces-3.0.2.tgz",
"integrity": "sha512-b8um+L1RzM3WDSzvhm6gIz1yfTbBt6YTlcEKAvsmqCZZFw46z626lVj9j1yEPW33H5H+lBQpZMP1k8l+78Ha0A==",
"version": "3.0.3",
"resolved": "https://registry.npmjs.org/braces/-/braces-3.0.3.tgz",
"integrity": "sha512-yQbXgO/OSZVD2IsiLlro+7Hf6Q18EJrKSEsdoMzKePKXct3gvD8oLcOQdIzGupr5Fj+EDe8gO/lxc1BzfMpxvA==",
"dependencies": {
"fill-range": "^7.0.1"
"fill-range": "^7.1.1"
},
"engines": {
"node": ">=8"
@ -679,9 +679,9 @@
"integrity": "sha512-On2N+BpYJ15xIC974QNVuYGMOlEVt4s0EOI3wwMqOmK1fdDY+FN/zltPV8vosq4ad4c/gJ1KHScUn/6AWIgiow=="
},
"node_modules/fill-range": {
"version": "7.0.1",
"resolved": "https://registry.npmjs.org/fill-range/-/fill-range-7.0.1.tgz",
"integrity": "sha512-qOo9F+dMUmC2Lcb4BbVvnKJxTPjCm+RRpe4gDuGrzkL7mEVl/djYSu2OdQ2Pa302N4oqkSg9ir6jaLWJ2USVpQ==",
"version": "7.1.1",
"resolved": "https://registry.npmjs.org/fill-range/-/fill-range-7.1.1.tgz",
"integrity": "sha512-YsGpe3WHLK8ZYi4tWDg2Jy3ebRz2rXowDxnld4bkQB00cc/1Zw9AWnC0i9ztDJitivtQvaI9KaLyKrc+hBW0yg==",
"dependencies": {
"to-regex-range": "^5.0.1"
},
@ -2400,11 +2400,11 @@
}
},
"braces": {
"version": "3.0.2",
"resolved": "https://registry.npmjs.org/braces/-/braces-3.0.2.tgz",
"integrity": "sha512-b8um+L1RzM3WDSzvhm6gIz1yfTbBt6YTlcEKAvsmqCZZFw46z626lVj9j1yEPW33H5H+lBQpZMP1k8l+78Ha0A==",
"version": "3.0.3",
"resolved": "https://registry.npmjs.org/braces/-/braces-3.0.3.tgz",
"integrity": "sha512-yQbXgO/OSZVD2IsiLlro+7Hf6Q18EJrKSEsdoMzKePKXct3gvD8oLcOQdIzGupr5Fj+EDe8gO/lxc1BzfMpxvA==",
"requires": {
"fill-range": "^7.0.1"
"fill-range": "^7.1.1"
}
},
"buffer": {
@ -2746,9 +2746,9 @@
"integrity": "sha512-On2N+BpYJ15xIC974QNVuYGMOlEVt4s0EOI3wwMqOmK1fdDY+FN/zltPV8vosq4ad4c/gJ1KHScUn/6AWIgiow=="
},
"fill-range": {
"version": "7.0.1",
"resolved": "https://registry.npmjs.org/fill-range/-/fill-range-7.0.1.tgz",
"integrity": "sha512-qOo9F+dMUmC2Lcb4BbVvnKJxTPjCm+RRpe4gDuGrzkL7mEVl/djYSu2OdQ2Pa302N4oqkSg9ir6jaLWJ2USVpQ==",
"version": "7.1.1",
"resolved": "https://registry.npmjs.org/fill-range/-/fill-range-7.1.1.tgz",
"integrity": "sha512-YsGpe3WHLK8ZYi4tWDg2Jy3ebRz2rXowDxnld4bkQB00cc/1Zw9AWnC0i9ztDJitivtQvaI9KaLyKrc+hBW0yg==",
"requires": {
"to-regex-range": "^5.0.1"
}

View File

@ -433,15 +433,17 @@ collectLookupTable declarations context =
visitExpressions : Node Expression -> Context -> Context
visitExpressions node context =
-- IGNORE TCO
context
|> popScopeEnter node
|> expressionEnterVisitor node
|> (\newContext ->
List.foldl
visitExpressions
newContext
(expressionChildren node)
)
let
newContext : Context
newContext =
context
|> popScopeEnter node
|> expressionEnterVisitor node
in
List.foldl
visitExpressions
newContext
(expressionChildren node)
|> popScopeExit node
|> expressionExitVisitor node

View File

@ -5862,16 +5862,19 @@ visitDeclarationsAndExpressions declarations rules =
visitDeclarationAndExpressions : Node Declaration -> JsArray RuleModuleVisitor -> JsArray RuleModuleVisitor
visitDeclarationAndExpressions declaration rules =
rules
|> mutatingMap (\acc -> runVisitor .declarationVisitorOnEnter declaration acc)
|> (\updatedRules ->
case Node.value declaration of
Declaration.FunctionDeclaration function ->
visitExpression (Node.value function.declaration |> .expression) updatedRules
let
updatedRules : JsArray RuleModuleVisitor
updatedRules =
rules
|> mutatingMap (\acc -> runVisitor .declarationVisitorOnEnter declaration acc)
in
(case Node.value declaration of
Declaration.FunctionDeclaration function ->
visitExpression (Node.value function.declaration |> .expression) updatedRules
_ ->
updatedRules
)
_ ->
updatedRules
)
|> mutatingMap (\acc -> runVisitor .declarationVisitorOnExit declaration acc)
@ -5879,38 +5882,44 @@ visitExpression : Node Expression -> JsArray RuleModuleVisitor -> JsArray RuleMo
visitExpression node rules =
case Node.value node of
Expression.LetExpression letBlock ->
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
|> (\updatedRules ->
List.foldl
(visitLetDeclaration (Node (Node.range node) letBlock))
updatedRules
letBlock.declarations
)
let
updatedRules : JsArray RuleModuleVisitor
updatedRules =
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
in
List.foldl
(visitLetDeclaration (Node (Node.range node) letBlock))
updatedRules
letBlock.declarations
|> visitExpression letBlock.expression
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnExit node acc)
Expression.CaseExpression caseBlock ->
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
|> visitExpression caseBlock.expression
|> (\updatedRules ->
List.foldl
(\case_ acc -> visitCaseBranch (Node (Node.range node) caseBlock) case_ acc)
updatedRules
caseBlock.cases
)
let
updatedRules : JsArray RuleModuleVisitor
updatedRules =
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
|> visitExpression caseBlock.expression
in
List.foldl
(\case_ acc -> visitCaseBranch (Node (Node.range node) caseBlock) case_ acc)
updatedRules
caseBlock.cases
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnExit node acc)
_ ->
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
|> (\updatedRules ->
List.foldl
visitExpression
updatedRules
(expressionChildren node)
)
let
updatedRules : JsArray RuleModuleVisitor
updatedRules =
rules
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnEnter node acc)
in
List.foldl
visitExpression
updatedRules
(expressionChildren node)
|> mutatingMap (\acc -> runVisitor .expressionVisitorOnExit node acc)

View File

@ -1361,6 +1361,7 @@ tests : Test
tests = Test.describe "thing" B.helper
""", """
module B exposing (helper)
{-| Module docs -}
{-| @ignore-helper -}
helper = 1
""" ]

View File

@ -156,6 +156,7 @@ b = 2"""
, test "should report unused top-level variables with documentation attached" <|
\() ->
"""module SomeModule exposing (b)
{-| Module docs -}
{-| Documentation
-}
unusedVar = 1
@ -168,11 +169,13 @@ b = 2"""
, under = "unusedVar"
}
|> Review.Test.whenFixed """module SomeModule exposing (b)
{-| Module docs -}
b = 2"""
]
, test "should report unused top-level variables with documentation attached even if they are annotated" <|
\() ->
"""module SomeModule exposing (b)
{-| Module docs -}
{-| Documentation
-}
unusedVar : Int
@ -185,8 +188,9 @@ b = 2"""
, details = details
, under = "unusedVar"
}
|> Review.Test.atExactly { start = { row = 5, column = 1 }, end = { row = 5, column = 10 } }
|> Review.Test.atExactly { start = { row = 6, column = 1 }, end = { row = 6, column = 10 } }
|> Review.Test.whenFixed """module SomeModule exposing (b)
{-| Module docs -}
b = 2"""
]
, test "should not report unused top-level variables if everything is exposed (functions)" <|
@ -642,7 +646,7 @@ topLevelVariablesUsedInLetInTests =
"""module SomeModule exposing (a)
b = 1
a = let c = 1
in b + c"""
in b + c"""
|> Review.Test.run rule
|> Review.Test.expectNoErrors
, test "should not report top-level variables used inside let declarations" <|
@ -650,21 +654,25 @@ in b + c"""
"""module SomeModule exposing (a)
b = 1
a = let c = b
in c"""
in c
"""
|> Review.Test.run rule
|> Review.Test.expectNoErrors
, test "should not report top-level variables used in nested lets" <|
\() ->
"""module SomeModule exposing (a)
b = 1
a = let
c = b
d = let
e = 1
in
b + c + e
in
d"""
a =
let
c = b
d =
let
e = 1
in
b + c + e
in
d
"""
|> Review.Test.run rule
|> Review.Test.expectNoErrors
]
@ -2016,6 +2024,7 @@ a = 1"""
, test "should report unused custom type declarations with documentation" <|
\() ->
"""module SomeModule exposing (a)
{-| Module docs -}
{-| Documentation -}
type UnusedType = B | C
a = 1"""
@ -2027,6 +2036,7 @@ a = 1"""
, under = "UnusedType"
}
|> Review.Test.whenFixed """module SomeModule exposing (a)
{-| Module docs -}
a = 1"""
]
, test "should report unused custom type declaration even when it references itself" <|
@ -2089,6 +2099,7 @@ a = 1"""
, test "should report unused type aliases declarations with documentation" <|
\() ->
"""module SomeModule exposing (a)
{-| Module docs -}
{-| Documentation -}
type alias UnusedType = { a : B }
a = 1"""
@ -2100,6 +2111,7 @@ a = 1"""
, under = "UnusedType"
}
|> Review.Test.whenFixed """module SomeModule exposing (a)
{-| Module docs -}
a = 1"""
]
, test "should not report type alias used in a signature" <|

View File

@ -143,7 +143,7 @@ Hint: Maybe you forgot to add the module definition at the top, like:
, test "when there are multiple files" <|
\() ->
[ "module MyModule exposing (.."
, "module MyOtherModule exposing (..)"
, "module MyOtherModule exposing (..)\na = 1"
]
|> Review.Test.runOnModules testRuleReportsLiterals
|> Review.Test.expectNoErrors

View File

@ -274,10 +274,19 @@ shiftRange : ( ESN.Node String, Int ) -> { node : ESN.Node String } -> { a | nod
shiftRange input _ _ =
let
asList : ( ESN.Node, Int ) -> List ESN.Node
asList ( node, _ ) = [ node ]
( ESN.Node range1 value1, length1 ) = input
[ ESN.Node range2 value2 ] = asList input
ESN.Node range3 value3 :: [] = asList input
asList ( node, _ ) =
[ node ]
( ESN.Node range value, length1 ) =
case asList input of
[ ESN.Node range2 value2 ] ->
input
ESN.Node range3 value3 :: _ ->
input
_ ->
input
in
range
"""
@ -298,10 +307,19 @@ shiftRange : ( Node.Node String, Int ) -> { node : Node.Node String } -> { a | n
shiftRange input _ _ =
let
asList : ( Node.Node, Int ) -> List Node.Node
asList ( node, _ ) = [ node ]
( Node.Node range1 value1, length1 ) = input
[ Node.Node range2 value2 ] = asList input
Node.Node range3 value3 :: [] = asList input
asList ( node, _ ) =
[ node ]
( Node.Node range value, length1 ) =
case asList input of
[ Node.Node range2 value2 ] ->
input
Node.Node range3 value3 :: _ ->
input
_ ->
input
in
range
"""