From 1ef8862feb3bf91ac7ed5ae4efbf7b12e0f51a88 Mon Sep 17 00:00:00 2001 From: Sanchayan Maity Date: Wed, 31 Jan 2024 18:55:02 +0530 Subject: [PATCH] ghc: Enable useful extension for Records --- ghc/.ghc/ghci.conf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ghc/.ghc/ghci.conf b/ghc/.ghc/ghci.conf index cb25103..5e3c9ad 100644 --- a/ghc/.ghc/ghci.conf +++ b/ghc/.ghc/ghci.conf @@ -15,6 +15,8 @@ :set -XNumericUnderscores :set -XFlexibleContexts :set -XScopedTypeVariables +:set -XOverloadedRecordDot +:set -XDuplicateRecordFields :set -interactive-print=Text.Pretty.Simple.pPrint -- -------------------------------------------------------------------- --