mirror of
https://github.com/jfmengels/elm-review.git
synced 2024-11-22 04:52:46 +03:00
Compare commits
4 Commits
03580c904e
...
41b7c0a711
Author | SHA1 | Date | |
---|---|---|---|
|
41b7c0a711 | ||
|
f45c2aeba4 | ||
|
9b2b19d2cb | ||
|
011b4fdb44 |
28
package-lock.json
generated
28
package-lock.json
generated
@ -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"
|
||||
}
|
||||
|
@ -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
|
||||
|
||||
|
@ -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)
|
||||
|
||||
|
||||
|
@ -1361,6 +1361,7 @@ tests : Test
|
||||
tests = Test.describe "thing" B.helper
|
||||
""", """
|
||||
module B exposing (helper)
|
||||
{-| Module docs -}
|
||||
{-| @ignore-helper -}
|
||||
helper = 1
|
||||
""" ]
|
||||
|
@ -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" <|
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
"""
|
||||
|
Loading…
Reference in New Issue
Block a user