From f724e1a6e7faac68b38ce4092b3a7abd9cfd94b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andrej=20Tokar=C4=8D=C3=ADk?= <andrejtokarcik@gmail.com>
Date: Fri, 18 May 2018 01:10:32 +0200
Subject: [PATCH] Add IdrisShowCore function

---
 ftplugin/idris.vim | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ftplugin/idris.vim b/ftplugin/idris.vim
index 9b0a032..01ab490 100644
--- a/ftplugin/idris.vim
+++ b/ftplugin/idris.vim
@@ -138,6 +138,13 @@ function! IdrisShowDoc()
   call IWrite(ty)
 endfunction
 
+function! IdrisShowCore()
+  w
+  let word = expand("<cword>")
+  let ty = s:IdrisCommand(":core", word)
+  call IWrite(ty)
+endfunction
+
 function! IdrisProofSearch(hint)
   let view = winsaveview()
   w
@@ -326,6 +333,7 @@ nnoremap <buffer> <silent> <LocalLeader>w 0:call IdrisMakeWith()<ENTER>
 nnoremap <buffer> <silent> <LocalLeader>mc :call IdrisMakeCase()<ENTER>
 nnoremap <buffer> <silent> <LocalLeader>i 0:call IdrisResponseWin()<ENTER>
 nnoremap <buffer> <silent> <LocalLeader>h :call IdrisShowDoc()<ENTER>
+nnoremap <buffer> <silent> <LocalLeader>cr :call IdrisShowCore()<ENTER>
 
 menu Idris.Reload <LocalLeader>r
 menu Idris.Show\ Type <LocalLeader>t