[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