From 846c44e4bafc7ead2024f71fbfd72ea32157b25b Mon Sep 17 00:00:00 2001 From: jneira Date: Thu, 29 Aug 2019 11:37:17 +0200 Subject: [PATCH] Remove RecordWildcards from default extensions --- dhall/defaults/BuildInfo.dhall | 1 - 1 file changed, 1 deletion(-) diff --git a/dhall/defaults/BuildInfo.dhall b/dhall/defaults/BuildInfo.dhall index f872d819..3e269b5d 100644 --- a/dhall/defaults/BuildInfo.dhall +++ b/dhall/defaults/BuildInfo.dhall @@ -39,7 +39,6 @@ in { autogen-modules = , types.Extension.LambdaCase True , types.Extension.OverloadedStrings True , types.Extension.RankNTypes True - , types.Extension.RecordWildCards True , types.Extension.StandaloneDeriving True , types.Extension.ScopedTypeVariables True , types.Extension.TupleSections True