From 8a35a9d3f795e01d9a622cfbcdafb4fee45b38ea Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sun, 6 Nov 2022 12:22:59 +0000 Subject: [PATCH] Warnings as errors --- Raft.Test/Raft.Test.fsproj | 1 + RaftExplorer/RaftExplorer.fsproj | 1 + RaftFable/src/App.fs | 2 +- RaftFable/src/RaftFable.fsproj | 1 + RaftFable/src/Ui.fs | 5 +---- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Raft.Test/Raft.Test.fsproj b/Raft.Test/Raft.Test.fsproj index aeba3ad..2d41ddc 100644 --- a/Raft.Test/Raft.Test.fsproj +++ b/Raft.Test/Raft.Test.fsproj @@ -4,6 +4,7 @@ net6.0 false + true diff --git a/RaftExplorer/RaftExplorer.fsproj b/RaftExplorer/RaftExplorer.fsproj index 6639e46..670d4a8 100644 --- a/RaftExplorer/RaftExplorer.fsproj +++ b/RaftExplorer/RaftExplorer.fsproj @@ -3,6 +3,7 @@ Exe net6.0 + true diff --git a/RaftFable/src/App.fs b/RaftFable/src/App.fs index 2f0a7d2..834db15 100644 --- a/RaftFable/src/App.fs +++ b/RaftFable/src/App.fs @@ -9,7 +9,7 @@ module App = let clusterSize = 5 - let ui = Ui.initialise document clusterSize + let ui = Ui.initialise document let rec fullyRerender<'a> (cluster : Cluster<'a>) (network : Network<'a>) : Promise = let prefs = Ui.getUserPrefs ui diff --git a/RaftFable/src/RaftFable.fsproj b/RaftFable/src/RaftFable.fsproj index 710bdc9..458f608 100644 --- a/RaftFable/src/RaftFable.fsproj +++ b/RaftFable/src/RaftFable.fsproj @@ -1,6 +1,7 @@ net6.0 + true diff --git a/RaftFable/src/Ui.fs b/RaftFable/src/Ui.fs index e4dd7e9..9fe3213 100644 --- a/RaftFable/src/Ui.fs +++ b/RaftFable/src/Ui.fs @@ -46,7 +46,7 @@ type RequiresPopulation = [] module Ui = - let initialise (document : Browser.Types.Document) (clusterSize : int) : UiElements = + let initialise (document : Browser.Types.Document) : UiElements = let serverStatuses = document.querySelector ".server-statuses" :?> Browser.Types.HTMLTableElement @@ -58,9 +58,6 @@ module Ui = let leaderStateTable = document.querySelector ".leader-state-table" :?> Browser.Types.HTMLTableElement - let timeoutButton = - document.querySelector ".timeout-button" :?> Browser.Types.HTMLButtonElement - let timeoutField = document.querySelector ".timeout-text" :?> Browser.Types.HTMLInputElement