summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2015-05-13 09:51:49 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2015-05-13 09:51:49 +0100
commita154944bf07b2e13175519bafebd5a03926bf105 (patch)
tree6b242eb072fe0f9a68d84375f70f4a58044a8ddf
parent5910a1bc8142b4e56a19abea104263d7bb5c5d3f (diff)
downloadhaskell-a154944bf07b2e13175519bafebd5a03926bf105.tar.gz
Two wibbles to fix the build
...following the constraint-tuple patch. * There was interaction with the recent Safe Haskell change * Haddock comoplained about constraint tuples defined but not used
-rw-r--r--compiler/typecheck/TcInteract.hs3
-rw-r--r--libraries/ghc-prim/GHC/Classes.hs7
2 files changed, 8 insertions, 2 deletions
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
index ce51b0d796..603c127fa6 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2026,7 +2026,8 @@ matchClassInst _ clas [ ty ] _
matchClassInst _ clas ts _
| isCTupleClass clas
, let data_con = tyConSingleDataCon (classTyCon clas)
- = return (GenInst ts (EvDFunApp (dataConWrapId data_con) ts))
+ tuple_ev = EvDFunApp (dataConWrapId data_con) ts
+ = return (GenInst ts tuple_ev True)
-- The dfun is the data constructor!
matchClassInst _ clas [k,t] _
diff --git a/libraries/ghc-prim/GHC/Classes.hs b/libraries/ghc-prim/GHC/Classes.hs
index 5a3e48e374..73ae69ebf1 100644
--- a/libraries/ghc-prim/GHC/Classes.hs
+++ b/libraries/ghc-prim/GHC/Classes.hs
@@ -6,7 +6,12 @@
-- ip :: IP x a => a is strictly speaking ambiguous, but IP is magic
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
--- XXX -fno-warn-unused-imports needed for the GHC.Tuple import below. Sigh.
+-- -fno-warn-unused-imports needed for the GHC.Tuple import below. Sigh.
+
+{-# OPTIONS_GHC -fno-warn-unused-top-binds #-}
+-- -fno-warn-unused-top-binds is there (I hope) to stop Haddock complaining
+-- about the constraint tuples being defined but not used
+
{-# OPTIONS_HADDOCK hide #-}
-----------------------------------------------------------------------------
-- |