[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