summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mk/flavours/validate.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/mk/flavours/validate.mk b/mk/flavours/validate.mk
index 2ff7c20e2d..5549a6fb5d 100644
--- a/mk/flavours/validate.mk
+++ b/mk/flavours/validate.mk
@@ -1,8 +1,8 @@
SRC_HC_OPTS = -O0 -H64m
SRC_HC_OPTS_STAGE1 = -fllvm-fill-undef-with-garbage # See Trac 11487
GhcStage1HcOpts = -O -DDEBUG
-GhcStage2HcOpts = -O -dcore-lint -dno-debug-output
-GhcLibHcOpts = -O -dcore-lint -dno-debug-output
+GhcStage2HcOpts = -O -dcore-lint -dno-debug-output -fomit-type-family-coercions
+GhcLibHcOpts = -O -dcore-lint -dno-debug-output -fomit-type-family-coercions
BUILD_PROF_LIBS = NO
SplitObjs = NO
SplitSections = NO