diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-03 08:51:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-04 15:25:13 +0100 |
| commit | 14dfdf6a0a3364e2d3ae6f6839ef65bb24df4ebf (patch) | |
| tree | 0ea23b04f8b51faa5e222f70f79321ba4734f66b | |
| parent | 7ce6f642a2806c425ba21d48a077d997703cf25b (diff) | |
| download | haskell-14dfdf6a0a3364e2d3ae6f6839ef65bb24df4ebf.tar.gz | |
Fix comment
| -rw-r--r-- | compiler/typecheck/TcSMonad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index 9aafbf3911..0ac91a1ab7 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -3188,7 +3188,7 @@ demoteUnfilledFmv fmv ----------------------------- dischargeFunEq :: CtEvidence -> TcTyVar -> TcCoercion -> TcType -> TcS () --- (dischargeFunEqCan ev tv co ty) +-- (dischargeFunEq tv co ty) -- Preconditions -- - ev :: F tys ~ tv is a CFunEqCan -- - tv is a FlatMetaTv of FlatSkolTv |