[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