From 0b06dda9a6a31954e5add72cad3562c446d92a35 Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Sat, 16 Mar 2024 14:17:24 +0100 Subject: refactor(users/Profpatsch/whatcd-resolver): move AppT & Html out These functions are just general setup and html helpers, the main file is getting a bit long otherwise. Change-Id: I194e9f7f4caa4ce204d510c885dcf5af63d0e76e Reviewed-on: https://cl.tvl.fyi/c/depot/+/11165 Autosubmit: Profpatsch Reviewed-by: Profpatsch Tested-by: BuildkiteCI --- users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'users/Profpatsch/whatcd-resolver/whatcd-resolver.cabal') 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, -- cgit 1.4.1