Members/kokubo/emacs: .emacs.d/haskell-mode/haskell-session.el annotate

author	Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date	Mon, 21 Apr 2014 04:30:59 +0900
parents
children

rev	line source
0 2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	1 ;;; haskell-session.el --- Haskell sessions
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	2
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	3 ;; Copyright (C) 2011-2012 Chris Done
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	4
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	5 ;; Author: Chris Done <chrisdone@gmail.com>
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	6
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	7 ;; This file is not part of GNU Emacs.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	8
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	9 ;; This file is free software; you can redistribute it and/or modify
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	10 ;; it under the terms of the GNU General Public License as published by
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	11 ;; the Free Software Foundation; either version 3, or (at your option)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	12 ;; any later version.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	13
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	14 ;; This file is distributed in the hope that it will be useful,
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	17 ;; GNU General Public License for more details.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	18
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	19 ;; You should have received a copy of the GNU General Public License
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	20 ;; along with GNU Emacs; see the file COPYING. If not, write to
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	21 ;; the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	22 ;; Boston, MA 02110-1301, USA.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	23
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	24 ;;; Commentary:
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	25
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	26 ;;; Todo:
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	27
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	28 ;;; Code:
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	29
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	30 (require 'haskell-cabal)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	31 (require 'haskell-string)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	32 (require 'haskell-mode)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	33 (with-no-warnings (require 'cl))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	34
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	35 (declare-function haskell-interactive-mode "haskell-interactive-mode" ())
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	36 (declare-function haskell-kill-session-process "haskell-process" (&optional session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	37 (declare-function haskell-process-start "haskell-process" (session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	38 (declare-function haskell-process-cd "haskell-process" (&optional not-interactive))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	39
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	40 ;; Dynamically scoped variables.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	41 (defvar haskell-process-type)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	42
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	43 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	44 ;; Globals
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	45
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	46 (defvar haskell-sessions (list)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	47 "All Haskell sessions in the Emacs session.")
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	48
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	49 (defun haskell-session-tags-filename (session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	50 "Get the filename for the TAGS file."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	51 (concat (haskell-session-cabal-dir session) "/TAGS"))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	52
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	53 ;;;###autoload
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	54 (defun haskell-session-all-modules (&optional dontcreate)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	55 "Get all modules -- installed or in the current project.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	56 If DONTCREATE is non-nil don't create a new session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	57 (append (haskell-session-installed-modules dontcreate)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	58 (haskell-session-project-modules dontcreate)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	59
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	60 ;;;###autoload
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	61 (defun haskell-session-installed-modules (&optional dontcreate)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	62 "Get the modules installed in the current package set.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	63 If DONTCREATE is non-nil don't create a new session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	64 ;; TODO: Again, this makes HEAVY use of unix utilities. It'll work
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	65 ;; fine in Linux, probably okay on OS X, and probably not at all on
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	66 ;; Windows. Again, if someone wants to test on Windows and come up
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	67 ;; with alternatives that's OK.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	68 ;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	69 ;; Ideally all these package queries can be provided by a Haskell
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	70 ;; program based on the Cabal API. Possibly as a nice service. Such
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	71 ;; a service could cache and do nice things like that. For now, this
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	72 ;; simple shell script takes us far.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	73 ;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	74 ;; Probably also we can take the code from inferior-haskell-mode.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	75 ;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	76 ;; Ugliness aside, if it saves us time to type it's a winner.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	77 ;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	78 ;; FIXME/TODO: add support for (eq 'cabal-repl haskell-process-type)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	79 (require 'haskell-process) ; hack for accessing haskell-process-type
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	80 (let ((modules (shell-command-to-string
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	81 (format "%s \| %s \| %s"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	82 (if (eq 'cabal-dev haskell-process-type)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	83 (if (or (not dontcreate) (haskell-session-maybe))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	84 (format "cabal-dev -s %s/cabal-dev ghc-pkg dump"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	85 (haskell-session-cabal-dir (haskell-session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	86 "echo ''")
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	87 "ghc-pkg dump")
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	88 "egrep '^(exposed-modules: \| )[A-Z]'"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	89 "cut -c18-"))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	90 (split-string modules)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	91
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	92 (defun haskell-session-project-modules (&optional dontcreate)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	93 "Get the modules of the current project.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	94 If DONTCREATE is non-nil don't create a new session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	95 (if (or (not dontcreate) (haskell-session-maybe))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	96 (let* ((session (haskell-session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	97 (modules
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	98 (shell-command-to-string
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	99 (format "%s && %s"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	100 (format "cd %s" (haskell-session-cabal-dir session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	101 ;; TODO: Use a different, better source. Possibly hasktags or some such.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	102 ;; TODO: At least make it cross-platform. Linux
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	103 ;; (and possibly OS X) have egrep, Windows
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	104 ;; doesn't -- or does it via Cygwin or MinGW?
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	105 ;; This also doesn't handle module\nName. But those gits can just cut it out!
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	106 "egrep '^module[\t\r ]+[^(\t\r ]+' . -r -I --include='.hs' --include='.hsc' -s -o -h \| sed 's/^module[\t\r ]//' \| sort \| uniq"))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	107 (split-string modules))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	108
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	109 (defun haskell-session-kill (&optional leave-interactive-buffer)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	110 "Kill the session process and buffer, delete the session.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	111 0. Prompt to kill all associated buffers.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	112 1. Kill the process.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	113 2. Kill the interactive buffer.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	114 3. Walk through all the related buffers and set their haskell-session to nil.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	115 4. Remove the session from the sessions list."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	116 (interactive)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	117 (let* ((session (haskell-session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	118 (name (haskell-session-name session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	119 (also-kill-buffers (y-or-n-p (format "Killing `%s'. Also kill all associated buffers?" name))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	120 (haskell-kill-session-process session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	121 (unless leave-interactive-buffer
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	122 (kill-buffer (haskell-session-interactive-buffer session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	123 (loop for buffer in (buffer-list)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	124 do (with-current-buffer buffer
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	125 (when (and (boundp 'haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	126 (string= (haskell-session-name haskell-session) name))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	127 (setq haskell-session nil)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	128 (when also-kill-buffers
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	129 (kill-buffer)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	130 (setq haskell-sessions
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	131 (remove-if (lambda (session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	132 (string= (haskell-session-name session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	133 name))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	134 haskell-sessions))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	135
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	136 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	137 ;; Finding/clearing the session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	138
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	139 ;; Used internally
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	140 (defvar haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	141
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	142 ;;;###autoload
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	143 (defun haskell-session-maybe ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	144 "Maybe get the Haskell session, return nil if there isn't one."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	145 (if (default-boundp 'haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	146 haskell-session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	147 (setq haskell-session nil)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	148
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	149 ;;;###autoload
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	150 (defun haskell-session ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	151 "Get the Haskell session, prompt if there isn't one or fail."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	152 (or (haskell-session-maybe)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	153 (haskell-session-assign
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	154 (or (haskell-session-from-buffer)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	155 (haskell-session-new-assume-from-cabal)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	156 (haskell-session-choose)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	157 (haskell-session-new)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	158
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	159 (defun haskell-session-new-assume-from-cabal ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	160 "Prompt to create a new project based on a guess from the nearest Cabal file."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	161 (when (y-or-n-p (format "Start a new project named “%s”? "
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	162 (haskell-session-default-name)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	163 (haskell-session-make (haskell-session-default-name))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	164
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	165 (defun haskell-session-from-buffer ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	166 "Get the session based on the buffer."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	167 (when (and (buffer-file-name)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	168 (consp haskell-sessions))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	169 (reduce (lambda (acc a)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	170 (if (haskell-is-prefix-of (haskell-session-cabal-dir a)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	171 (file-name-directory (buffer-file-name)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	172 (if acc
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	173 (if (and
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	174 (> (length (haskell-session-cabal-dir a))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	175 (length (haskell-session-cabal-dir acc))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	176 a
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	177 acc)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	178 a)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	179 acc))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	180 haskell-sessions
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	181 :initial-value nil)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	182
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	183 (defun haskell-session-new ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	184 "Make a new session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	185 (let ((name (read-from-minibuffer "Project name: " (haskell-session-default-name))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	186 (when (not (string= name ""))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	187 (haskell-session-make name))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	188
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	189 (defun haskell-session-default-name ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	190 "Generate a default project name for the new project prompt."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	191 (let ((file (haskell-cabal-find-file)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	192 (or (when file
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	193 (downcase (file-name-sans-extension
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	194 (file-name-nondirectory file))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	195 "haskell")))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	196
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	197 (defun haskell-session-assign (session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	198 "Set the current session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	199 (set (make-local-variable 'haskell-session) session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	200
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	201 (defun haskell-session-choose ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	202 "Find a session by choosing from a list of the current sessions."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	203 (when haskell-sessions
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	204 (let* ((session-name (funcall haskell-completing-read-function
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	205 "Choose Haskell session: "
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	206 (mapcar 'haskell-session-name haskell-sessions)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	207 (session (find-if (lambda (session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	208 (string= (haskell-session-name session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	209 session-name))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	210 haskell-sessions)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	211 session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	212
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	213 (defun haskell-session-clear ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	214 "Clear the buffer of any Haskell session choice."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	215 (set (make-local-variable 'haskell-session) nil))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	216
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	217 (defun haskell-session-change ()
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	218 "Change the session for the current buffer."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	219 (interactive)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	220 (haskell-session-clear)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	221 (haskell-session-assign (or (haskell-session-new-assume-from-cabal)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	222 (haskell-session-choose)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	223 (haskell-session-new))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	224
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	225 (defun haskell-session-change-target (target)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	226 "Set the build target for cabal repl"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	227 (interactive "sNew build target:")
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	228 (let* ((session haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	229 (old-target (haskell-session-get session 'target)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	230 (when session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	231 (haskell-session-set-target session target)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	232 (when (and (not (string= old-target target))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	233 (y-or-n-p "Target changed, restart haskell process?"))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	234 (haskell-process-start session)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	235
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	236 (defun haskell-session-strip-dir (session file)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	237 "Strip the load dir from the file path."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	238 (let ((cur-dir (haskell-session-current-dir session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	239 (if (> (length file) (length cur-dir))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	240 (if (string= (substring file 0 (length cur-dir))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	241 cur-dir)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	242 (replace-regexp-in-string
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	243 "^[/\\]" ""
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	244 (substring file
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	245 (length cur-dir)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	246 file)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	247 file)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	248
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	249 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	250 ;; Building the session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	251
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	252 (defun haskell-session-make (name)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	253 "Make a Haskell session."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	254 (let ((session (set (make-local-variable 'haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	255 (list (cons 'name name)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	256 (add-to-list 'haskell-sessions session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	257 (haskell-process-start session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	258 session))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	259
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	260 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	261 ;; Accessing the session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	262
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	263 (defun haskell-session-name (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	264 "Get the session name."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	265 (haskell-session-get s 'name))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	266
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	267 (defun haskell-session-target (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	268 "Get the session build target."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	269 (let* ((maybe-target (haskell-session-get s 'target))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	270 (target (if maybe-target maybe-target
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	271 (let ((new-target
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	272 (read-string "build target (empty for default):")))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	273 (haskell-session-set-target s new-target)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	274 (if (not (string= target "")) target nil)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	275
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	276 (defun haskell-session-set-target (s target)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	277 "Set the session build target."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	278 (haskell-session-set s 'target target))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	279
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	280 (defun haskell-session-interactive-buffer (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	281 "Get the session interactive buffer."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	282 (let ((buffer (haskell-session-get s 'interactive-buffer)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	283 (if (and buffer (buffer-live-p buffer))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	284 buffer
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	285 (let ((buffer (get-buffer-create (format "%s" (haskell-session-name s)))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	286 (haskell-session-set-interactive-buffer s buffer)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	287 (with-current-buffer buffer
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	288 (haskell-interactive-mode)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	289 (haskell-session-assign s))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	290 (switch-to-buffer-other-window buffer)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	291 buffer))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	292
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	293 (defun haskell-session-set-interactive-buffer (s v)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	294 "Set the session interactive buffer."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	295 (haskell-session-set s 'interactive-buffer v))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	296
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	297 (defun haskell-session-set-process (s v)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	298 "Set the session process."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	299 (haskell-session-set s 'process v))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	300
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	301 ;;;###autoload
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	302 (defun haskell-session-process (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	303 "Get the session process."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	304 (haskell-session-get s 'process))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	305
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	306 (defun haskell-session-set-cabal-dir (s v)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	307 "Set the session cabal-dir."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	308 (let ((true-path (file-truename v)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	309 (haskell-session-set s 'cabal-dir true-path)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	310 (haskell-session-set-cabal-checksum s true-path)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	311
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	312 (defun haskell-session-set-current-dir (s v)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	313 "Set the session current directory."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	314 (let ((true-path (file-truename v)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	315 (haskell-session-set s 'current-dir true-path)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	316
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	317 (defun haskell-session-set-cabal-checksum (s cabal-dir)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	318 "Set the session checksum of .cabal files"
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	319 (haskell-session-set s 'cabal-checksum
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	320 (haskell-cabal-compute-checksum cabal-dir)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	321
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	322 (defun haskell-session-current-dir (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	323 "Get the session current directory."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	324 (let ((dir (haskell-session-get s 'current-dir)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	325 (or dir
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	326 (haskell-process-cd t))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	327
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	328 (defun haskell-session-cabal-dir (s)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	329 "Get the session cabal-dir."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	330 (let ((dir (haskell-session-get s 'cabal-dir)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	331 (if dir
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	332 dir
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	333 (let ((set-dir (haskell-cabal-get-dir)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	334 (if set-dir
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	335 (progn (haskell-session-set-cabal-dir s set-dir)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	336 set-dir)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	337 (haskell-session-cabal-dir s))))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	338
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	339 (defun haskell-session-modify (session key update)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	340 "Update the value at KEY in SESSION with UPDATE."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	341 (haskell-session-set
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	342 session
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	343 key
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	344 (funcall update
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	345 (haskell-session-get session key))))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	346
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	347 (defun haskell-session-get (session key)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	348 "Get the SESSION's KEY value.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	349 Returns nil if KEY not set."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	350 (cdr (assq key session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	351
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	352 (defun haskell-session-set (session key value)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	353 "Set the SESSION's KEY to VALUE.
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	354 Returns newly set VALUE."
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	355 (let ((cell (assq key session)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	356 (if cell
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	357 (setcdr cell value) ; modify cell in-place
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	358 (setcdr session (cons (cons key value) (cdr session))) ; new cell
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	359 value)))
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	360
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	361 (provide 'haskell-session)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	362
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	363 ;; Local Variables:
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	364 ;; byte-compile-warnings: (not cl-functions)
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	365 ;; End:
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	366
2764b4f45f9f 1st commit Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> parents: diff changeset	367 ;;; haskell-session.el ends here

0

2764b4f45f9f 1st commit