Eu removi o Emacs instalado através do homebrew simplesmente usando $ brew remove emacs
. A versão da GUI foi removida simplesmente arrastando-a para a lixeira.
Eu finalmente fixei o PolyML novamente instalando o emacs através do Homebrew com
$ brew install emacs —cocoa
Em .bashrc
I adicionado
alias emacs=”/usr/local/Cellar/emacs/24.3/Emacs.app/Contents/MacOS/Emacs -nw"
Isto aponta o comando emacs para a versão correta. Eu baixei o PolyML novamente e funcionou muito bem tanto no terminal quanto dentro do emacs.