Starting NuPRL under GNU Emacs

Starting NuPRL under GNU Emacs

[Paulo Jorge de Oliveira Cantante de Matos]

Hi all,

NuPRL defined some funcions to be added to .emacs to start NuPRL 5. The
functions are as follows:
;;Starting Nuprl5
(defun nuprl5 ()
  (interactive)
  (message "Starting NuPRL 5 Library, Editor, and Refiner ...")
  (nulib)
  (sleep-for 5)
  (nuedit)
  (nurefine)
)

(defun nuprl-frame (bufname height top-corner cmd)
  (save-excursion
    (set-buffer (make-comint bufname "/bin/bash" nil "-v"))
    (switch-to-buffer-other-frame (concat "*" bufname "*"))
    (let ((NuPRLframe (car (cadr (current-frame-configuration)))))
      (set-frame-size NuPRLframe 81 height)
      (set-frame-position NuPRLframe 515 top-corner)
      )
    (set-default-font "6x10")
    (while (= (buffer-size) 0) (sleep-for 1))
    (comint-send-string bufname "limit coredumpsize 0\n")
    (comint-send-string bufname cmd)
    ) )

(defun nulib ()
  (interactive)
  (nuprl-frame "NuLibrary" 10 76 "/home/pmatos/nuprl/bin/nulib\n")
  (message "Starting Library ...")
  (set-foreground-color "Red")
  (set-background-color "#ddddff")
  (comint-send-string "NuLibrary" "(top)\n")
  (comint-send-string "NuLibrary" "go.\n")
)

(defun nurefine ()
  (interactive)
  (nuprl-frame "NuRefine" 10 280 "/home/pmatos/nuprl/bin/nuref\n")
  (message "Starting Refiner ...")
  (set-foreground-color "Green4")
  (set-background-color "#ffffbb")
  (comint-send-string "NuRefine" "(top)\n")
  (comint-send-string "NuRefine" "go.\n")
  )

(defun nuedit ()
  (interactive)
  (nuprl-frame "NuEditor" 10 178 "/home/pmatos/nuprl/bin/nuedd\n")
  (message "Starting Editor ... please be patient")
  (set-foreground-color "midnightblue")
  (set-background-color "#ffd8ff")
  (comint-send-string "NuEditor" "(top)\n")
  (comint-send-string "NuEditor" "go.\n")
  (comint-send-string "NuEditor" "win.\n")
)

(defun nuxit ()
  (interactive)
  (message "Shutting Down NuPRL 5 Library, Editor, and Refiner ...")
  (comint-send-string "NuEditor" "stop.\n")
  (comint-send-string "NuRefiner" "stop.\n")
  (sleep-for 5)
  )


I only changed the line:
  (set-buffer (make-comint bufname "/bin/bash" nil "-v"))
which had /bin/csh instead of bash but I changed it because I'm using
bash.
However when I try to start them I get an error in one of the windows:
Starting NuPRL 5 Library, Editor, and Refiner ...
save-excursion: Wrong type argument: stringp, nil

Any ideas on how I can correct this?

Best regards,
-- 

Paulo J. Matos : pocm [_at_] mega . ist . utl . pt
Instituto Superior Tecnico - Lisbon
Computer and Software Eng. - A.I.
 - > http://mega.ist.utl.pt/~pocm
---
        -> God had a deadline...
                So, he wrote it all in Lisp!

Re: Starting NuPRL under GNU Emacs

[Kevin Rodgers]

Paulo Jorge de Oliveira Cantante de Matos wrote:

> I only changed the line:
>   (set-buffer (make-comint bufname "/bin/bash" nil "-v"))
> which had /bin/csh instead of bash but I changed it because I'm using
> bash.
> However when I try to start them I get an error in one of the windows:
> Starting NuPRL 5 Library, Editor, and Refiner ...
> save-excursion: Wrong type argument: stringp, nil
> 
> Any ideas on how I can correct this?

M-x set-variable RET debug-on-error t RET


-- 
Kevin Rodgers