[nongnu] elpa/idris-mode fce35c4349 3/7: Move idris-protocol-version vars and access function to common-utils

[ELPA Syncer]

branch: elpa/idris-mode
commit fce35c43492493c979d56a9d4f585c4173f4e80b
Author: Ohad Kammar <ohad.kammar@ed.ac.uk>
Commit: Ohad Kammar <ohad.kammar@ed.ac.uk>

    Move idris-protocol-version vars and access function to common-utils
    
    to avoid circular module dependency
---
 idris-common-utils.el | 8 ++++++++
 inferior-idris.el     | 8 --------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/idris-common-utils.el b/idris-common-utils.el
index d08b451acc..be9b8c4382 100644
--- a/idris-common-utils.el
+++ b/idris-common-utils.el
@@ -402,4 +402,12 @@ relative to SRC-DIR"
         (when (file-exists-p lidr)
           (make-link lidr))))))
 
+(defvar idris-protocol-version 0 "The protocol version")
+(defvar idris-protocol-version-minor 0 "The protocol minor version")
+
+(defun >=-protocol-version (major minor)
+  (or  (> idris-protocol-version major)
+       (and (>= idris-protocol-version       major)
+            (>= idris-protocol-version-minor minor))))
+
 (provide 'idris-common-utils)
diff --git a/inferior-idris.el b/inferior-idris.el
index 4e70d57a47..7f73923fc6 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -66,14 +66,6 @@
 (defvar idris-connection nil
   "The Idris connection.")
 
-(defvar idris-protocol-version 0 "The protocol version")
-(defvar idris-protocol-version-minor 0 "The protocol minor version")
-
-(defun >=-protocol-version (major minor)
-  (or  (> idris-protocol-version major)
-       (and (>= idris-protocol-version       major)
-            (>= idris-protocol-version-minor minor))))
-
 (defun idris-version-hook-function (event)
   (pcase event
     (`(:protocol-version ,version ,minor)