path: root/emacs/.emacs.d/init/ycp-prog.el

;;; ycp-prog.el -- My config for programming -*- lexical-binding: t -*-

;; Copyright (C) 2023 Free Software Foundation.

;; Author: Yuchen Pei <id@ypei.org>
;; Package-Requires: ((emacs "28.2"))

;; This file is part of dotfiles.

;; dotfiles is free software: you can redistribute it and/or modify it under
;; the terms of the GNU Affero General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.

;; dotfiles is distributed in the hope that it will be useful, but WITHOUT
;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
;; or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General
;; Public License for more details.

;; You should have received a copy of the GNU Affero General Public
;; License along with dotfiles.  If not, see <https://www.gnu.org/licenses/>.

;;; Commentary:

;; My config for programming. Covers comint, shell, eshell, compile,
;; xref, eglot, prog-mode etc.

;;; Code:



;;; comint, shell, eshell
(my-package comint
  (setq ansi-color-for-comint-mode t)
  (setq-default comint-scroll-to-bottom-on-input t)
  (setq-default comint-scroll-to-bottom-on-output nil)
  (setq-default comint-input-autoexpand 'input)
  (setq comint-prompt-read-only t)
  (setq comint-buffer-maximum-size 9999)
  (setq comint-completion-autolist t)
  (define-key comint-mode-map (kbd "C-<up>") 'windmove-up)
  (define-key comint-mode-map (kbd "C-<down>") 'windmove-down)
  (setq comint-input-ring-size 5000)
  (setq comint-input-ignoredups t)
  (setq comint-terminfo-terminal "dumb")
  (setq comint-password-prompt-regexp
        (concat comint-password-prompt-regexp
                "\\|^BECOME password:\\s *\\'"
	              "\\|^SSH password:\\s *\\'"))
  )

(my-package shell
  (:delay 5)
  (setq shell-command-prompt-show-cwd t)
  (setq shell-input-autoexpand 'input)

  (my-keybind shell-mode-map
    "<up>" #'comint-previous-input
    "<down>" #'comint-next-input
    "C-c C-k" #'comint-clear-buffer
    "C-c C-w" #'comint-write-output)
  (setq shell-command-prompt-show-cwd t)
  (add-hook 'shell-mode-hook
            (lambda ()
              (setq comint-input-ring-file-name "~/.bash_history")))
  (add-hook 'shell-mode-hook 'ansi-color-for-comint-mode-on)
  )

(my-package sh-script
  (:delay 5)
  (setq sh-basic-offset 2)
  (add-to-list 'auto-mode-alist '("PKGBUILD" . sh-mode))
)

(my-package my-prog
  (:delay 10)
  ;; tab-width 8 for ls etc.
  (add-hook 'shell-mode-hook 'my-set-tab-width-to-8)
  (my-keybind comint-mode-map "C-<return>"
    #'my-comint-send-input-and-return-prompt)
  (add-to-list 'my-buffer-create-functions
               '(shell-mode . my-shell-with-directory))
  (my-keybind shell-mode-map "<f2>" #'my-restart-shell)
  (add-hook 'shell-mode-hook 'my-shell-disable-company-if-remote)
  (my-keybind global-map "<f10>" #'my-switch-or-create-shell-buffer)
  )

(my-package eshell
  (:delay 60)
  (setq eshell-modules-list
        '(eshell-alias eshell-banner eshell-basic eshell-cmpl eshell-dirs eshell-glob eshell-hist eshell-ls eshell-pred eshell-prompt eshell-script eshell-term eshell-tramp eshell-unix))
  )

(my-package bash-completion
  (:install t)
  (:delay 15))

;;; prog modes: c, c++, elisp, js, css, ts,
(my-package prog-mode
  (add-hook 'prog-mode-hook #'display-line-numbers-mode)
  (add-hook 'prog-mode-hook (lambda () (setq-local tab-width 2))))

;; cmake
(my-package cmake-mode
  (:delay 60))

;;; eglot
(my-package eglot
  (:delay 10)
  (add-to-list 'eglot-server-programs
               '((php-mode phps-mode)
                 "phpactor" "language-server" "-vvv"))
  (add-hook 'before-save-hook (lambda () (interactive)
                                (when (eglot-managed-p)
                                  (unless (eq major-mode 'haskell-mode)
                                    (eglot-format-buffer)))))
  (setq-default eglot-workspace-configuration
                '((:pylsp
                   (plugins
                    (pylint
                     (enabled . t)
                     (executable . "/usr/bin/pylint"))))
                  (:haskell-language-server
                   (haskell
                    (formattingProvider . :json-false)))))
  (add-to-list 'eglot-server-programs
               '(haskell-mode
                 "haskell-language-server-wrapper" "--lsp" "--debug"))

  ;; I'm not sure why this is needed, but it throws an error if I remove it
  (cl-defmethod project-root ((project (head eglot-project)))
    (cdr project))

  (defun my-project-try-tsconfig-json (dir)
    (when-let* ((found (locate-dominating-file dir "tsconfig.json")))
      (cons 'eglot-project found)))

  (add-hook 'project-find-functions
            'my-project-try-tsconfig-json nil nil)

  (add-to-list 'eglot-server-programs
               '((typescript-mode) "typescript-language-server" "--stdio")))

(my-package cc-mode
  (:delay 5)
  (define-key c-mode-map (kbd "C-c C-c") 'compile)
  )

(my-package my-prog
  (:delay 10)
  (add-hook 'c-mode-hook 'my-c-set-compile-command)
  (my-keybind global-map "C-c 8" #'my-set-tab-width-to-8)
  )

;;; emacs-lisp mode
(my-package elisp-mode
  (my-keybind emacs-lisp-mode-map "C-c C-c" #'eval-buffer)
  (add-hook 'emacs-lisp-mode-hook (lambda () (auto-fill-mode 1)))
  (setq print-length 1000)
  (my-keybind global-map
    "<f5>" #'my-toggle-debug-on-error-quit
    "C-c e e" (lambda () (interactive)
			          (find-file (locate-user-emacs-file "init.el")))
    "C-c e d" (lambda () (interactive)
			          (find-file (locate-user-emacs-file "init")))
    "C-c e m" (lambda () (interactive)
			          (find-file (locate-user-emacs-file "lisp/my")))
    "C-c e b" (lambda () (interactive)
		            (my-switch-to-buffer-matching-major-mode
                 'emacs-lisp-mode)))
  ;; for deep recursion, e.g. in radix tree
  (setq max-specpdl-size 32000)
  )

;;; paredit
(my-package paredit
  (:install t)
  (add-hook 'emacs-lisp-mode-hook       #'enable-paredit-mode)
  (add-hook 'eval-expression-minibuffer-setup-hook #'enable-paredit-mode)
  (add-hook 'ielm-mode-hook             #'enable-paredit-mode)
  (add-hook 'lisp-mode-hook             #'enable-paredit-mode)
  (add-hook 'lisp-data-mode-hook             #'enable-paredit-mode)
  (add-hook 'lisp-interaction-mode-hook #'enable-paredit-mode)
  (add-hook 'scheme-mode-hook           #'enable-paredit-mode)
  (my-keybind paredit-mode-map
    "M-<left>" #'paredit-forward-barf-sexp
    "M-<right>" #'paredit-forward-slurp-sexp
    "C-<left>" nil
    "C-<right>" nil
    "M-?" nil
    "C-j" nil ;not ideal, we just want to unshadow it in lisp-interaction-mode
    "<RET>" #'paredit-newline
    "M-s" nil
    "M-o" #'paredit-splice-sexp
    "M-h" #'paredit-convolute-sexp)
  )

;;; flymake
(my-package flymake
  (:install t)
  (:delay 15)
  (my-keybind flymake-mode-map
    "M-n" #'flymake-goto-next-error
    "M-p" #'flymake-goto-prev-error))

(my-package my-prog
  (require 'xref)
  (my-override xref-query-replace-in-results))

(my-package js
  (:delay 60)
  (setq js-indent-level 2)
  (add-hook 'js-mode-hook 'subword-mode)
  (my-keybind js-mode-map "M-." #'xref-find-definitions)
  )

(my-package typescript-mode
  (:delay 60)
  (:install t)
  (add-to-list 'auto-mode-alist '("\\.ts\\'" . typescript-mode))
  (setq typescript-indent-level 2)
  )

(my-package tide
  (:delay 60)
  (require 'my-tide)
  ;; aligns annotation to the right hand side
  (setq company-tooltip-align-annotations t)

  ;; formats the buffer before saving
  (add-hook 'before-save-hook 'tide-format-before-save)

  (add-hook 'typescript-mode-hook #'setup-tide-mode)
  (add-hook 'typescript-mode-hook 'subword-mode)
  )

(my-package web-mode
  (:delay 60)
  (:install t)
  (add-to-list 'auto-mode-alist '("\\.tsx\\'" . web-mode))
  (add-to-list 'auto-mode-alist '("\\.jsx\\'" . web-mode))
  (setq web-mode-content-types-alist '(("jsx" . "\\.js[x]?\\'")))
  (setq web-mode-markup-indent-offset 2)
  (setq web-mode-code-indent-offset 2)
  (add-hook 'web-mode-hook
            (lambda ()
              (when (string-equal "tsx" (file-name-extension buffer-file-name))
                (my-setup-tide-mode))))
  )

(my-package flycheck
  (:delay 60)
  (flycheck-add-mode 'typescript-tslint 'web-mode)
  )

(my-package css-mode
  (setq css-indent-offset 2))

(my-package haskell-mode
  (:install t)
  (:delay 60)
  ;; do we need to require haskell-command?
  (setq haskell-compile-command
        "ghc -Wall -ferror-spans -fforce-recomp -dynamic -c %s")
  (my-keybind haskell-mode-map "C-c C-c" #'haskell-compile)
  (setq haskell-mode-stylish-haskell-path "brittany")
  (setq haskell-stylish-on-save t)
  (my-setq-from-local haskell-hoogle-url)
  (add-hook 'haskell-mode-hook 'subword-mode)
  (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
  (add-hook 'haskell-mode-hook
            (lambda ()
              (set (make-local-variable 'company-backends)
                   (append '((company-capf company-dabbrev-code))
                           company-backends))))
  (setq haskell-interactive-popup-errors t)
  (setq haskell-process-suggest-hoogle-imports t)
  (setq haskell-process-log t)
  (cl-pushnew '(haskell-process-use-ghci . t)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indent-spaces . 4)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-tags-on-save . t)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-where-post-offset . 2)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-where-pre-offset . 2)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-ifte-offset . 4)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-left-offset . 4)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-starter-offset . 1)
              safe-local-variable-values :test #'equal)
  (cl-pushnew '(haskell-indentation-layout-offset . 4)
              safe-local-variable-values :test #'equal))

(my-package hcel
  ;; fixme: credential
  (:delay 60)
  (:install t)
  ;; The official one is https://haskell-code-explorer.mfix.io
  (my-setq-from-local hcel-host)
  (my-keybind global-map
    "C-c hh" #'hcel
    "C-c hi" #'hcel-global-ids
    "C-c ho" #'hcel-help)
  )

(my-package hcel-haddorg
  (:delay 60)
  ;; fixme: credential
  (my-setq-from-local hcel-haddorg-dir))

(my-package ggtags
  (:install t)
  (:delay 60)
  (my-keybind ggtags-navigation-map
    ggtags-navigation-map "M-<" nil
    ggtags-navigation-map "M->" nil))

(my-package phps-mode
  (:install t)
  (:delay 60)
  (add-to-list 'auto-mode-alist '("\\.\\(?:php[s345]?\\|phtml\\)\\'" . phps-mode))
  (add-to-list 'auto-mode-alist '("\\.\\(?:php\\.inc\\|stub\\)\\'" . phps-mode))
  (add-to-list 'auto-mode-alist '("/\\.php_cs\\(?:\\.dist\\)?\\'" . phps-mode))
  (add-hook 'before-save-hook (lambda () (interactive)
                                (when (eq major-mode 'phps-mode)
                                  (phps-mode-format-buffer)))))

(my-package crystal-mode
  (:delay 60)
  (require 'flycheck-crystal))

(my-package imenu
  (:delay 5)
  (my-keybind global-map "C-c i" #'imenu)
)

;;; proof-general
(my-package proof-general
  (:install t)
  (:delay 60)
  (setq coq-prog-name "/usr/bin/coqtop")
  (setq coq-compiler "~/.opam/default/bin/coqc")
  (setq coq-prog-env '("PATH=/usr/bin/:$HOME/.opam/default/bin/"))
  (setq coq-diffs 'on)
  (setq proof-three-window-enable nil))

;;; tree-sitter
(add-to-list 'load-path (locate-user-emacs-file "lisp/elisp-tree-sitter/core"))
(add-to-list 'load-path (locate-user-emacs-file "lisp/elisp-tree-sitter/lisp"))
(my-package tree-sitter
  (:delay 15)
  (require 'tree-sitter-hl)
  (require 'tree-sitter-langs)
  (require 'tree-sitter-debug)
  (require 'tree-sitter-query)
  (add-to-list 'tree-sitter-major-mode-language-alist
               '(haskell-mode . haskell))
  (add-to-list 'tree-sitter-major-mode-language-alist
               '(phps-mode . php))
  (global-tree-sitter-mode)
  (add-hook 'tree-sitter-after-on-hook #'tree-sitter-hl-mode))

;;; sml
(my-package sml-mode
  (:install t)
  (:delay 60)
  (setq sml-indent-level 2))

(provide 'ycp-prog)
;;; ycp-prog.el ends here