Add WSL Idris installation compatibility

lib/idris-model.ts

@@ -6,6 +6,7 @@ import { CompilerOptions } from './utils/ipkg'
 import { IDECommand, SExp } from './protocol/ide-protocol'
 import { ideCommandToSExp } from './protocol/to-sexp'
 import Logger from './utils/Logger'
+import { windowsToWsl } from 'wsl-path'
 
 export class IdrisModel {
     requestId = 0
@@ -130,7 +131,10 @@ export class IdrisModel {
     }
 
     changeDirectory(dir: string) {
-        return this.interpret(`:cd ${dir}`)
+        const directory = this.shouldUseWsl ? Rx.Observable.fromPromise(windowsToWsl(dir)) : Rx.Observable.of(dir)
+        return directory.flatMap((dir) => {
+          return this.interpret(`:cd ${dir}`)
+        })
     }
 
     load(uri: string) {
@@ -147,7 +151,9 @@ export class IdrisModel {
             }
         })()
 
-        return cd.flatMap((_) => {
+        const platformUri = this.shouldUseWsl ? Rx.Observable.fromPromise(windowsToWsl(uri)) : Rx.Observable.of(uri)
+
+        return cd.zip(platformUri).flatMap(([_, uri]) => {
             return this.prepareCommand({ type: 'load-file', fileName: uri })
         })
     }
@@ -219,4 +225,8 @@ export class IdrisModel {
     browseNamespace(namespace: string) {
         return this.prepareCommand({ type: 'browse-namespace', namespace })
     }
+
+    get shouldUseWsl(): boolean {
+        return atom.config.get('language-idris.idrisInWsl')
+    }
 }

package.json

@@ -55,6 +55,12 @@
             "type": "boolean",
             "default": false,
             "description": "Enable ligatures in the various idris panels"
+        },
+        "idrisInWsl": {
+            "title": "Integrate with an Idris installation in WSL",
+            "type": "boolean",
+            "default": false,
+            "description": "Enable this if you installed Idris in WSL but run the editor in Windows"
         }
     },
     "providedServices": {
@@ -84,7 +90,8 @@
         "preact": "10.4.4",
         "rx-lite": "4.0.8",
         "tslib": "1.11.1",
-        "typescript": "3.9.2"
+        "typescript": "3.9.2",
+        "wsl-path": "^3.0.1"
     },
     "devDependencies": {
         "@types/atom": "1.40.4",