From 64e724c8fd417065484c2e25bdb6971080a0ce42 Mon Sep 17 00:00:00 2001
From: Artin Ghasivand <ghasivand.artin@gmail.com>
Date: Sat, 9 Dec 2023 17:00:56 +0330
Subject: [PATCH] Remove the "Derived Constraint" argument of TcPluginSolver,
docs
---
docs/users_guide/extending_ghc.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst
index d89b51b87ccf..8eb56f3d3705 100644
--- a/docs/users_guide/extending_ghc.rst
+++ b/docs/users_guide/extending_ghc.rst
@@ -594,7 +594,7 @@ is defined thus:
, tcPluginStop :: s -> TcPluginM ()
}
- type TcPluginSolver = EvBindsVar -> [Ct] -> [Ct] -> [Ct] -> TcPluginM TcPluginSolveResult
+ type TcPluginSolver = EvBindsVar -> [Ct] -> [Ct] -> TcPluginM TcPluginSolveResult
type TcPluginRewriter = RewriteEnv -> [Ct] -> [Type] -> TcPluginM TcPluginRewriteResult
--
GitLab