sort ui files into corresponding subfolder

Author: stilscher

src/DeadCodeView.re

@@ -0,0 +1,27 @@
+open Batteries;
+
+[@react.component]
+let make = (~dispatch, ~locations) => {
+  <div className="filebox">
+    {
+      if (List.length(locations) == 0)
+        {<h2>{"No dead code found!" |> React.string}</h2>}
+      else {
+        <ul>
+          {locations
+          |> List.mapi((i, loc: GoblintCil.location) => {
+                <li
+                  className="cursor warnitem"
+                  key={string_of_int(i)}
+                  onClick={_ => {
+                    dispatch @@ `DisplayFile(loc.file);
+                    dispatch @@ `InspectLine(GvInspect.Line.of_location(loc));
+                  }}>
+                  {string_of_int(loc.line) ++ " : " ++ loc.file |> React.string}
+                </li>
+              })
+          |> React.list}
+        </ul>
+      }}
+  </div>;
+};

src/Navigation.re

@@ -43,7 +43,7 @@ let make = (~state, ~dispatch) => {
   let current = state.selected_panel;
   <div className="d-flex flex-column border-right border-left h-25">
     {make_nav_pills(current, dispatch)}
-    <div className="tab-content flex-fill overflow-auto">
+    <div className="tab-content overflow-auto pt-2">
       <div className="tab-pane active">
         {switch (current) {
          | Some(Warnings) => <WarningView warnings={state.warnings} dispatch />

src/WarningView.re

@@ -0,0 +1,29 @@
+open Batteries;
+module Message = GvMessages.Message;
+
+[@react.component]
+let make = (~warnings, ~dispatch) => {
+  <div className="filebox">
+    {if (List.length(warnings) == 0) {
+      <h2>
+        {"No warnings found!" |> React.string}
+      </h2>
+    } else {
+      <ul>
+        {warnings
+        |> List.map(w => (Message.to_string(w), Message.location(w)))
+        |> List.mapi((i, (text, loc)) => {
+              let onClick =
+                loc
+                |> Option.map((loc, _) =>
+                    dispatch @@ `InspectLine(GvInspect.Line.of_location(loc))
+                  );
+              <li className="cursor warnitem" key={string_of_int(i)} ?onClick>
+                {text |> React.string}
+              </li>;
+            })
+        |> React.list}
+      </ul>
+    }}
+  </div>;
+};