branch: elpa/idris-mode
commit d32b2396a8ad17820e308cd267f1b464a5235abc
Merge: 85928dc4cc2 b80e0717459
Author: Jan de Muijnck-Hughes <[email protected]>
Commit: GitHub <[email protected]>
Merge pull request #658 from keram/fix-issue-657
Use string-bytes to compute length of message to Idris
---
inferior-idris.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/inferior-idris.el b/inferior-idris.el
index b53e10cfb01..adf33411120 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -196,7 +196,7 @@ This is maintained to restart Idris when the arguments
change.")
(defun idris-send (sexp proc)
"Send a SEXP to Idris over the PROC. This is the lowest level of
communication."
(let* ((msg (concat (idris-prin1-to-string sexp) "\n"))
- (string (concat (idris-encode-length (length msg)) msg)))
+ (string (concat (idris-encode-length (string-bytes msg)) msg)))
(idris-event-log sexp t)
(process-send-string proc string)))
