From 68530b1cd45629e5a353a37df80195ac54d26ade Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Hr=C4=8Dek?= Date: Wed, 24 Jun 2020 15:55:39 +0200 Subject: Fix duplicated words and typos in comments and user guide --- compiler/GHC/Tc/Solver/Monad.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC/Tc/Solver/Monad.hs') diff --git a/compiler/GHC/Tc/Solver/Monad.hs b/compiler/GHC/Tc/Solver/Monad.hs index 3500ef4bbe..3c783b0137 100644 --- a/compiler/GHC/Tc/Solver/Monad.hs +++ b/compiler/GHC/Tc/Solver/Monad.hs @@ -2313,7 +2313,7 @@ very same implication" as the equuality constraint. MkS -> [y,z]) in ... -From the type signature for `g`, we get `y::a` . Then when when we +From the type signature for `g`, we get `y::a` . Then when we encounter the `\z`, we'll assign `z :: alpha[1]`, say. Next, from the body of the lambda we'll get -- cgit v1.2.1