diff options
author | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
commit | cd17128898089450bb21790fd1864dc08fd4ddbc (patch) | |
tree | d6fdcab724b921bf331c2fac61aa22c3f0348337 /haddock-api/src | |
parent | 7dace716b091cab0bcdf192a1c4749861dd15e62 (diff) | |
parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to 'haddock-api/src')
-rw-r--r-- | haddock-api/src/Haddock.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock.hs b/haddock-api/src/Haddock.hs index 4176338e..65d329e2 100644 --- a/haddock-api/src/Haddock.hs +++ b/haddock-api/src/Haddock.hs @@ -4,7 +4,6 @@ {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE Rank2Types #-} {-# LANGUAGE ScopedTypeVariables #-} -{-# LANGUAGE TupleSections #-} {-# OPTIONS_GHC -Wwarn #-} ----------------------------------------------------------------------------- -- | |