tools: web dev build uses RecordWildCards

This commit is contained in:
Simon Michael 2012-11-20 02:25:14 +00:00
parent 0f664057d7
commit 300ef7c536

View File

@ -106,7 +106,8 @@ WEBLANGEXTS:=\
-XGeneralizedNewtypeDeriving \
-XFlexibleContexts \
-XEmptyDataDecls \
-XOverloadedStrings
-XOverloadedStrings \
-XRecordWildCards
# -XNoMonomorphismRestriction
# -XNoImplicitPrelude
PREFERMACUSRLIBFLAGS=-L/usr/lib