Copy infrastructure for whitespace violations from agda repo

Author: jespercockx

Makefile

@@ -24,6 +24,7 @@ testContainers:
 	cd ./lib/containers && ./generate-haskell.sh && cabal build containers-prop
 
 test : test/agda2hs testContainers
+	check-whitespace
 	make -C test
 
 testHtml : test/agda2hs
@@ -37,3 +38,17 @@ clean :
 
 docs :
 	make -C docs html
+
+FIXW_BIN = fix-whitespace
+
+.PHONY : fix-whitespace ## Fix the whitespace issue.
+fix-whitespace : have-bin-$(FIXW_BIN) fix-whitespace.yaml
+	$(FIXW_BIN)
+
+.PHONY : check-whitespace ## Check the whitespace issue without fixing it.
+check-whitespace : have-bin-$(FIXW_BIN) fix-whitespace.yaml
+	$(FIXW_BIN) --check
+
+.PHONY : have-bin-% ## Installing binaries for developer services
+have-bin-% :
+	@($* --help > /dev/null) || $(CABAL) install --ignore-project $*

fix-whitespace.yaml

@@ -0,0 +1,54 @@
+# This file contains the project-specific settings for `fix-whitespace` a tiny
+# but useful tool to
+#
+# * Removes trailing whitespace.
+# * Removes trailing lines containing nothing but whitespace.
+# * Ensures that the file ends in a newline character.
+#
+# By default, fix-whitespace checks every directory under the current working
+# directory but no files. This program should be placed under a text-based
+# project.
+#
+# For directories,
+#
+# 1) excluded-dirs is a black-list of directories,
+# 2) included-dirs is a white-list of excluded-dirs
+#
+# For files,
+#
+# 3) included-files is a white-list of files,
+# 4) excluded-files is a black-list of included-files.
+#
+# The extended glob pattern can be used to specify file/directory names.
+# For details, see http://hackage.haskell.org/package/filemanip-0.3.6.3/docs/System-FilePath-GlobPattern.html
+#
+included-dirs:
+    # Without this line the above path will be excluded.
+
+excluded-dirs:
+  - "**/MAlonzo" # matches every MAlonzo in any directory including the src/full/Agda/Compiler/MAlonzo
+  - "**/dist*"   # matches every dist* in any directory
+  - .stack-work
+  - _darcs
+  - .git
+  - .direnv
+
+# Every matched filename is included unless it is matched by excluded-files.
+included-files:
+  - "*.agda"
+  - "*.agda-lib"
+  - "*.cabal"
+  - "*.el"
+  - "*.hs"
+  - "*.hs-boot"
+  - "*.lagda"
+  - "*.lhs"
+  - "*.md"
+  - "*.rst"
+  - "*.x"
+  - "*.y"
+  - "*.yaml"
+  - "*.yml"
+
+excluded-files:
+