diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:37:24 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:37:24 -0500 |
commit | c577da9cf5c531a3e5678760823c61db8a3adeb6 (patch) | |
tree | 52d1b381c2a0160c82f9f662915a46b78bf9a159 /haddock-api/src/Haddock/GhcUtils.hs | |
parent | 4c6b8d4bb722b6e51406aa0afc334cc437461424 (diff) | |
parent | 46c3db2460cea396fae525f4b9d8f40c34c0680e (diff) |
Merge remote-tracking branch 'upstream/ghc-head' into ghc-head
Diffstat (limited to 'haddock-api/src/Haddock/GhcUtils.hs')
-rw-r--r-- | haddock-api/src/Haddock/GhcUtils.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/GhcUtils.hs b/haddock-api/src/Haddock/GhcUtils.hs index 42dc7f4f..39d6d3fd 100644 --- a/haddock-api/src/Haddock/GhcUtils.hs +++ b/haddock-api/src/Haddock/GhcUtils.hs @@ -5,7 +5,6 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE FlexibleContexts #-} {-# OPTIONS_GHC -fno-warn-orphans #-} -{-# OPTIONS_GHC -Wno-incomplete-record-updates #-} {-# OPTIONS_HADDOCK hide #-} ----------------------------------------------------------------------------- -- | |