about summary refs log tree commit diff
path: root/users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal')
-rw-r--r--users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal10
1 files changed, 9 insertions, 1 deletions
diff --git a/users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal b/users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal
index cca3712a65a2..614772db2401 100644
--- a/users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal
+++ b/users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal
@@ -35,6 +35,10 @@ common common-options
     -- does not export record fields as functions, use OverloadedRecordDot to access instead
     NoFieldSelectors
 
+    -- Allow the same record field name to be declared twice per module.
+    -- This works, because we use `OverloadedRecordDot` everywhere (enforced by `NoFieldSelectors`).
+    DuplicateRecordFields
+
     -- Record punning
     RecordWildCards
 
@@ -48,8 +52,10 @@ common common-options
     -- to enable the `type` keyword in import lists (ormolu uses this automatically)
     ExplicitNamespaces
 
-  default-language: GHC2021
+    -- allows defining pattern synonyms, but also the `import Foo (pattern FooPattern)` import syntax
+    PatternSynonyms
 
+  default-language: GHC2021
 
 library
     import: common-options
@@ -58,6 +64,8 @@ library
 
     exposed-modules:
        WhatcdResolver
+       AppT
+       Html
 
     build-depends:
         base >=4.15 && <5,