chore: delete unused code in "lean4-util.el" (#60)

Delete unused functions `lean4-line-offset`, `lean4-in-comment-p`,
`lean4--collect-entries`, `lean4-find-files`.

lean4-util.el

@@ -26,8 +26,6 @@
 
 ;;; Code:
 
-(require 'cl-lib)
-(require 'dash)
 (require 'lean4-settings)
 
 (defun lean4-setup-rootdir ()
@@ -61,78 +59,10 @@ First try to find an executable named `lean4-executable-name' in
   (let ((default-directory (lean4-get-rootdir)))
     (expand-file-name exe-name (expand-file-name "bin"))))
 
-(defun lean4-line-offset (&optional pos)
-  "Return the byte-offset of POS or current position.
-Counts from the beginning of the line."
-  (interactive)
-  (let* ((pos (or pos (point)))
-         (bol-pos
-          (save-excursion
-            (goto-char pos)
-            (beginning-of-line)
-            (point))))
-    (- pos bol-pos)))
-
-(defun lean4-pos-at-line-col (l c)
-  "Return the point of the given line L and column C."
-  ;; http://emacs.stackexchange.com/a/8083
-  (save-excursion
-    (goto-char (point-min))
-    (forward-line (- l 1))
-    (move-to-column c)
-    (point)))
-
 (defun lean4-whitespace-cleanup ()
   "Delete trailing whitespace if `lean4-delete-trailing-whitespace' is t."
   (when lean4-delete-trailing-whitespace
       (delete-trailing-whitespace)))
 
-(defun lean4-in-comment-p ()
-  "Return t if a current point is inside of comment block.  Return nil otherwise."
-  (nth 4 (syntax-ppss)))
-
-;; The following function is a slightly modified version of
-;; f--collect-entries written by Johan Andersson
-;; The URL is at https://github.com/rejeep/f.el/blob/master/f.el#L416-L435
-(defun lean4--collect-entries (path recursive)
-  "Find all files in PATH.  If RECURSIVE, then descend into subfolders.
-This is a modified version of `f--collect-entries' that waits for 0.0001s before
-descending into subfolders.  This allows `wait-timeout' function to check the
-timer and kill the execution of this function."
-  (let (result
-        (entries
-         (-reject
-          (lambda (file)
-            (or
-             (equal (file-name-nondirectory file) ".")
-             (equal (file-name-nondirectory file) "..")))
-          (directory-files path t))))
-    ;; The following line is the only modification that I made
-    ;; It waits 0.0001 second for an event. This wait allows
-    ;; wait-timeout function to check the timer and kill the execution
-    ;; of this function.
-    (sit-for 0.0001)
-    (cond (recursive
-           (mapc
-            (lambda (entry)
-              (if (file-regular-p entry)
-                  (setq result (cons entry result))
-                (when (file-directory-p entry)
-                  (setq result (cons entry result))
-                  (setq result (append result (lean4--collect-entries entry recursive))))))
-            entries))
-          (t (setq result entries)))
-    result))
-
-;; The following function is a slightly modified version of
-;; f-files function written by Johan Andersson The URL is at
-;; https://github.com/rejeep/f.el/blob/master/f.el#L478-L481
-(defun lean4-find-files (path &optional fn recursive)
-  "Find all files in PATH.
-Optionally filter files satisfying predicate FN and/or use RECURSIVE search."
-  ;; It calls lean4--collect-entries instead of f--collect-entries
-  (let ((files (-select 'f-file? (lean4--collect-entries path recursive))))
-    (if fn (-select fn files) files)))
-
 (provide 'lean4-util)
 ;;; lean4-util.el ends here