From b0524fc0f11b3769a3ba517b37507500556fb4d9 Mon Sep 17 00:00:00 2001
From: Jeroen Engels <jfm.engels@gmail.com>
Date: Fri, 14 Feb 2020 16:12:55 +0100
Subject: [PATCH] Parse Elm files with knowledge of all existing operators

---
 src/Review/Dependencies.elm | 219 ++++++++++++++++++++++++++++++++++++
 src/Review/Project.elm      |  11 +-
 2 files changed, 229 insertions(+), 1 deletion(-)
 create mode 100644 src/Review/Dependencies.elm

diff --git a/src/Review/Dependencies.elm b/src/Review/Dependencies.elm
new file mode 100644
index 00000000..4c77f7a1
--- /dev/null
+++ b/src/Review/Dependencies.elm
@@ -0,0 +1,219 @@
+module Review.Dependencies exposing (elmCore, elmParser, elmUrl)
+
+import Dict
+import Elm.Dependency
+import Elm.Interface as Interface
+import Elm.Syntax.Infix as Infix
+import Elm.Syntax.Node as Node
+import Elm.Syntax.Range as Range
+
+
+elmCore : Elm.Dependency.Dependency
+elmCore =
+    { name = "elm/core"
+    , version = "1.0.0"
+    , interfaces =
+        Dict.fromList
+            [ ( [ "Basics" ]
+              , [ -- infix right 0 (<|) = apL
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 0
+                    , operator = Node.Node Range.emptyRange "<|"
+                    , function = Node.Node Range.emptyRange "apL"
+                    }
+                , -- infix left  0 (|>) = apR
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 0
+                    , operator = Node.Node Range.emptyRange "|>"
+                    , function = Node.Node Range.emptyRange "apR"
+                    }
+                , -- infix right 2 (||) = or
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 2
+                    , operator = Node.Node Range.emptyRange "||"
+                    , function = Node.Node Range.emptyRange "or"
+                    }
+                , -- infix right 3 (&&) = and
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 3
+                    , operator = Node.Node Range.emptyRange "&&"
+                    , function = Node.Node Range.emptyRange "and"
+                    }
+                , -- infix non   4 (==) = eq
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange "=="
+                    , function = Node.Node Range.emptyRange "eq"
+                    }
+                , -- infix non   4 (/=) = neq
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange "/="
+                    , function = Node.Node Range.emptyRange "neq"
+                    }
+                , -- infix non   4 (<)  = lt
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange "<"
+                    , function = Node.Node Range.emptyRange "lt"
+                    }
+                , -- infix non   4 (>)  = gt
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange ">"
+                    , function = Node.Node Range.emptyRange "gt"
+                    }
+                , -- infix non   4 (<=) = le
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange "<="
+                    , function = Node.Node Range.emptyRange "le"
+                    }
+                , -- infix non   4 (>=) = ge
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Non
+                    , precedence = Node.Node Range.emptyRange 4
+                    , operator = Node.Node Range.emptyRange ">="
+                    , function = Node.Node Range.emptyRange "ge"
+                    }
+                , -- infix right 5 (++) = append
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 5
+                    , operator = Node.Node Range.emptyRange "++"
+                    , function = Node.Node Range.emptyRange "append"
+                    }
+                , -- infix left  6 (+)  = add
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 6
+                    , operator = Node.Node Range.emptyRange "+"
+                    , function = Node.Node Range.emptyRange "add"
+                    }
+                , -- infix left  6 (-)  = sub
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 6
+                    , operator = Node.Node Range.emptyRange "-"
+                    , function = Node.Node Range.emptyRange "sub"
+                    }
+                , -- infix left  7 (*)  = mul
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 7
+                    , operator = Node.Node Range.emptyRange "*"
+                    , function = Node.Node Range.emptyRange "mul"
+                    }
+                , -- infix left  7 (/)  = fdiv
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 7
+                    , operator = Node.Node Range.emptyRange "/"
+                    , function = Node.Node Range.emptyRange "fdiv"
+                    }
+                , -- infix left  7 (//) = idiv
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 7
+                    , operator = Node.Node Range.emptyRange "//"
+                    , function = Node.Node Range.emptyRange "idiv"
+                    }
+                , -- infix right 8 (^)  = pow
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 8
+                    , operator = Node.Node Range.emptyRange "^"
+                    , function = Node.Node Range.emptyRange "pow"
+                    }
+                , -- infix left  9 (<<) = composeL
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 9
+                    , operator = Node.Node Range.emptyRange "<<"
+                    , function = Node.Node Range.emptyRange "composeL"
+                    }
+                , -- infix right 9 (>>) = composeR
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 9
+                    , operator = Node.Node Range.emptyRange ">>"
+                    , function = Node.Node Range.emptyRange "composeR"
+                    }
+                ]
+              )
+            , ( [ "List" ]
+              , [ -- infix right 5 (::) = cons
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 5
+                    , operator = Node.Node Range.emptyRange "::"
+                    , function = Node.Node Range.emptyRange "cons"
+                    }
+                ]
+              )
+            ]
+    }
+
+
+elmUrl : Elm.Dependency.Dependency
+elmUrl =
+    { name = "elm/url"
+    , version = "1.0.0"
+    , interfaces =
+        Dict.fromList
+            [ ( [ "Url", "Parser" ]
+              , [ -- infix right 7 (</>) = slash
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Right
+                    , precedence = Node.Node Range.emptyRange 7
+                    , operator = Node.Node Range.emptyRange "</>"
+                    , function = Node.Node Range.emptyRange "slash"
+                    }
+                , -- infix left  8 (<?>) = questionMark
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 8
+                    , operator = Node.Node Range.emptyRange "<?>"
+                    , function = Node.Node Range.emptyRange "questionMark"
+                    }
+                ]
+              )
+            ]
+    }
+
+
+elmParser : Elm.Dependency.Dependency
+elmParser =
+    { name = "elm/parser"
+    , version = "1.0.0"
+    , interfaces =
+        Dict.fromList
+            [ ( [ "Url", "Parser" ]
+              , [ -- infix left 5 (|=) = keeper
+                  Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 5
+                    , operator = Node.Node Range.emptyRange "|="
+                    , function = Node.Node Range.emptyRange "keeper"
+                    }
+
+                -- infix left 6 (|.) = ignorer
+                , Interface.Operator
+                    { direction = Node.Node Range.emptyRange Infix.Left
+                    , precedence = Node.Node Range.emptyRange 6
+                    , operator = Node.Node Range.emptyRange "|."
+                    , function = Node.Node Range.emptyRange "ignorer"
+                    }
+                ]
+              )
+            ]
+    }
diff --git a/src/Review/Project.elm b/src/Review/Project.elm
index cddcda71..9b6c410d 100644
--- a/src/Review/Project.elm
+++ b/src/Review/Project.elm
@@ -47,6 +47,7 @@ import Elm.Syntax.Module
 import Elm.Syntax.ModuleName exposing (ModuleName)
 import Elm.Syntax.Node as Node
 import Graph exposing (Graph)
+import Review.Dependencies
 
 
 
@@ -193,7 +194,15 @@ parseSource source =
     source
         |> Parser.parse
         |> Result.mapError (always ())
-        |> Result.map (Elm.Processing.process Elm.Processing.init)
+        |> Result.map (Elm.Processing.process elmProcessContext)
+
+
+elmProcessContext : Elm.Processing.ProcessContext
+elmProcessContext =
+    Elm.Processing.init
+        |> Elm.Processing.addDependency Review.Dependencies.elmCore
+        |> Elm.Processing.addDependency Review.Dependencies.elmUrl
+        |> Elm.Processing.addDependency Review.Dependencies.elmParser
 
 
 {-| Get the list of modules in the project.