From 300ef7c5368b8cca0fd88ab479a54b8748476547 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Tue, 20 Nov 2012 02:25:14 +0000 Subject: [PATCH] tools: web dev build uses RecordWildCards --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a5a09bbe9..273fbabc5 100644 --- a/Makefile +++ b/Makefile @@ -106,7 +106,8 @@ WEBLANGEXTS:=\ -XGeneralizedNewtypeDeriving \ -XFlexibleContexts \ -XEmptyDataDecls \ - -XOverloadedStrings + -XOverloadedStrings \ + -XRecordWildCards # -XNoMonomorphismRestriction # -XNoImplicitPrelude PREFERMACUSRLIBFLAGS=-L/usr/lib