From 9af9f2d80f35ccd98db8a51c17077cfa1f81a209 Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Sun, 14 Feb 2021 13:16:47 +0000 Subject: [PATCH] Another extension that Brittany cannot parse --- plugins/default/src/Ide/Plugin/Brittany.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/default/src/Ide/Plugin/Brittany.hs b/plugins/default/src/Ide/Plugin/Brittany.hs index 37eedd18b0..664b71c255 100644 --- a/plugins/default/src/Ide/Plugin/Brittany.hs +++ b/plugins/default/src/Ide/Plugin/Brittany.hs @@ -111,6 +111,7 @@ showExtension :: Extension -> Maybe String showExtension Cpp = Just "-XCPP" -- Brittany chokes on parsing extensions that produce warnings showExtension DatatypeContexts = Nothing +showExtension RecordPuns = Just "-XNamedFieldPuns" showExtension other = Just $ "-X" ++ show other getExtensions :: D.DynFlags -> [String]