From 9c35464b69abc0064429ce2ff998c7726c9c58bf Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 28 May 2023 14:44:12 +0200
Subject: [PATCH] also print input expression with \e

---
 ftplugin/idris2.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index b7617f7..5cd15e9 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -259,7 +259,7 @@ function! IdrisEval()
   w
   let expr = input ("Expression: ")
   let result = s:IdrisCommand(expr)
-  call IWrite(" = " . result)
+  call IWrite(expr . " =\n" . result)
 endfunction
 
 nnoremap <buffer> <silent> <LocalLeader>t :call IdrisShowType(0)<ENTER>