Refactor to avoid result match statements

The match statement works well, but makes the code a little hard to
read. Refactoring in favor of longer conditional statements makes the
code more readable

Author: klinvill

src/commands/checkModel.ts

@@ -43,28 +43,25 @@ export async function checkModel(
 ): Promise<void> {
     const uriResult = fileUri ? ok(fileUri) : getActiveEditorFileUri();
 
-    const specFilesResult = await uriResult.match(
-        async (uri): Promise<Result<SpecFiles, ModelCheckingError>> => {
-            const files = await getSpecFiles(uri);
-            if (!files) {
-                return err(new ModelCheckingError('Could not load spec files.'));
-            }
-            return ok(files);
-        },
-        // Use last checked spec if no active TLA+ files are found.
-        async (error: unknown): Promise<Result<SpecFiles, ModelCheckingError>> => lastCheckFiles ?
-            ok(lastCheckFiles) :
-            err(new ModelCheckingError(
-                'No active TLA+ file or previous spec found. Switch to the .tla or .cfg file to check.'
-            ))
-    );
+    let specFiles;
 
-    if (specFilesResult.isErr()) {
-        vscode.window.showErrorMessage(specFilesResult.error.message);
-        return;
+    if (uriResult.isErr()) {
+        // Use last checked spec if no active TLA+ files are found.
+        if (!lastCheckFiles) {
+            vscode.window.showErrorMessage(
+                'No active TLA+ file or previous spec found. Switch to the .tla or .cfg file to check.');
+            return;
+        }
+        specFiles = lastCheckFiles;
+    } else {
+        specFiles = await getSpecFiles(uriResult.value);
+        if (!specFiles) {
+            vscode.window.showErrorMessage('Could not load spec files.');
+            return;
+        }
     }
 
-    doCheckModel(specFilesResult.value, true, extContext, diagnostic, true);
+    doCheckModel(specFiles, true, extContext, diagnostic, true);
 }
 
 export async function runLastCheckAgain(