Fixes #17

README.md

@@ -24,6 +24,7 @@
 | Apropos | shift + cmd/ctrl + k |
 | Eval current line | shift + cmd/ctrl + e |
 | Start / Refresh REPL | shift + cmd/ctrl + r |
+| Send selection to REPL | shift + cmd/ctrl + x |
 
 * ipkg highlighting
 * autocompletion

features.md

@@ -78,9 +78,15 @@
 
 ### Start or Refresh REPL
 
-`(shift + cmd/ctrl + e)`
+`(shift + cmd/ctrl + r)`
+
+![start-refresh-repl](./images/screenshots/start-refresh-repl.gif)
+
+### Send selected text to REPL
+
+`(shift + cmd/ctrl + x)`
 
-![eval-line](./images/screenshots/start-refresh-repl.gif)
+![send-selection-repl](./images/screenshots/send-selection-repl.gif)
 
 ### Code completion
 

package.json

@@ -117,7 +117,11 @@
     }, {
       "command": "idris.start-refresh-repl",
       "title": "Idris: start or refresh REPL",
-      "description": " current line"
+      "description": "Start REPL for currently opened file or refresh REPL when opened file is changed"
+    }, {
+      "command": "idris.send-selection-repl",
+      "title": "Idris: send selected text to REPL",
+      "description": "Send selected text to a refreshed REPL with currently opened file"
     }],
     "keybindings": [
       {
@@ -203,6 +207,12 @@
         "mac": "shift+cmd+r",
         "when": "editorFocus && editorLangId == idris",
         "command": "idris.start-refresh-repl"
+      },
+      {
+        "key": "shift+ctrl+x",
+        "mac": "shift+cmd+x",
+        "when": "editorFocus && editorLangId == idris",
+        "command": "idris.send-selection-repl"
       }
     ],
     "snippets": [{

src/controller.js

@@ -17,7 +17,8 @@ let getCommands = () => {
     ['idris.make-lemma', runCommand(commands.makeLemma)],
     ['idris.apropos', runCommand(commands.apropos)],
     ['idris.eval-line', runCommand(commands.runREPL)],
-    ['idris.start-refresh-repl', runCommand(commands.startREPL)]
+    ['idris.start-refresh-repl', runCommand(commands.startREPL)],
+    ['idris.send-selection-repl', runCommand(commands.sendREPL)]
   ]
 }
 

src/idris/commands.js

@@ -188,20 +188,34 @@ let runREPL = (uri) => {
   })
 }
 
+let startup = (uri) => {
+  term = vscode.window.createTerminal("Idris REPL")
+  term.sendText("idris")
+  term.sendText(`:l ${uri}`)
+  term.show()
+}
+
 let startREPL = (uri) => {
-  let startup = () => {
-    term = vscode.window.createTerminal("Idris REPL")
-    term.sendText("idris")
-    term.sendText(`:l ${uri}`)
-    term.show()
-  }
   if (term == null) {
-    startup()
+    startup(uri)
   } else {
     term.hide()
     term.dispose()
-    startup()
+    startup(uri)
+  }
+}
+
+let sendREPL = (uri) => {
+  let editor = vscode.window.activeTextEditor
+  let selection = editor.selection
+  let text = editor.document.getText(selection)
+
+  if (term == null) {
+    startup(uri)
   }
+
+  term.show()
+  term.sendText(text)
 }
 
 let addClause = (uri) => {
@@ -475,5 +489,6 @@ module.exports = {
   apropos,
   runREPL,
   destroy,
-  startREPL
+  startREPL,
+  sendREPL
 }