[Agda] agda-mode on mac os

[Rypacek, Ondrej]

Hi Nils, thanks for your reply.
Funny I never thought of pressing C-g ;) The output follows:

Cheers, Ondrej

GHCi, version 6.10.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
Prelude> :set -package Agda-2.2.7
package flags have changed, resetting and loading new packages...
Loading package extensible-exceptions-0.1.1.0 ... linking ... done.
Loading package syb ... linking ... done.
Loading package array-0.2.0.0 ... linking ... done.
Loading package containers-0.2.0.1 ... linking ... done.
Loading package filepath-1.1.0.2 ... linking ... done.
Loading package old-locale-1.0.0.1 ... linking ... done.
Loading package old-time-1.0.0.2 ... linking ... done.
Loading package unix-2.3.2.0 ... linking ... done.
Loading package directory-1.0.0.3 ... linking ... done.
Loading package pretty-1.0.1.0 ... linking ... done.
Loading package process-1.0.1.1 ... linking ... done.
Loading package Cabal-1.6.0.3 ... linking ... done.
Loading package bytestring-0.9.1.4 ... linking ... done.
Loading package random-1.0.0.1 ... linking ... done.
Loading package haskell98 ... linking ... done.
Loading package hpc-0.5.0.3 ... linking ... done.
Loading package packedstring-0.1.0.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package ghc-6.10.4 ... linking ... done.
Loading package mtl-1.1.0.2 ... linking ... done.
Loading package QuickCheck-2.1.0.3 ... linking ... done.
Loading package binary-0.5.0.2 ... linking ... done.
Loading package base-3.0.3.1 ... linking ... done.
Loading package terminfo-0.3.1.2 ... linking ... done.
Loading package utf8-string-0.3.6 ... linking ... done.
Loading package haskeline-0.6.2.2 ... linking ... done.
Loading package haskell-src-1.0.1.3 ... linking ... done.
Loading package xhtml-3000.2.0.1 ... linking ... done.
Loading package zlib-0.5.2.0 ... linking ... done.
Loading package Agda-2.2.7 ... linking ... done.
Prelude> :mod + Agda.Interaction.GhciTop
Prelude Agda.Interaction.GhciTop> ioTCM "/Users/oxr/tmp/test.agda" Nothing ( cmd_write_highlighting_info "/Users/oxr/tmp/test.agda" "/var/folders/5e/5e87+JpFGWyCvUVGX8M71E+++TI/-Tmp-/agda2-mode1662eu0" )
Prelude Agda.Interaction.GhciTop> ioTCM "/Users/oxr/tmp/test.agda" Nothing ( cmd_goals "/Users/oxr/tmp/test.agda" )
agda2_mode_code (setq agda2-response '())
Prelude Agda.Interaction.GhciTop> ioTCM "/Users/oxr/tmp/test.agda" (Just "/var/folders/5e/5e87+JpFGWyCvUVGX8M71E+++TI/-Tmp-/agda2-mode1662qMQ") ( cmd_load "/Users/oxr/tmp/test.agda" ["."] )
agda2_mode_code (agda2-status-action "")
Checking test (/Users/oxr/tmp/test.agda).

Process ghci bus error

________________________________________
From: Nils Anders Danielsson [nad at Cs.Nott.AC.UK]
Sent: 06 May 2010 13:35
To: Rypacek, Ondrej
Cc: agda at lists.chalmers.se
Subject: Re: [Agda] agda-mode on mac os

On 2010-05-06 10:08, Rypacek, Ondrej wrote:
> I've recently downloaded and compiled agda on a Mac, OS version
> 10.6.3, but agda-mode both in Aquamacs nor Carbon Emacs hangs as soon
> as I feed it a compilable program. Has anyone experienced the same?
> What can I do?

C-g, switch to the *ghci* buffer, post the output here.

--
/NAD