Commit ab0c2388 authored by Sasa Bogicevic's avatar Sasa Bogicevic 💬 Committed by Krzysztof Gogolewski

Fix a typo

Reviewers: goldfire, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15406

Differential Revision: https://phabricator.haskell.org/D4976
parent 5e63a252
......@@ -1448,7 +1448,7 @@ Notes:
* The Refls will be removed later, when we zonk the type.
* This /also/ applies to substitution. We must use nakedSubstTy,
not substTy, bucause the latter uses smart constructors that do
not substTy, because the latter uses smart constructors that do
Refl-elimination.
* None of this is to do with knot-tying, which is the (quite distinct)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment