core: lints (#1144)

This commit is contained in:
Evgeny Poberezkin
2022-09-29 16:26:43 +01:00
committed by GitHub
parent 0e411b0eac
commit 628f119151
10 changed files with 18 additions and 8 deletions
-1
View File
@@ -1,6 +1,5 @@
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}