Add idris-start-idris2-project which uses idris2 --init to

generate new ipkg file.

Why:
Idris2 does better job to create the ipkg file than us.

Author: keram

idris-commands.el

@@ -1255,8 +1255,10 @@ of the term to replace."
            (find-file (car files)))
           (t (find-file (completing-read "Package file: " files nil t))))))
 
-(defun idris-start-idris2-project ()
-  "Interactively create a new Idris project with ipkg file and source directory."
+(defun idris-start-idris2-project (&optional no-visit)
+  "Interactively create a new Idris2 project with ipkg file and source directory.
+
+When NO-VISIT is t does not open the generated ipkg file in other window."
   (interactive)
   (cl-flet ((project-name ()
               (let ((project-name (string-trim (read-string "Project name: "))))
@@ -1304,8 +1306,10 @@ of the term to replace."
       (kill-buffer output-buffer)
       (kill-buffer input-buffer)
       (when (file-exists-p ipkg-file)
-        (find-file-other-window ipkg-file)
-        (insert "-- " project-name "\n")))))
+        (with-current-buffer (find-file-noselect ipkg-file)
+          (insert "-- " project-name "\n"))
+
+        (when (null no-visit) (find-file-other-window ipkg-file))))))
 
 (defun idris-start-project ()
   "Interactively create a new Idris project, complete with ipkg file."

test/idris-commands-test.el

@@ -466,6 +466,59 @@ closeDistance s1 s2 = closeDistance_rhs s1 s2"
       (advice-remove 'idris-load-file-sync #'idris-load-file-sync-stub)
       (advice-remove 'idris-eval #'idris-eval-stub))))
 
+(defmacro idris-generate-mock-read (clauses &optional default)
+  "Generate a function with cond expression from CLAUSES and optional DEFAULT."
+  `(lambda (prompt &optional &rest _)
+     (cond
+      ,@(mapcar (lambda (clause)
+                  `((string-match-p ,(if (symbolp (car clause))
+                                         ;; Convert symbol to string and
+                                         ;; remove leading colon and
+                                         ;; replace dashes with a space
+                                         (replace-regexp-in-string
+                                          "^\\:" ""
+                                          (string-replace "-" " " (symbol-name (car clause))))
+                                       (car clause))
+                                    prompt)
+                    ,(cdr clause)))
+                clauses)
+      (t (or ,default "")))))
+
+(when (string-match-p "idris2$" idris-interpreter-path)
+  (ert-deftest idris-start-idris2-project ()
+    "Test `idris-start-idris2-project' creating a project."
+    (cl-flet ((read-string-stub (idris-generate-mock-read ((:project-name . "Idris2 Test Project")
+                                                           (:author . "Joe Doe")
+                                                           (:source-dir . "mysrc")
+                                                           (:options . "--some-option"))))
+              (read-dir-stub
+                (idris-generate-mock-read
+                 ((:create-in . (idris-file-name-concat "test-data" "Idris2TestProject"))))))
+      (advice-add 'read-string :override #'read-string-stub)
+      (advice-add 'read-directory-name :override #'read-dir-stub)
+      (unwind-protect
+          (progn
+            (idris-start-idris2-project t)
+            (let* ((ipkg-file-path (idris-file-name-concat "test-data"
+                                                           "Idris2TestProject"
+                                                           "idris2_test_project.ipkg"))
+                   (ipkg-buffer (find-file-noselect ipkg-file-path))
+                   (ipkg-content (with-current-buffer ipkg-buffer
+                                   (buffer-substring-no-properties (point-min) (point-max)))))
+
+              (should (string-match-p "-- Idris2 Test Project" ipkg-content))
+              (should (string-match-p "package Idris2TestProject" ipkg-content))
+              (should (string-match-p "authors = \"Joe Doe\"" ipkg-content))
+              (should (string-match-p "opts = \"--some-option\"" ipkg-content))
+              (should (string-match-p "sourcedir = \"mysrc\"" ipkg-content)))
+
+            (should (file-exists-p (idris-file-name-concat "test-data"
+                                                           "Idris2TestProject"
+                                                           "mysrc"))))
+        (advice-remove 'read-string #'read-string-stub)
+        (advice-remove 'read-directory-name #'read-dir-stub)
+        (delete-directory (idris-file-name-concat "test-data" "Idris2TestProject") t)))))
+
 ;; Tests by Yasuhiko Watanabe
 ;; https://github.com/idris-hackers/idris-mode/pull/537/files
 (idris-ert-command-action "test-data/CaseSplit.idr" idris-case-split idris-test-eq-buffer)