[Agda] agda-mode stopped working
Thorsten Altenkirch
txa at Cs.Nott.AC.UK
Thu Jun 10 18:17:16 CEST 2010
Hi,
after installing the latest version of agda I get a strange error message which seems to imply that I am using the wrong emacs mode.
Any ideas?
Cheers,
Thorsten
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Prelude> :set -package Agda-2.2.7
package flags have changed, resetting and loading new packages...
Loading package array-0.3.0.0 ... linking ... done.
Loading package containers-0.3.0.0 ... linking ... done.
Loading package filepath-1.1.0.3 ... linking ... done.
Loading package old-locale-1.0.0.2 ... linking ... done.
Loading package old-time-1.0.0.3 ... linking ... done.
Loading package unix-2.4.0.0 ... linking ... done.
Loading package directory-1.0.1.0 ... linking ... done.
Loading package pretty-1.0.1.1 ... linking ... done.
Loading package process-1.0.1.2 ... linking ... done.
Loading package Cabal-1.8.0.2 ... linking ... done.
Loading package extensible-exceptions-0.1.1.1 ... linking ... done.
Loading package bytestring-0.9.1.5 ... linking ... done.
Loading package ghc-binary-0.5.0.2 ... linking ... done.
Loading package bin-package-db-0.0.0.0 ... linking ... done.
Loading package hpc-0.5.0.4 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package ghc-6.12.1 ... linking ... done.
Loading package mtl-1.1.0.2 ... linking ... done.
Loading package time-1.1.4 ... linking ... done.
Loading package random-1.0.0.2 ... linking ... done.
Loading package QuickCheck-2.1.0.3 ... linking ... done.
Loading package syb-0.1.0.2 ... linking ... done.
Loading package base-3.0.3.2 ... linking ... done.
Loading package binary-0.5.0.2 ... linking ... done.
Loading package terminfo-0.3.1.1 ... linking ... done.
Loading package utf8-string-0.3.6 ... linking ... done.
Loading package haskeline-0.6.2.2 ... linking ... done.
Loading package haskell98 ... 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/txa/current/bar.agda" Nothing ( cmd_write_highlighting_info [".", "/Users/txa/Agda/std-lib/src/"] "/Users/txa/current/bar.agda" "/var/folders/ds/dsbEn-JbGfOiTcI0+vCoNU+++TI/-Tmp-/agda2-mode8332ht2" )
<interactive>:1:75:
Couldn't match expected type `Char' against inferred type `[Char]'
In the expression: "."
In the first argument of `cmd_write_highlighting_info', namely
`[".", "/Users/txa/Agda/std-lib/src/"]'
In the third argument of `ioTCM', namely
`(cmd_write_highlighting_info
[".", "/Users/txa/Agda/std-lib/src/"]
"/Users/txa/current/bar.agda"
"/var/folders/ds/dsbEn-JbGfOiTcI0+vCoNU+++TI/-Tmp-/agda2-mode8332ht2")'
Prelude Agda.Interaction.GhciTop>
More information about the Agda
mailing list