David Christiansen has recently demonstrated that the "show core" function can come in handy even when debugging rather simple issues. The following patch adds this capability to idris-vim, mapping it to the <LocalLeader>cr binding.
The other functions don't seem to be consistent in their use of expand("<cword>") as opposed to the s:currentQueryObject() helper function. I use the former, adapted from IdrisShowDoc.
David Christiansen has recently demonstrated that the "show core" function can come in handy even when debugging rather simple issues. The following patch adds this capability to idris-vim, mapping it to the
<LocalLeader>crbinding.The other functions don't seem to be consistent in their use of
expand("<cword>")as opposed to thes:currentQueryObject()helper function. I use the former, adapted fromIdrisShowDoc.