[Agda] A patch for Windows

Makoto Takeyama makoto.takeyama at aist.go.jp
Wed Aug 27 12:24:59 CEST 2008


Hi Ulf,

Please apply a small patch
http://appserv.cs.chalmers.se/users/ulfn/wiki/uploads/Patch.Submitted/fixed_matchFileName

Without this change, emacs Agda on Windows rejects to load, say the
module Data.Nat in the file Data\Nat.agda.  I seem to have missed this
biggish problem for more than one month as I was only doing the
import-induced typechecking.


Best Wishes,

Makoto
-- 
Makoto Takeyama <makoto.takeyama at aist.go.jp>
AIST/CVS (National Institute of Advanced Industrial Science and Technology /
          Research Center for Verification and Semantics)
tel: +81-6-4863-5019   fax: +81-6-4863-5052





More information about the Agda mailing list