[feature] dynamically choose tool for ghci

Author: Meowcolm024

CHANGELOG.md

@@ -7,6 +7,7 @@ All notable changes to the *Haskell Runner 2* will be documented in this file.
 - support for custom ghci path
 - support for sending selected code to ghci
 - add keybindings for `Send to GHCi` (shortcut: `ctrl+alt+right`)
+- allow dynamically choose tool for `ghci`
 
 ## [0.1.3]
 

README.md

@@ -20,7 +20,7 @@ The following configurations are available:
 
 - `runner2.ghciPath`: path for GHCi (default `ghci`)
 - `runner2.stackPath`: path for stack executable (default `stack`)
-- `runner2.stackRepl`: use `stack repl` instead of `ghci`, you may like to turn it on in stack projects (default `false`)
+- `runner2.stackRepl`: by `default`, it uses `ghci` in single file and use `stack repl` in stack project, can be overridden by choosing other options (`ghci` for ghci only, and `stack` for stack repl only)
 - `runner2.stackRun`: show "Stack Run" button, *reload required* (default `false`)
 
 ## Release Notes

package.json

@@ -66,9 +66,14 @@
                     "description": "Path to stack executable"
                 },
                 "runner2.stackRepl": {
-                    "type": "boolean",
-                    "default": false,
-                    "description": "Use stack repl instead of GHCi"
+                    "type": "string",
+                    "enum": [
+                        "default",
+                        "ghci",
+                        "stack"
+                    ],
+                    "default": "default",
+                    "description": "Decide when to use stack repl instead of GHCi"
                 },
                 "runner2.stackRun": {
                     "type": "boolean",

src/config.ts

@@ -1,19 +1,33 @@
 import * as vscode from 'vscode';
 
+export type Mode = "default" | "ghci" | "stack";
+
 export type Config = {
+    mode: Mode,
+    ghciPath: string,
     stackPath: string,
-    ghciTool: string,
+    ghciTool: (proj: boolean) => string,
     enableStackRun: boolean,
 };
 
 export function getConfig(): Config {
     const config = vscode.workspace.getConfiguration();
-    let ghci = config.get("runner2.ghciPath", "ghci");
-    let stack = config.get("runner2.stackPath", "stack");
-    let repl = config.get("runner2.stackRepl", false);
+    const ghci = config.get("runner2.ghciPath", "ghci");
+    const stack = config.get("runner2.stackPath", "stack");
+    const mode = config.get<Mode>("runner2.stackRepl", "default");
+    let tool = (proj: boolean) => {
+        let repl = stack + " repl";
+        switch (mode) {
+            case "default": return proj ? repl : ghci;
+            case "ghci": return ghci;
+            case "stack": return repl;
+        }
+    };
     return {
+        mode: mode,
+        ghciPath: ghci,
         stackPath: stack,
-        ghciTool: repl ? (stack + " repl") : ghci,
+        ghciTool: tool,
         enableStackRun: config.get("runner2.stackRun", false)
     };
 }

src/extension.ts

@@ -30,7 +30,7 @@ export async function activate(context: vscode.ExtensionContext) {
             filename.map(f => terminal.unwrap().sendText(stackproj ? ":r" : (":l " + f)));
         } else {
             let term = vscode.window.createTerminal("GHCi");
-            term.sendText(config.ghciTool + " " + (stackproj ? "" : filename.orelse("")));
+            term.sendText(config.ghciTool(stackproj) + " " + (stackproj ? "" : filename.orelse("")));
             term.show();
         }
     });
@@ -48,7 +48,7 @@ export async function activate(context: vscode.ExtensionContext) {
                     terminal.unwrap().sendText(s);
                 } else {
                     let term = vscode.window.createTerminal("GHCi");
-                    term.sendText(config.ghciTool);     // we're not loading the file here
+                    term.sendText(config.ghciTool(stackproj));     // we're not loading the file here
                     term.sendText(s);
                     term.show();
                 }