[ new ] Store Agda version information for testing

src/State.res

@@ -63,7 +63,14 @@ let sendRequest = (
     )->Promise.then(async result => {
       switch result {
       | Error(error) => await View.Panel.displayConnectionError(state, error)
-      | Ok(status) => await View.Panel.displayConnectionStatus(state, status)
+      | Ok(status) =>
+        // display the connection status
+        await View.Panel.displayConnectionStatus(state, status)
+        // update the Agda version
+        switch status {
+        | Emacs(version, _) => state.agdaVersion = Some(version)
+        | LSP(version, _) => state.agdaVersion = Some(version)
+        }
       }
       await responseHandlerPromise
     })
@@ -89,6 +96,7 @@ let destroy = (state, alsoRemoveFromRegistry) => {
 }
 
 let make = (channels, globalStoragePath, extensionPath, editor) => {
+  agdaVersion: None,
   editor,
   document: VSCode.TextEditor.document(editor),
   panelCache: ViewCache.make(),

src/State/State__Command.res

@@ -340,6 +340,8 @@ let rec dispatchCommand = async (state: State.t, command): unit => {
             View.Header.Success("Switched to version '" ++ version ++ "'"),
             [Item.plainText("Found '" ++ newAgdaVersion ++ "' at: " ++ path)],
           )
+          // update the state.agdaVersion to the new version
+          state.agdaVersion = Some(version)
         | Ok(LSP(version, _)) =>
           // should not happen
           await State.View.Panel.display(

src/State/State__Type.res

@@ -120,6 +120,7 @@ type channels = {
 }
 
 type t = {
+  mutable agdaVersion: option<string>, // Agda version is set when connection is established
   mutable editor: VSCode.TextEditor.t,
   mutable document: VSCode.TextDocument.t,
   panelCache: ViewCache.t,