[Agda] untabify: Warning to those that have forked Agda
Andreas Abel
abela at chalmers.se
Thu Sep 25 10:01:09 CEST 2014
There is a big patch coming into github.com/agda/agda master which
replaces tab characters by whitespace. This might create some
conflicts when you merge it into your fork.
The fix-agda-whitespace tool (run by the testsuite) has been updated to
report tabs, and fix tabs when invoked manually without command-line
arguments. (Thanks to Ilya.Yanok!)
* Make your you install the latest version of this tool when you pull
from master. Type (in the root agda dir)
make install-fix-agda-whitespace
* Set your editor to not use tabs when you edit Haskell files (such as
the Agda source).
Happy hacking,
Andreas
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list