Add a tool for checking for problems in the built-in uniques

[ghc-hetmet.git] / utils / checkUniques / Makefile

diff --git a/utils/checkUniques/Makefile b/utils/checkUniques/Makefile
new file mode 100644 (file)
index 0000000..a7b2df1
--- /dev/null
+++ b/utils/checkUniques/Makefile
@@ -0,0 +1,16 @@
+
+GHC = ghc
+
+PREL_NAMES = ../../compiler/prelude/PrelNames.lhs
+DS_META = ../../compiler/deSugar/DsMeta.hs
+
+.PHONY: check
+
+check: checkUniques
+       ./checkUniques mkPreludeClassUnique   $(PREL_NAMES)
+       ./checkUniques mkPreludeTyConUnique   $(PREL_NAMES) $(DS_META)
+       ./checkUniques mkPreludeDataConUnique $(PREL_NAMES)
+       ./checkUniques mkPreludeMiscIdUnique  $(PREL_NAMES) $(DS_META)
+
+checkUniques: checkUniques.hs
+       $(GHC) --make $@