summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libraries/ghc-prim/GHC/Types.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs
index fe21e4198c..06fc79310d 100644
--- a/libraries/ghc-prim/GHC/Types.hs
+++ b/libraries/ghc-prim/GHC/Types.hs
@@ -229,7 +229,7 @@ class a ~~ b
-- Nevertheless one can pretend that the following three kinds of instances
-- exist. First, as a trivial base-case:
--
--- @instance a a@
+-- @instance Coercible a a@
--
-- Furthermore, for every type constructor there is
-- an instance that allows to coerce under the type constructor. For