[Agda] aquamacs gremlins

[Dan Licata]

I don't know about Aquamacs, but I've run into different strange
behavior using a Carbon version of emacs on my Intel mac.  The
particular version I'm using is:

  GNU Emacs 22.1.50.1 (i386-apple-darwin8.11.1, Carbon Version 1.6.0)
  of 2008-01-17 on seijiz.local

  from 
  http://www.apple.com/downloads/macosx/unix_open_source/carbonemacspackage.html

The symptoms I observe:

On the very first agda file that I open after starting emacs, there is
no syntax highlighting, and my agda2-mode-hook does not get run.
However, if I open another file (or close that one and open it again),
then everything is fine.

The same emacs config files work fine on the Linuxy version of Emacs
21.2.1 that came installed on the mac (but without x support), so I'm
not sure if it's the carbon build or a compatibility problem between
agda mode and emacs 22.

But if you're not tied to aquamacs and there is a carbon version that
runs on your machine, you might be able to use that instead.

-Dan

On Feb29, Conor McBride wrote:
> Hi folks
> 
> I've tried reinstalling Agda 2 on my old PPC G4 Mac
> (upgrading GHC while I was about it). I did the darcs
> get thing. And now I nearly have a working system,
> which is definitely progress.
> 
> Now I'm trying to make the thing work with Aquamacs.
> I was hoping that these (edited highlights) lumps of
> .emacs would be enough
> 
>   (add-to-list 'load-path "/Users/ctm/lib/emacs/agda2-mode/")
>   (autoload 'agda2-mode "agda2-mode" "Agda2 mode." t)
>   (add-to-list 'auto-mode-alist '("\\.l?agda$" . agda2-mode))
>   (modify-coding-system-alist 'file "\\.l?agda$" 'utf-8)
> 
>   (add-hook 'agda2-mode-hook
>                '(lambda nil
>                   (require 'quail)
>                   (set-input-method 'TeX)
>                   ))
> 
> But now when I load an agda file, I get no colours
> (or other useful functionality) and the message...
> 
>   File mode specification error: (error "Font `fontset-agda2' is not  
> defined")
> 
> Oddly, when I use emacs in a terminal, I get colours,
> although the extent management is a bit weird, and I
> also get abuse about TeX input method.
> 
> Er, um, is anyone else using Agda2 with Aquamacs? I
> guess I'm missing a trick: can anyone point me in the
> right direction? Should I RTFM for some M I'm
> neglecting? Any useful advice gratefully appreciated.
> 
> All the best
> 
> Conor
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>