elm-pages 3.0.0-beta.1 → 3.0.0-beta.12

package/generator/dead-code-review/elm-stuff/tests-0.19.1/js/node_runner.js

@@ -75,7 +75,7 @@ console.elmlog = (str) => logs.push(str + "\n");
 const { Elm } = require("./Runner.elm.js");
 
 // Start the Elm app
-const flags = { initialSeed: 3296225071, fuzzRuns: 100, filter: null };
+const flags = { initialSeed: 939171621, fuzzRuns: 100, filter: null };
 const app = Elm.Runner.init({ flags: flags });
 
 // Record the timing at which we received the last "runTest" message

package/generator/dead-code-review/elm-stuff/tests-0.19.1/js/node_supervisor.js

@@ -82,7 +82,7 @@ const verbosity = 0;
 // Create a long lived reporter worker
 const { Elm } = require("./Reporter.elm.js");
 const flags = {
-  initialSeed: 3296225071,
+  initialSeed: 939171621,
   fuzzRuns: 100,
   mode: "consoleNoColor",
   verbosity: verbosity,

package/generator/dead-code-review/elm.json

@@ -9,18 +9,19 @@
         "direct": {
             "elm/core": "1.0.5",
             "elm-community/result-extra": "2.4.0",
-            "jfmengels/elm-review": "2.4.2",
-            "stil4m/elm-syntax": "7.2.5"
+            "jfmengels/elm-review": "2.10.0",
+            "stil4m/elm-syntax": "7.2.9"
         },
         "indirect": {
+            "elm/bytes": "1.0.8",
             "elm/html": "1.0.0",
             "elm/json": "1.1.3",
             "elm/parser": "1.1.0",
             "elm/project-metadata-utils": "1.0.2",
             "elm/random": "1.0.0",
             "elm/time": "1.0.0",
-            "elm/virtual-dom": "1.0.2",
-            "elm-community/list-extra": "8.3.0",
+            "elm/virtual-dom": "1.0.3",
+            "elm-community/list-extra": "8.7.0",
             "miniBill/elm-unicode": "1.0.2",
             "rtfeldman/elm-hex": "1.0.0",
             "stil4m/structured-writer": "1.0.3"
@@ -28,7 +29,7 @@
     },
     "test-dependencies": {
         "direct": {
-            "elm-explorations/test": "1.2.2"
+            "elm-explorations/test": "2.0.1"
         },
         "indirect": {}
     }

package/generator/dead-code-review/src/Pages/Review/DeadCodeEliminateData.elm

@@ -1,7 +1,11 @@
 module Pages.Review.DeadCodeEliminateData exposing (rule)
 
+import Dict exposing (Dict)
 import Elm.Syntax.Declaration as Declaration exposing (Declaration)
+import Elm.Syntax.Exposing exposing (Exposing)
 import Elm.Syntax.Expression as Expression exposing (Expression)
+import Elm.Syntax.Import exposing (Import)
+import Elm.Syntax.ModuleName exposing (ModuleName)
 import Elm.Syntax.Node as Node exposing (Node)
 import Review.Fix
 import Review.ModuleNameLookupTable as ModuleNameLookupTable exposing (ModuleNameLookupTable)
@@ -9,14 +13,59 @@ import Review.Rule as Rule exposing (Error, Rule)
 
 
 type alias Context =
-    { lookupTable : ModuleNameLookupTable }
+    { lookupTable : ModuleNameLookupTable
+    , importContext : Dict (List String) ImportContext
+    }
+
+
+type ImportReference
+    = QualifiedReference
+    | UnqualifiedReference (List String)
+
+
+type alias ImportContext =
+    { moduleName : ModuleName
+    , moduleAlias : Maybe ModuleName
+    , exposedFunctions : Exposed
+
+    --Maybe Exposing
+    }
+
+
+type Exposed
+    = AllExposed
+    | SomeExposed (List String)
+
+
+toImportContext : Import -> ( List String, ImportContext )
+toImportContext import_ =
+    ( import_.moduleName |> Node.value
+    , { moduleName = import_.moduleName |> Node.value
+      , moduleAlias = import_.moduleAlias |> Maybe.map Node.value
+      , exposedFunctions =
+            import_.exposingList
+                |> Maybe.map Node.value
+                |> Maybe.map
+                    (\exposingList ->
+                        case exposingList of
+                            Elm.Syntax.Exposing.All _ ->
+                                AllExposed
+
+                            Elm.Syntax.Exposing.Explicit nodes ->
+                                AllExposed
+                    )
+                |> Maybe.withDefault (SomeExposed [])
+      }
+    )
 
 
 rule : Rule
 rule =
     Rule.newModuleRuleSchemaUsingContextCreator "Pages.Review.DeadCodeEliminateData" initialContext
+        |> Rule.providesFixesForModuleRule
         |> Rule.withExpressionEnterVisitor expressionVisitor
         |> Rule.withDeclarationEnterVisitor declarationVisitor
+        |> Rule.withImportVisitor importVisitor
         |> Rule.fromModuleRuleSchema
 
 
@@ -25,11 +74,27 @@ initialContext =
     Rule.initContextCreator
         (\lookupTable () ->
             { lookupTable = lookupTable
+            , importContext = Dict.empty
             }
         )
         |> Rule.withModuleNameLookupTable
 
 
+importVisitor : Node Import -> Context -> ( List (Rule.Error {}), Context )
+importVisitor node context =
+    let
+        ( key, value ) =
+            Node.value node
+                |> toImportContext
+    in
+    ( []
+    , { context
+        | importContext =
+            context.importContext |> Dict.insert key value
+      }
+    )
+
+
 declarationVisitor : Node Declaration -> Context -> ( List (Error {}), Context )
 declarationVisitor node context =
     case Node.value node of
@@ -47,7 +112,7 @@ declarationVisitor node context =
                                                 case Node.value recordSetter of
                                                     ( keyNode, valueNode ) ->
                                                         if Node.value keyNode == "data" || Node.value keyNode == "action" then
-                                                            if isAlreadyApplied (Node.value valueNode) then
+                                                            if isAlreadyApplied context.lookupTable (Node.value valueNode) then
                                                                 Nothing
 
                                                             else
@@ -66,9 +131,12 @@ declarationVisitor node context =
                                                 , details = [ "" ]
                                                 }
                                                 (Node.range dataValue)
-                                                -- TODO need to check the right way to refer to `DataSource.fail` based on imports
                                                 -- TODO need to replace `action` as well
-                                                [ Review.Fix.replaceRangeBy (Node.range dataValue) "data = DataSource.fail \"\"\n    "
+                                                [ ("data = "
+                                                    ++ referenceFunction context.importContext ( [ "DataSource" ], "fail" )
+                                                    ++ " \"\"\n    "
+                                                  )
+                                                    |> Review.Fix.replaceRangeBy (Node.range dataValue)
                                                 ]
                                           ]
                                         , context
@@ -99,7 +167,7 @@ expressionVisitor node context =
                                         case Node.value recordSetter of
                                             ( keyNode, valueNode ) ->
                                                 if Node.value keyNode == "data" || Node.value keyNode == "action" then
-                                                    if isAlreadyApplied (Node.value valueNode) then
+                                                    if isAlreadyApplied context.lookupTable (Node.value valueNode) then
                                                         Nothing
 
                                                     else
@@ -122,16 +190,23 @@ expressionVisitor node context =
                                             ++ " = "
                                             ++ (case pageBuilderName of
                                                     "preRender" ->
-                                                        "\\_ -> DataSource.fail \"\""
+                                                        "\\_ -> "
+                                                            ++ referenceFunction context.importContext ( [ "DataSource" ], "fail" )
+                                                            ++ " \"\""
 
                                                     "preRenderWithFallback" ->
-                                                        "\\_ -> DataSource.fail \"\""
+                                                        "\\_ -> "
+                                                            ++ referenceFunction context.importContext ( [ "DataSource" ], "fail" )
+                                                            ++ " \"\""
 
                                                     "serverRender" ->
-                                                        "\\_ -> Request.oneOf []\n        "
+                                                        "\\_ -> "
+                                                            ++ referenceFunction context.importContext ( [ "Server", "Request" ], "oneOf" )
+                                                            ++ " []\n        "
 
                                                     "single" ->
-                                                        "DataSource.fail \"\"\n       "
+                                                        referenceFunction context.importContext ( [ "DataSource" ], "fail" )
+                                                            ++ " \"\"\n       "
 
                                                     _ ->
                                                         "data"
@@ -150,18 +225,56 @@ expressionVisitor node context =
             ( [], context )
 
 
-isAlreadyApplied : Expression -> Bool
-isAlreadyApplied expression =
+referenceFunction : Dict (List String) ImportContext -> ( List String, String ) -> String
+referenceFunction dict ( rawModuleName, rawFunctionName ) =
+    let
+        ( moduleName, functionName ) =
+            case dict |> Dict.get rawModuleName of
+                Just import_ ->
+                    ( import_.moduleAlias |> Maybe.withDefault rawModuleName
+                    , rawFunctionName
+                    )
+
+                Nothing ->
+                    ( rawModuleName, rawFunctionName )
+    in
+    moduleName ++ [ functionName ] |> String.join "."
+
+
+isAlreadyApplied : ModuleNameLookupTable -> Expression -> Bool
+isAlreadyApplied lookupTable expression =
     case expression of
         Expression.LambdaExpression info ->
             case Node.value info.expression of
                 Expression.Application applicationNodes ->
                     case applicationNodes |> List.map Node.value of
-                        (Expression.FunctionOrValue [ "DataSource" ] "fail") :: _ ->
-                            True
+                        (Expression.FunctionOrValue _ "fail") :: _ ->
+                            let
+                                resolvedModuleName : ModuleName
+                                resolvedModuleName =
+                                    applicationNodes
+                                        |> List.head
+                                        |> Maybe.andThen
+                                            (\functionNode ->
+                                                ModuleNameLookupTable.moduleNameFor lookupTable functionNode
+                                            )
+                                        |> Maybe.withDefault []
+                            in
+                            resolvedModuleName == [ "DataSource" ]
 
-                        (Expression.FunctionOrValue [ "Request" ] "oneOf") :: (Expression.ListExpr []) :: _ ->
-                            True
+                        (Expression.FunctionOrValue _ "oneOf") :: (Expression.ListExpr []) :: _ ->
+                            let
+                                resolvedModuleName : ModuleName
+                                resolvedModuleName =
+                                    applicationNodes
+                                        |> List.head
+                                        |> Maybe.andThen
+                                            (\functionNode ->
+                                                ModuleNameLookupTable.moduleNameFor lookupTable functionNode
+                                            )
+                                        |> Maybe.withDefault []
+                            in
+                            resolvedModuleName == [ "Server", "Request" ]
 
                         _ ->
                             False
@@ -171,8 +284,19 @@ isAlreadyApplied expression =
 
         Expression.Application applicationNodes ->
             case applicationNodes |> List.map Node.value of
-                (Expression.FunctionOrValue [ "DataSource" ] "fail") :: _ ->
-                    True
+                (Expression.FunctionOrValue _ "fail") :: _ ->
+                    let
+                        resolvedModuleName : ModuleName
+                        resolvedModuleName =
+                            applicationNodes
+                                |> List.head
+                                |> Maybe.andThen
+                                    (\functionNode ->
+                                        ModuleNameLookupTable.moduleNameFor lookupTable functionNode
+                                    )
+                                |> Maybe.withDefault []
+                    in
+                    resolvedModuleName == [ "DataSource" ]
 
                 _ ->
                     False

package/generator/dead-code-review/tests/Pages/Review/DeadCodeEliminateDataTest.elm

@@ -12,6 +12,8 @@ all =
             \() ->
                 """module Route.Index exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 import DataSource exposing (DataSource)
 import RouteBuilder exposing (Page, StaticPayload, single)
 import Pages.PageUrl exposing (PageUrl)
@@ -64,6 +66,8 @@ data =
                             |> Review.Test.whenFixed
                                 """module Route.Index exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 import DataSource exposing (DataSource)
 import RouteBuilder exposing (Page, StaticPayload, single)
 import Pages.PageUrl exposing (PageUrl)
@@ -99,6 +103,104 @@ route =
        |> RouteBuilder.buildNoState { view = view }
 
 
+data : DataSource Data
+data =
+    DataSource.succeed ()
+"""
+                        ]
+        , test "supports aliased DataSource module import" <|
+            \() ->
+                """module Route.Index exposing (Data, Model, Msg, route)
+
+import Server.Request as Request
+import DataSource as DS
+import RouteBuilder exposing (Page, StaticPayload, single)
+import Pages.PageUrl exposing (PageUrl)
+import Pages.Url
+import Path
+import Route exposing (Route)
+import Shared
+import View exposing (View)
+
+
+type alias Model =
+   {}
+
+
+type alias Msg =
+   ()
+
+
+type alias RouteParams =
+   {}
+
+
+type alias Data =
+   ()
+
+
+route : StatelessRoute RouteParams Data ActionData
+route =
+   single
+       { head = head
+       , data = data
+       }
+       |> RouteBuilder.buildNoState { view = view }
+
+
+data : DataSource Data
+data =
+    DataSource.succeed ()
+"""
+                    |> Review.Test.run rule
+                    |> Review.Test.expectErrors
+                        [ Review.Test.error
+                            { message = "Codemod"
+                            , details =
+                                [ "" ]
+                            , under =
+                                """data = data
+       }"""
+                            }
+                            |> Review.Test.whenFixed
+                                """module Route.Index exposing (Data, Model, Msg, route)
+
+import Server.Request as Request
+import DataSource as DS
+import RouteBuilder exposing (Page, StaticPayload, single)
+import Pages.PageUrl exposing (PageUrl)
+import Pages.Url
+import Path
+import Route exposing (Route)
+import Shared
+import View exposing (View)
+
+
+type alias Model =
+   {}
+
+
+type alias Msg =
+   ()
+
+
+type alias RouteParams =
+   {}
+
+
+type alias Data =
+   ()
+
+
+route : StatelessRoute RouteParams Data ActionData
+route =
+   single
+       { head = head
+       , data = DS.fail ""
+       }
+       |> RouteBuilder.buildNoState { view = view }
+
+
 data : DataSource Data
 data =
     DataSource.succeed ()
@@ -108,6 +210,8 @@ data =
             \() ->
                 """module Route.Blog.Slug_ exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 import DataSource exposing (DataSource)
 import RouteBuilder exposing (Page, StaticPayload)
 import Pages.PageUrl exposing (PageUrl)
@@ -160,6 +264,8 @@ data =
                             |> Review.Test.whenFixed
                                 """module Route.Blog.Slug_ exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 import DataSource exposing (DataSource)
 import RouteBuilder exposing (Page, StaticPayload)
 import Pages.PageUrl exposing (PageUrl)
@@ -205,6 +311,8 @@ data =
             \() ->
                 """module Route.Login exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 type alias Model =
     {}
 
@@ -239,6 +347,8 @@ route =
                             |> Review.Test.whenFixed
                                 """module Route.Login exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 type alias Model =
     {}
 
@@ -271,6 +381,8 @@ route =
                             |> Review.Test.whenFixed
                                 """module Route.Login exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 type alias Model =
     {}
 
@@ -291,12 +403,112 @@ route =
         , action = \\_ -> Request.oneOf []
         }
         |> RouteBuilder.buildNoState { view = view }
+"""
+                        ]
+        , test "uses appropriate import alias for Server.Request module" <|
+            \() ->
+                """module Route.Login exposing (Data, Model, Msg, route)
+
+import Server.Request
+
+type alias Model =
+    {}
+
+
+type alias Msg =
+    ()
+
+
+type alias RouteParams =
+    {}
+
+
+route : StatelessRoute RouteParams Data ActionData
+route =
+    RouteBuilder.serverRender
+        { head = head
+        , data = data
+        , action = action
+        }
+        |> RouteBuilder.buildNoState { view = view }
+"""
+                    |> Review.Test.run rule
+                    |> Review.Test.expectErrors
+                        [ Review.Test.error
+                            { message = "Codemod"
+                            , details =
+                                [ "" ]
+                            , under =
+                                """data = data
+        ,"""
+                            }
+                            |> Review.Test.whenFixed
+                                """module Route.Login exposing (Data, Model, Msg, route)
+
+import Server.Request
+
+type alias Model =
+    {}
+
+
+type alias Msg =
+    ()
+
+
+type alias RouteParams =
+    {}
+
+
+route : StatelessRoute RouteParams Data ActionData
+route =
+    RouteBuilder.serverRender
+        { head = head
+        , data = \\_ -> Server.Request.oneOf []
+        , action = action
+        }
+        |> RouteBuilder.buildNoState { view = view }
+"""
+                        , Review.Test.error
+                            { message = "Codemod"
+                            , details =
+                                [ "" ]
+                            , under =
+                                """action = action
+        }"""
+                            }
+                            |> Review.Test.whenFixed
+                                """module Route.Login exposing (Data, Model, Msg, route)
+
+import Server.Request
+
+type alias Model =
+    {}
+
+
+type alias Msg =
+    ()
+
+
+type alias RouteParams =
+    {}
+
+
+route : StatelessRoute RouteParams Data ActionData
+route =
+    RouteBuilder.serverRender
+        { head = head
+        , data = data
+        , action = \\_ -> Server.Request.oneOf []
+        }
+        |> RouteBuilder.buildNoState { view = view }
 """
                         ]
         , test "no Request.oneOf fix after replacement is made" <|
             \() ->
                 """module Route.Login exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 type alias Model =
     {}
 
@@ -323,6 +535,8 @@ route =
             \() ->
                 """module Route.Index exposing (Data, Model, Msg, route)
 
+import Server.Request as Request
+
 import DataSource exposing (DataSource)
 import RouteBuilder exposing (Page, StaticPayload)
 import Pages.PageUrl exposing (PageUrl)
@@ -368,6 +582,8 @@ data =
             \() ->
                 """module Shared exposing (Data, Model, Msg, template)
 
+import Server.Request as Request
+
 import Browser.Navigation
 import DataSource
 import Html exposing (Html)
@@ -416,6 +632,8 @@ type alias Model =
                             |> Review.Test.whenFixed
                                 """module Shared exposing (Data, Model, Msg, template)
 
+import Server.Request as Request
+
 import Browser.Navigation
 import DataSource
 import Html exposing (Html)

package/generator/review/elm-stuff/tests-0.19.1/elm.json

@@ -1 +1 @@
-{"type":"application","source-directories":["../../src","../../tests","../../../../src","src"],"elm-version":"0.19.1","dependencies":{"direct":{"elm/core":"1.0.5","elm/html":"1.0.0","elm/json":"1.1.3","elm/regex":"1.0.0","elm-community/result-extra":"2.4.0","elm-explorations/test":"1.2.2","jfmengels/elm-review":"2.4.2","mdgriffith/elm-codegen":"2.0.0","mpizenberg/elm-test-runner":"5.0.0","stil4m/elm-syntax":"7.2.5","the-sett/elm-syntax-dsl":"6.0.2"},"indirect":{"Chadtech/elm-bool-extra":"2.4.2","elm/parser":"1.1.0","elm/project-metadata-utils":"1.0.2","elm/random":"1.0.0","elm/time":"1.0.0","elm/virtual-dom":"1.0.3","elm-community/basics-extra":"4.1.0","elm-community/list-extra":"8.6.0","elm-community/maybe-extra":"5.3.0","miniBill/elm-unicode":"1.0.2","rtfeldman/elm-hex":"1.0.0","stil4m/structured-writer":"1.0.3","the-sett/elm-pretty-printer":"3.0.0"}},"test-dependencies":{"direct":{},"indirect":{}}}
+{"type":"application","source-directories":["../../src","../../tests","../../../../src","src"],"elm-version":"0.19.1","dependencies":{"direct":{"elm/core":"1.0.5","elm/html":"1.0.0","elm/json":"1.1.3","elm/regex":"1.0.0","elm-community/result-extra":"2.4.0","elm-explorations/test":"2.0.1","jfmengels/elm-review":"2.10.0","mdgriffith/elm-codegen":"2.0.0","mpizenberg/elm-test-runner":"6.0.0","stil4m/elm-syntax":"7.2.9","the-sett/elm-syntax-dsl":"6.0.2"},"indirect":{"Chadtech/elm-bool-extra":"2.4.2","elm/bytes":"1.0.8","elm/parser":"1.1.0","elm/project-metadata-utils":"1.0.2","elm/random":"1.0.0","elm/time":"1.0.0","elm/virtual-dom":"1.0.3","elm-community/basics-extra":"4.1.0","elm-community/list-extra":"8.7.0","elm-community/maybe-extra":"5.3.0","miniBill/elm-unicode":"1.0.2","rtfeldman/elm-hex":"1.0.0","stil4m/structured-writer":"1.0.3","the-sett/elm-pretty-printer":"3.0.0"}},"test-dependencies":{"direct":{},"indirect":{}}}